Zbirka zadataka iz Ekspertskih sistema

110 2. Modeli predstavljanja znanja
U našem slučaju pretpostavka tvrdi da je predikat P(x) tačan za neku vrednost promenljive x.
Ta vrednost je ili A1 ili A2 (ili obe ove vrednosti).
Negacija tvrđenja P(x) je znatno ‘jače’ tvrđenje od negacije tvrđenja P(A): ¬P(x) znači da
predikat P(x) nije ispunjen ni za jednu moguću vrednost x. Ovaj stav se može osporiti (što je
primenom rezolucije i pokazano) na osnovu pretpostavke, čak i ako se iz pretpostavke ne zna
tačna vrednost promenljive x za koju važi P(x).
Skolemizacijom formule (∃x)P(x) dobijena je formula P(A). Drugim rečima, pošto postoji
neka vrednost za x tako da predikat P(x) važi, uveli smo neku konstantu A i ustvrdili da P(A)
ima tačnu istinitosnu vrednost. Pri tome ne definišemo način na koji se A može odrediti.
Negacija ovog tvrđenja, ¬P(A) znači da postoji neka konkretna vrednost promenljive x za
koju ne važi P(x). Ovo je znatno ‘slabije’ tvrđenje nego negacija originalnog
(neskolemizovanog) tvrđenja i ne može se osporiti pretpostavkom, s obzirom da pretpostavka
ne tvrdi da je P(x) tačno za svako x. Prema tome, skolemizacija može dovesti do ‘gubitka
opštosti’ tvrđenja u toj meri da ono ne može biti dokazano.
2.2. Produkcioni sistemi
Zadatak 54: Zaključivanje direktnim ulančavanjem
Posmatrajmo sledeću bazu znanja koja se sastoji od pravila (produkcija) i činjenica.
if b(x) then a(x)
if c(x) and d(x) then b(x)
if e and f(x) then d(x)
if g(x) then c(x)
g(2)
f(5)
g(5)
e
a) Koje sve nove činjenice i po kom redosledu proizilaze primenom direktnog ulančavanja
sa fokusiranjem pažnje (engl. focus of attention) na nove činjenice?
b) Prikazati proces zaključivanja o istinitosti cilja a(x) povratnim ulančavanjem.
c) Koje sve nove činjenice ili pravila i po kom redosledu proizilaze iz ove baze znanja ako
se primenjuje ciklično hibridno ulančavanje (engl. rule cycle hybrid)?
Analiza problema
Produkcioni sistemi su forma pogodna za izražavanje takozvanog proceduralnog znanja.
Produkcioni sistem je skup pravila oblika logičke implikacije:
preduslov ⇒ zaključak