Zbirka zadataka iz Ekspertskih sistema

2.2. Produkcioni sistemi 139
R11: IF objekat ima točkove
THEN radi se o vozilu
R12: IF objekat se ne kreće i zauzima više od 0,03 m3 zapremine
THEN radi se o prepreci
R13: IF prepreka ima krake i niža je od 90 cm
THEN radi se o žbunu
R14: IF prepreka ima krake i viša je od 90 cm
THEN radi se o drvetu
R15: IF prepreka nema krake
THEN radi se o steni
R16: IF životinja ima četiri kraka u po dva para i drži se na jednom paru
THEN radi se o osobi
R17: IF životinja govori
THEN radi se o osobi
a) Navesti redosled pozivanja pravila, uspehe i neuspehe sa povratnim ulančavanjem.
Usvojiti rezoluciju konflikata prema redosledu pravila. Pretpostaviti pamćenje (caching)
dokazanih činjenica.
b) Navesti redosled pozvanih pravila pri direktnom ulančavanju, ignorišući pravilo R7. Kao
i u tački a), pravila uzimati prema datom redosledu.
c) Definisati drugačiju rezoluciju konflikata koja bi dobro došla za ovakav produkcioni
sistem.
Rešenje
a) U slučaju povratnog ulančavaja zaključivanje se vrši od zaključaka ka činjenicama. U
ovom slučaju zaključci odgovaraju akcijama koje robot može preduzeti i potrebno ih je
razmotriti onim redosledom kojim su zadate.
1. Prva akcija koja se razmatra je A1, ‘okrenuti se za 180 stepeni’. Jedino pravilo koje ima
A1 u zaključku je R1. Pošto se pretpostavka ovog pravila ‘čuje se glasan šum’ ne nalazi
među činjenicama niti se iz pravila može zaključiti, ne uspeva pravilo R1, a time ni
akcija A1.
2. Razmatra se A2 akcija, ‘stati i čekati’. Ovu akciju u THEN delu imaju pravila R3 i R5.
Prema zadatoj strategiji rezolucije konflikata, za razmatranje se bira prvo od navedenih
pravila, a to je R3.
3. Razmatra se preduslov pravila R3 ‘treba se sakriti’ i pravilo R4. Preduslov ‘objekat se
kreće prema robotu’ (vezano za drugi objekat; postojanje više objekata može se
formalizovati kroz uvođenje promenljivog argumenta predikata tako da bi u ovom
trenutku došlo do vezivanja promenljive za konkretnu vrednost) je zadovoljen
činjenicom F5. Drugi preduslovi su ‘radi se o osobi’ ili ‘radi se o vozilu’. Potrebno je
zadovoljiti jedan od njih da bi pravilo R4 bilo zadovoljeno. Prvo od pravila koje
utvrđuju da se radi o osobi je R16.
4. Razmatra se preduslov pravila R16, ‘radi se o životinji’. Ovaj preduslov ne nalazi se
među činjenicama, pa razmatramo prvo od pravila, pravilo R8.
5. Preduslov pravila R8 ‘objekat ima dugačke krake’ nije zadovoljen (nema ga ni među
činjenicama ni u zaključcima pravila) pa pravilo R8 nije zadovoljeno.