Zbirka zadataka iz Ekspertskih sistema

142 2. Modeli predstavljanja znanja
U datom problemu moguća je primena svake od ovih strategija. Na primer, pravila možemo
podeliti u više grupa od kojih bi u prvoj bila pravila za klasifikaciju okolnih objekata (da li se,
na primer, radi o biljkama ,životinjama ili ljudima) a posle klasifikacije bi se aktivirala grupa
pravila koja odgovaraju utvrđenoj klasi objekta.
Analizom zaključivanja iz tačaka a) i b) može se utvrditi da je direktno ulančavanje dalo
rezultat primereniji situaciji jer je u obzir uzelo oba okružujuća objekata. Kod povratnog
ulančavanja bi trebalo dati drugačiji prioritet ciljevima (dati prednost kretanju u odnosu na
akciju ‘stati i čekati’) da bi se dobio isti rezultat.
Zadatak 63: Latisa odlučivanja i I-ILI-NE latisa
Dati produkcioni sistem predstaviti u obliku:
a) I-ILI-NE (engl. AND-OR-NOT) latise
b) latise odlučivanja
R1: if a and d and not e then r
R2: if not a and not c and q then s
R3: if not a and p then t
R4: if a and d and e then u
R5: if a and q then u
R6: if not a and not b and c then v
R7: if b and c then p
R8: if not c and d then p
R9: if not d then q
Analiza problema
Latisa je skraćeni naziv za orijentisani aciklički graf. Latise odlučivanja i AND-OR-NOT
latise spadaju u prevedene (kompilovane) načine predstavljanja produkcionih sistema.
Prednost ovakvih struktura je u većoj brzini donošenja zaključka, dok je najveća mana to što
se gubi na generalnosti produkcionog sistema; naime, ova vrsta prevođenja ne može se
primeniti na produkcione sisteme koji imaju predikate sa promenljivim argumentima.
Rešenje
a) Da bismo za dati produkcioni sistem odredili AND-OR-NOT latisu, interpretiraćemo
pravila kao logičke funkcije. Predikati koji se pojavljuju u pretpostavkama pravila
predstavljaju nezavisno promenljive ovih funkcija, a predikati iz zaključaka zavisno
promenljive. Upotrebljavajući notaciju za logičke funkcije, zadati predikcioni sistem opisan je
sledećim skupom funkcija:
r = a ∧ d ∧ ¬e
s = ¬a ∧ ¬c ∧ q
t = ¬a ∧ p
u = (a ∧ d ∧ e) ∨ (a ∧ q)