Zbirka zadataka iz Ekspertskih sistema

140 2. Modeli predstavljanja znanja
6. Da bismo ustanovili da li se radi o životinji biramo sledeće pravilo R9 za razmatranje.
Pošto je govor vrsta nepravilnog šuma, onda je preduslov pravila R9 zadovoljen
pretpostavkom F6. Prema tome novu činjenicu ‘radi se o životinji’ (vezano za drugi
objekat) dodajemo ostalim činjenicama pošto primenjujemo pamćenje zaključaka.
7. Drugi od preduslova pravila R16, ‘životinja ima četiri kraka u po dva para’ nije
zadovoljen, pa pravilo R16 otpada.
8. Nastavljamo razmatranje preduslova pravila R4, ‘radi se o osobi’ (sada vezano, izborom
pravila R17. Već je ranije utvrđena činjenica ‘radi se o životinji’. Činjenica F6
zadovoljava i drugi preduslov, ‘životinja govori’. (Naravno ovde je uzeto da ljudi
spadaju u širu klasu životinja, što je pogodno za ovaj produkcioni sistem za klasifikaciju,
koji ima pravila da najpre utvrdi pripadnost široj klasi, pa zatim jednoj od njenih
potklasa.).
9. Pošto je pravilo R17 zadovoljeno, nova činjenica ‘radi se o osobi’ dodaje se postojećim
činjenicama. Pravilo R4 je takođe zadovoljeno pa se činjenicama dodaje zaključak ‘treba
se sakriti’.
10. Nastavljamo sa razmatranjem pravila R3. Drugi preduslov ‘robot je u žbunju’ nije
zadovoljen (niti ga pravilima možemo zadovoljiti) pa pravilo R3 ne uspeva.
11. Alternativni način da se zadovolji postavljeni cilj, akcija ‘stati i čekati’ je pravilo R5.
Prvi preduslov ‘objekat se kreće ka robotu’ je zadovoljen činjenicom F5 (koja se odnosi
na drugi objekat), a drugi ‘radi se o životinji’ (takođe vezano za drugi objekat) je ranije
zadovoljen i ubačen kao nova činjenica u bazu znanja. Prema tome, utvrđuje se da je
pravilo R5 zadovoljeno, a time i postavljeni cilj, akcija ‘stati i čekati’. Zato nema
potrebe razmatrati druge akcije.
b) U ovom načinu zaključivanja sledimo činjenice i korišćenjem pravila iznalazimo nove
činjenice koje proističu iz zadatih:
1. Činjenica F1 upariva je sa preduslovima pravila R13, R14 i R16 pa se odgovarajući
predikati uklanjaju iz preduslova ovih pravila (ukoliko pretpostavimo da se u pravilima
upotrebljavaju predikati sa promenljivim argumentom, zbog postojanja više objekata,
pravila R13, R14 i R16 ostaće u bazi i u neizmenjenoj formi, a ispred će biti dodata
odgovarajuća pojednostavljena pravila).
2. Činjenica F2 upariva je sa preduslovom iz pravila R13, ‘prepreka je manja od 90 cm’. U
pravilu R13 ostaje još jedan preduslov ‘radi se o prepreci’.
3. Činjenica F3 uparuje drugi preduslov iz pravila R12, tako da u tom pravilu ostaje još
preduslov ‘objekat se ne kreće).
4. Činjenica F4 uparuje poslednji preduslov pravila R12. Iz zaključka pravila nastaje nova
činjenica ‘prvi objekat je prepreka’. Nazovimo je F7 i dodajmo je na početak liste
činjenica za razmatranje.
5. Činjenica F7 uparuje se sa preduslovima pravila R6, R13, R14 i R15. Jedino je pravilo
R13 potpuno zadovoljeno, pa novonastalu činjenicu ‘prvi objekat je žbun’ koju ćemo
označiti sa F8 dodajemo u listu činjenica za dalje razmatranje.
6. Činjenicu F8 uparuje stav u pravilu R2, međutim ovo pravilo nije potpuno zadovoljeno.
7. Činjenicu F5 (sledeću od zadatih činjenica) uparuju stavovi iz pravila R4 i R5, međutim
ne slede novi zaključci jer preduslovi pravila nisu potpuno zadovoljeni.