Zbirka zadataka iz Ekspertskih sistema

3.1. Planiranje 189
Uslovi za primenu izabranog operatora POMERI_MALI_DISK(S3,S2) su zadovoljeni, pa se
uslovi i sam operator skidaju sa steka odmah po njihovom stavljanju; primenom operatora
dobija se:
TEKUĆE STANJE:
NA(S2,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(S3, MD)
LISTA AKCIJA:
1. POMERI_MALI_DISK(S1,S3)
2. POMERI_SREDNJI_DISK(S1, S2)
3. POMERI_MALI_DISK(S3,S2)
U narednim koracima utvrđuje se da su zadovoljeni uslovi za primenu operatora
POMERI_VELIKI_DISK(S1,S3). Posle primene ovog operatora imamo:
TEKUĆE STANJE:
NA(S2,MD) NA(S2,SD) NA(S3,VD)
CILJNI STEK:
NA(S3,MD) ∧ NA(S3,SD) ∧ NA(S3,VD)
NA(S3,MD)
NA(S3,SD)
NA(S3,VD)
LISTA AKCIJA:
1. POMERI_MALI_DISK(S1,S3)
2. POMERI_SREDNJI_DISK(S1, S2)
3. POMERI_MALI_DISK(S3,S2)
4. POMERI_VELIKI_DISK(S1,S3)
Stav NA(S3,VD) je zadovoljen pa se skida sa steka. Da bi se zadovoljio stav NA(S3,SD) bira
se operator POMERI_SREDNJI_DISK(S2,S3). U narednim koracima algoritma, da bi se
zadovoljio uslov za primenu navedenog operatora mali disk uklanja se sa stuba 2 izborom
operatora POMERI_MALI_DISK(S2,S1). Ovaj operator odmah se primenjuje a posle toga i
operator POMERI_SREDNJI_DISK(S2,S3). Na kraju se izborom i primenom operatora
POMERI_MALI_DISK(S1,S3) zadovoljava složeni cilj i svi preostali stavovi bivaju skinuti
sa steka tako da je konačno stanje: