Zbirka zadataka iz Ekspertskih sistema

72 1. Pretraživanje
Algoritam pretrage po dubini izabran je na osnovu sledećih razmatranja:
• Rešenje se može naći u relativno malom broju koraka. Taj broj manji je ili jednak dužini
kraće liste iz početnog stanja pošto se svakom primenom operatora iz obe liste uklanja bar
po jedan projektil.
• Problem ima relativno veliki faktor grananja. Operatori op2 i op3 mogu se na određeno
stanje sa različitim argumentima. Na primer, ako je u određenom stanju pretrage dužina
liste X, koju ćemo označiti sa n, manja do jednaka dužini liste Y, potrebno je razmotriti
⎛n⎞
⎜ ⎟
⎝2
⎠
različitih kombinacija argumenata operatora op2 gde ⎝ ⎜⎛
n⎞
⎟
2 ⎠
= n * (n-1) predstavlja broj
različitih parova projektila iz liste od n projektila. Naravno, mora biti zadovoljen uslov da
zbir snaga izabranih projektila odgovara snazi jednog projektila iz liste Y, što smanjuje
broj primena operatora Op2, ali je taj broj i dalje veliki. U početnom stanju treba, na
primer, ispitati 56 parova projektila iz liste X od kojih uslove zadovoljava 9 parova:
(9,11), (9,3), (9,7), (11,9), (11,5), (9,3), (9,7), (3,4) i (5,7). Neki parovi se ponavljaju jer se
u listi X nalaze dva različita projektila iste snage 9.
• Graf pretrage je acikličan jer nova stanja poseduju manji broj projektila od stanja -
prethodnika u grafu pretrage.
Rešenje
Program koji rešava zadati problem napisan je na TURBO PROLOG-u.
domains
projektil = integer
lista_projektila = projektil*
stanje = listeXY(lista_projektila,lista_projektila)
operator = op1(projektil) ; op2(projektil,projektil,projektil);
op3(projektil,projektil,projektil)
lista_operatora = operator*
predicates
nadji_resenje(stanje,lista_operatora)
primeni_op(stanje,operator,stanje)
uzmi_projektil(lista_projektila,projektil,lista_projektila)
duzina_liste(lista_projektila,integer)
uzmi_dva_projektila(lista_projektila,projektil,projektil,
lista_projektila)
clauses
nadji_resenje(listeXY([],[]),[]).
nadji_resenje(Tek_stanje,[Op|Lista_op]):primeni_op(Tek_stanje,Op,Novo_stanje),
nadji_resenje(Novo_stanje,Lista_op).
primeni_op(listeXY(X,Y),op1(P),listeXY(Novo_x,Novo_y)):-