Zbirka zadataka iz Ekspertskih sistema

186 3. Strategije rešavanja problema
NA(S3,MD)
NA(S3,SD)
NA(S3,VD)
LISTA AKCIJA:
-
Da bismo zadovoljili stav NA(S3,VD) biramo operator POMERI_VELIKI_DISK uz
unifikaciju v ⇔S1 w ⇔ S3 pa je izgled ciljnog steka:
CILJNI STEK:
NA(S3,MD) ∧ NA(S3,SD) ∧ NA(S3,VD)
NA(S3,MD)
NA(S3,SD)
NA(S3,VD)
POMERI_VELIKI_DISK(S1,S3)
NA(S1, VD) ∧ ¬NA(S1, MD) ∧ ¬NA(S1, SD) ∧ ¬NA(S3, MD) ∧ ¬NA(S3, SD)
NA(S1, VD)
¬NA(S1, MD)
¬NA(S1, SD)
¬NA(S3, MD)
¬NA(S3, SD)
S obzirom da se stav NA(S3,SD) ne nalazi u tekućem stanju, zadovoljena je negacija ovoga
stava prema pretpostavci o zatvorenom svetu, pa se ovaj stav uklanja sa steka; isto važi i za
stav ¬NA(S3, MD). Stav ¬NA(S1, SD) nije zadovoljen u tekućem stanju pa biramo operator
POMERI_SREDNJI_DISK(S1, S2) jer je to jedini operator koji uklanja stav NA(S1,SD).
Između mogućnosti da izaberemo S2 ili S3 za odredišni disk, izbor je pao na S2 jer vodi do
rešenja u manjem broju poteza. Sada je ciljni stek
CILJNI STEK:
NA(S3,MD) ∧ NA(S3,SD) ∧ NA(S3,VD)
NA(S3,MD)
NA(S3,SD)
NA(S3,VD)
POMERI_VELIKI_DISK(S1,S3)
NA(S1, VD) ∧ ¬NA(S1, MD) ∧ ¬NA(S3, MD) ∧ ¬NA(S1, SD) ∧ ¬NA(S3, SD)
NA(S1, VD)
¬NA(S1, MD)
¬NA(S1, SD)
POMERI_SREDNJI_DISK(S1, S2)
NA(S1, SD) ∧ ¬NA(S1, MD) ∧ ¬NA(S2, MD)