Zbirka zadataka iz Ekspertskih sistema

76 1. Pretraživanje
promeni_stanje(S1, Operator, S2),
moze_li(S2).
Prolog ima ugrađeni mehanizam vraćanja (backtracking) koji obezbeđuje selekciju
alternativne putanje pretrage u situaciji kada se na tekuće stanje ne može primeniti nijedan
operator. Ovakvo rešenje ne obezbeđuje, međutim, eliminaciju zatvorenih putanja u grafu
pretrage pa se, na primer, može desiti da se majmun neprekidno šeta od vrata do prozora. U
kompletnom programu koji je dat u nastavku uvedeni su novi argumenti predikata moze_li:
moze_li(Stanje,Lista_stanja,Lista_operatora)
U listi stanja pamte se sva stanja na parcijalnoj putanji od startnog do tekućeg stanja da bi se
eliminisali oni naslednici tekućeg stanja koji se već nalaze u toj listi. U listi operatora pamte
se primenjeni operatori; po nalaženju ciljnog stanja lista operatora predtavlja rešenje
problema. Uveden je i jedan novi predikat, resenje, čija je uloga inicijalizacija liste stanja
operatora moze_li početnim stanjem.
Rešenje
Na osnovu izloženih elemenata može se sastaviti kompletan program na Turbo Prologu.
domains
s= stanje(symbol,symbol,symbol,symbol)
op= dohvati; popni_se; gurni(symbol,symbol);
setaj(symbol,symbol)
lista_stanja = s*
lista_op = op*
predicates
pozicija(symbol)
resenje(s,lista_op)
moze_li(s,lista_stanja,lista_op)
promeni_stanje(s,op,s)
pripada_listi(s,lista_stanja)
clauses
resenje(Pocetno_stanje,Lista_op):moze_li(Pocetno_stanje,[Pocetno_stanje],Lista_op).
pozicija(sredina).
pozicija(uz_prozor).
pozicija(uz_vrata).
moze_li(stanje(_,_,_,ima),_,[]).
moze_li(Stanje1,Lista_stanja,[Op|Lista_op]) :-
promeni_stanje(Stanje1,Op,Stanje2),
not(pripada_listi(Stanje2,Lista_stanja)),
moze_li(Stanje2,[Stanje2|Lista_stanja],Lista_op).
promeni_stanje(stanje(sredina, na_sanduku, sredina, nema),