Zbirka zadataka iz Ekspertskih sistema

74 1. Pretraživanje
potrebno pamtiti ranije obiđenja stanja; zbog acikličnosti grafa pretrage nije moguće da
pretraga upadne u mrtvu petlju. Ekspanziju stanja realizuje predikat
primeni_op(Tek_stanje,Op,Novo_stanje)
Predikatska pravila za predikat primeni_op definišu sledeći režim primene operatora:
• Određuje se JEDAN operator koji je moguće primeniti. Prvo se pokušava sa operatorom
op1, pa zatim op2, pa zatim op3. Kod izbora projektila realizovanog predikatom
uzmi_projektil(Lista_projektila,Projektil,
Nova_lista_projektila)
liste se razmatraju sa leva na desno i to prvo lista X, pa lista Y (ako treba). Ako je
potrebno izabrati par projektila iz liste, što je opisano predikatom
uzmi_dva_projektila(Lista_projektila,Projektil,
Nova_lista_projektila)
probaju se redom 1. i 2. iz liste, pa 1 i 3. , 1 i 4. i tako dalje, zatim 2. i 3., 2. i 4. i tako
dalje. Za svaki par proverava se da li u drugoj listi postoji odgovarajući projektil, pa ako
postoji, obustavljamo dalje traženje.
• Primenjuje se izabrani operator na tekuće stanje S. Izabrani operator se pamti na početku
liste koja predstavlja rešenje problema. Ako naknadno pri pretrazi dođe do povratka na
stanje S, povratni (backtracking) mehanizam PROLOG-a obezbeđuje izbor sledećeg
operatora koga je moguće primeniti na stanje S prema definisanom redosledu primene
operatora.
Upit u odeljku goal koji inicira pretragu završava se klauzulom fail koja nalaže da se
izvršavanje programa ne završi sa nađenim prvim rešenjem, već da se ispišu sva moguća
različita rešenja kojih ima ukupno čak 1056. Prvih nekoliko rešenja koje program ispisuje su:
X = [op1(4),op1(5),op1(7),op2(9,11,20),op2(9,3,12),op3(2,16,18)]
X = [op1(4),op1(5),op1(7),op2(9,11,20),op3(2,16,18),op2(9,3,12)]
X = [op1(4),op1(5),op1(7),op2(9,3,12),op2(11,9,20),op3(2,16,18)]
X = [op1(4),op1(5),op1(7),op2(9,3,12),op3(2,16,18),op2(11,9,20)]
X = [op1(4),op1(5),op1(7),op2(11,9,20),op2(9,3,12),op3(2,16,18)]