Zbirka zadataka iz Ekspertskih sistema

62 1. Pretraživanje
Funkcije sort, koristi pomoćne funkcije sort1 i insert za sortiranje algoritmom insertion
sort. Prvi argument funkcije sort je lista parcijalnih putanja za sortiranje, dok drugi
argument služi za ustanovljavanje kriterijuma za sortiranje, odnosno za poređenje dve
parcijalne putanje.
U svrhu poređenja parcijalnih putanja koristi se funkcija (closerp X Y finish) koja
vraća #T (tačno) ili #F (netačno) u zavisnosti da li je list parcijalne putanje X bliži čvoru
finish od lista parcijalne putanje Y ili važi suprotno. Udaljenost listova parcijalnih putanja X
i Y od čvora finish, odnosno vrednosti njihovih heurističkih funkcija određuje funkcija
distance. Funkciju distance potrebno je napisati za svaki konkretan problem pretrage
posebno u skladu sa definicijom heurističke funkcije.
Nastavak pretrage ostvaruje se rekurzivnim pozivom procedure hill1 sa ažuriranim redom
kao parametrom. Funkcija hill1, kao i funkcija sort1, poseduje takozvanu završnu (repnu)
rekurziju koju Lisp prevodilac pretvara u eksplicitnu iteraciju čime se dobija na efikasnosti
pri izvršavanju.
b) Zadatu mrežu puteva, koja predstavlja graf pretrage predstavićemo u Lispu na sledeći
način:
(define A ‘( (x 2) (y 0) (children (B C D E) ) ))
(define B ‘( (x 0) (y 2) (children (A E) ) ))
(define C ‘( (x 4) (y 1) (children (A D G F) ) ))
(define D ‘( (x 3) (y 3) (children (A C F H) ) ))
(define E ‘( (x 1) (y 4) (children (A B) ) ))
(define F ‘( (x 4) (y 5) (children (C D G) ) ))
(define G ‘( (x 3) (y 5) (children (C F H) ) ))
(define H ‘( (x 1) (y 6) (children (D G) ) ))
Za svaki čvor grafa pretrage uveden je istoimeni simbol. Svakom simbolu dodeljena je
takozvana asocijativna lista vrednosti. Radi se o listi uređenih parova (ime, vrednost) gde
prva komponenta ime predstavlja simbolički naziv određene osobine, druga komponenta
vrednost daje vrednost te osobine. Čvor poseduje osobine x, y i children koje se
respektivno odnose na x i y koordinate čvora i oznake drugih čvorova sa kojima je dati čvor
povezan putevima.
Procedurama iz tačke a) rešenja zadatka potrebno je dodati sledeće procedure:
(define (get l p)
(cadr (assoc p (eval l))))
(define (distance n1 n2)
(sqrt (+ (square (- (get n1 ‘x) (get n2 ‘x)))
(square (- (get n1 ‘y) (get n2 ‘y))))))
(define (square x)
(* x x))