Zbirka zadataka iz Ekspertskih sistema
Zbirka zadataka iz Ekspertskih sistema
Zbirka zadataka iz Ekspertskih sistema
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
2.2. Produkcioni sistemi 111<br />
U analitičkim (deduktivnim) produkcionim sistemima uobičajeno je da je preduslov logički<br />
<strong>iz</strong>raz a zaključak predikat ili implikacija više predikata i rad <strong>sistema</strong> se svodi na utvrđivanje<br />
istinitosne vrednosti određenih predikata.<br />
Sintetički produkcioni sistemi pored skupa pravila poseduju i model sveta koji se ažurira<br />
primenom pravila. U takvim sistemima preuduslov je logički <strong>iz</strong>raz, a zaključak sadrži n<strong>iz</strong><br />
akcija koji menjaju trenutno stanje u modelu sveta.<br />
Produkcioni sistem u ovom zadatku spada u analitičke produkcione sisteme. Predikatski<br />
stavovi koji se pojavljuju u pravilima dele se na:<br />
• pretpostavke, koje se pojavljuju isključivo u preduslovima pravila,<br />
• ciljeve, koji se pojavljuju isključivo u zaključcima i<br />
• međupredikate (engl. intermediate predicates), koji se mogu pojaviti i u preduslovima<br />
jednih i u zaključcima drugih pravila.<br />
Zaključivanje pomoću produkcionog <strong>sistema</strong> predstavlja proces utvrđivanja istinitosne<br />
vrednosti zaključaka na osnovu zadatih istinitosnih vrednosti pretpostavki ** . U procesu<br />
zaključivanja može se koristiti jedna od sledećih osnovnih strategija:<br />
• Direktno ulančavanje. Kod ove strategije na osnovu pretpostavki, koristeći pravila u<br />
smeru od preduslova ka zaključcima, određuju se svi mogući zaključci.<br />
• Povratno ulančavanje. Kod ove strategije polazi se od datog cilja i koristeći produkcije u<br />
smeru od zaključaka ka preduslovima utvrđuje se da li su zadovoljeni svi preduslovi<br />
neophodni za dati cilj.<br />
• Hibridno ulančavanje. Strategije direktnog i povratnog ulančavanja mogu se<br />
iskombinovati na više načina sa ciljem da se iskoriste prednosti svake od njih.<br />
U rešenju zadatka detaljno je prikazan proces zaključivanja primenom direktnog ulančavanja.<br />
Nove činjenice u bazu znanja dodavane su ispred postojećih činjenica (što ima uticaj na tok<br />
zaključivanja). Ovo je takozvano zaključivanje sa fokusiranjem pažnje na nove činjenice.<br />
Rešenje<br />
U zadatom produkcionom sistemu stavovi e, f(x) i g(x) predstavljaju pretpostavke, stavovi<br />
b(x), c(x) i d(x) su međupredikati a stav a(x) je ciljni stav. Polazne činjenice g(2), f(5), g(5) i<br />
e nam definišu istinitost stavova - pretpostavki za određene konkretne vrednosti promenljivih.<br />
Zadati produkcioni sistem sadrži predikate koji imaju argumente u kojima se pojavljuju<br />
promenljive. Promenljive unutar pravila posmatraju se kao univerzalno kvantifikovane. U<br />
procesu zaključivanja promenljive <strong>iz</strong> pravila se vezuju, odnosno, dobijaju konkretne vrednosti<br />
tako su zaključci predstavljeni stavovima koji sadrže konstante. U procesu povratnog<br />
ulančavanja (videti deo pod b) mogu se u okviru zaključaka pojaviti promenljive koje se tada<br />
posmatraju kao egzistencijalno kvantifikovane, to jest, cilj je ispunjen ako se nađe bar jedna<br />
konkretna vrednost promenljive za koju je dati predikat ispunjen.<br />
Primenimo algoritam zaključivanja direktnim ulančavanjem naveden u dodatku 1 (algoritam<br />
10) na zadati produkcioni sistem. Početna situacija opisana je na sledeći način:
Change language