Zbirka zadataka iz Ekspertskih sistema

1.3. Primeri na Prolog-u i LISP-u 83
(napuni X B A B C)))
((> (- A X) Y) (cons ‘(Prespi drugi krcag u prvi)
(napuni (+ X Y) 0 A B C)))
(else (cons ‘(Dopuni prvi krcag iz drugog)
(napuni A (- Y (- A X)) A B C)))))
Na primer, poziv (krcag ( 3 5 2)) daje kao rezultat listu:
((NAPUNI DRUGI KRCAG) (DOPUNI PRVI KRCAG IZ DRUGOG) (TACNA KOLICINA
U DRUGOM KRCAGU))
dok poziv (krcag ( 5 3 2)) daje rešenje u 10 poteza:
((NAPUNI DRUGI KRCAG) (PRESPI DRUGI KRCAG U PRVI) (NAPUNI DRUGI
KRCAG) (DOPUNI PRVI KRCAG IZ DRUGOG) (PROSPI IZ PRVOG KRCAGA)
(PRESPI DRUGI KRCAG U PRVI) (NAPUNI DRUGI KRCAG) (PRESPI DRUGI KRCAG
U PRVI) (NAPUNI DRUGI KRCAG) (DOPUNI PRVI KRCAG IZ DRUGOG) (TACNA
KOLICINA U DRUGOM KRCAGU))
Prema tome, za dobijeno rešenje se ne garantuje se minimalan broj poteza.
Diskusija
Zadatak 1 rešava isti problem definisanjem prostora stanja i operatora promene stanja tako da
simuliraju fizičke radnje sa krčazima. U ovom zadatku detaljnije su analizirana ograničenja
svojstvena problemu da bi se smanjio broj operatora i prostor pretrage. Prema tome, da bi se
uštedelo računarsko vreme, potrošeno je više vremena na definisanje pravilnog matematičkog
modela problema. Ovaj pristup je generalno opravdan samo u onim slučajevima kada prostiji
model rezultuje nezadovoljavajućim performansama programa. Čitaocu se preporučuje da
isprogramira rešenje na osnovu zadatka 1, primenom strategije pretraživanja po izboru.