Zbirka zadataka iz Ekspertskih sistema

188 3. Strategije rešavanja problema
¬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)
LISTA AKCIJA:
1. POMERI_MALI_DISK(S1,S3)
U tekućem stanju zadovoljeni su stavovi ¬NA(S1, MD), NA(S1, SD) kao i složeni uslov za
primenu operatora POMERI_SREDNJI_DISK(S1, S2) pa se ovi stavovi i pomenuti
operator skidaju sa steka. Primenom operatora dobija se:
TEKUĆE STANJE:
NA(S3,MD) NA(S2,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)
¬NA(S1, MD)
¬NA(S1, SD)
LISTA AKCIJA:
1. POMERI_MALI_DISK(S1,S3)
2. POMERI_SREDNJI_DISK(S1, S2)
U tekućem stanju zadovoljena su vršna tri stava sa steka pa se oni uklanjaju sa steka. Složeni
preduslov, NA(S1, VD) ∧ ¬NA(S1, MD) ∧ ¬NA(S3, MD) ∧ ¬NA(S1, SD) ∧ ¬NA(S3, SD),
nije međutim zadovoljen jer ne važi stav ¬NA(S3, MD). Ovaj stav bio je zadovoljen u
početnom stanju, ali je izvršeno pomeranje malog diska na stub 3; prema tome,
zadovoljavanjem jednog podcilja složenog cilja ‘pokvarilo’ je zadovoljenost drugog podcilja.
Upravo iz ovog razloga pored podciljeva na stek se stavlja i složeni cilj. Rad algoritma
nastavlja se tako što ponovo na stek stavljamo stav ¬NA(S3, MD) i biramo operator
POMERI_MALI_DISK(S3,S2) da bismo zadovoljili ovaj stav. Primetimo da bi pomeranje
malog diska sa stuba 3 na stub 1 ponovo poremetilo jedan od uslova za primenu operatora
POMERI_VELIKI_DISK. Algoritam izbora operatora, treba dakle da uključi i eliminaciju
mogućnosti ‘klackanja’ između dva podcilja tako da zadovoljavanje jednog od njih uvek
kvari drugi i obrnuto.