Zbirka zadataka iz Ekspertskih sistema

3.1. Planiranje 187
NA(S1, SD)
¬NA(S1, MD)
¬NA(S2, MD)
U tekućem stanju zadovoljeno je ¬NA(S2, MD). Da bismo zadovoljili ¬NA(S1, MD)
potrebno je ukloniti stav NA(S1,MD) iz tekućeg stanja, pa biramo operator
POMERI_MALI_DISK(S1,S3). Odredišni stub i ovog puta je izabran tako da se dobije
rešenje u najmanjem broju poteza. Sadržaj steka sada je:
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)
NA(S1, SD)
¬NA(S1, MD)
POMERI_MALI_DISK(S1,S3)
NA(S1, MD)
Pošto je preduslov za primenu poslednjeg izabranog operatora ispunjen, preduslov i operator
skidaju se sa steka i ažurira se stanje u skladu sa UKLONI i DODAJ listama operatora pa je
stanje sledeće:
TEKUĆE STANJE:
NA(S3,MD) NA(S1,SD) NA(S1,VD)
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)