Zbirka zadataka iz Ekspertskih sistema

3.1. Planiranje 185
• POMERI_VELIKI_DISK
poštujući pri tome sledeća ograničenja:
• u datom trenutku može se pomeriti samo jedan disk koji mora biti slobodan i
• veći disk ne može da dođe iznad manjeg.
b) Navesti redosled biranja operatora tokom rada STRIPS algoritma i redosled operatora u
listi akcija.
Analiza problema
Treba primetiti da se u modelu stanja ne vidi eksplicitan redosled diskova na istom stubu. U
dozvoljenim stanjima ovaj redosled je jednoznačno određen pa to omogućava da se ova
informacija ne uključi u predstavu stanja. Pri definiciji operatora promene stanja treba
obezbediti da se prelazi iz legalnih stanja vrše samo u druga legalna stanja.
Rešenje
a) Ciljno stanje se opisuje koristeći isti predikat NA kojim je predstavljeno početno stanje:
NA(S3,MD) NA(S3,SD) NA(S3,VD)
Operatori se mogu definisati na sledeći način:
• operator POMERI_MALI_DISK(x,y):
PREDUSLOV: NA(x, MD)
ODUZMI: NA(x, MD)
DODAJ: NA(y, MD)
• operator POMERI_SREDNJI_DISK(z,u):
PREDUSLOV: NA(z, SD) ∧ ¬NA(z, MD) ∧ ¬NA(u, MD)
ODUZMI: NA(z, SD)
DODAJ: NA(u, SD)
• operator POMERI_VELIKI_DISK(v,w):
PREDUSLOV: NA(v,VD)∧¬NA(v, MD)∧¬NA(v, SD)∧¬NA(w, MD)∧¬NA(w, SD)
ODUZMI: NA(v, VD)
DODAJ: NA(w, VD)
Prvi argument operatora predstavlja izvorišni, a drugi argument odredišni stub. U radu
STRIPS algoritma podrazumeva se pretpostavka o zatvorenom svetu (engl. closed world
assumption) da negacija stava važi pod uslovom da se taj stav ne nalazi u tekućem stanju.
b) Inicijalno stanje opisano je na sledeći način.
TEKUĆE STANJE:
NA(S1,MD) NA(S1,SD) NA(S1,VD)
CILJNI STEK:
NA(S3,MD) ∧ NA(S3,SD) ∧ NA(S3,VD)