24.12.2012 Views

Zbirka zadataka iz Ekspertskih sistema

Zbirka zadataka iz Ekspertskih sistema

Zbirka zadataka iz Ekspertskih sistema

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

186 3. Strategije rešavanja problema<br />

NA(S3,MD)<br />

NA(S3,SD)<br />

NA(S3,VD)<br />

LISTA AKCIJA:<br />

-<br />

Da bismo zadovoljili stav NA(S3,VD) biramo operator POMERI_VELIKI_DISK uz<br />

unifikaciju v ⇔S1 w ⇔ S3 pa je <strong>iz</strong>gled ciljnog steka:<br />

CILJNI STEK:<br />

NA(S3,MD) ∧ NA(S3,SD) ∧ NA(S3,VD)<br />

NA(S3,MD)<br />

NA(S3,SD)<br />

NA(S3,VD)<br />

POMERI_VELIKI_DISK(S1,S3)<br />

NA(S1, VD) ∧ ¬NA(S1, MD) ∧ ¬NA(S1, SD) ∧ ¬NA(S3, MD) ∧ ¬NA(S3, SD)<br />

NA(S1, VD)<br />

¬NA(S1, MD)<br />

¬NA(S1, SD)<br />

¬NA(S3, MD)<br />

¬NA(S3, SD)<br />

S obzirom da se stav NA(S3,SD) ne nalazi u tekućem stanju, zadovoljena je negacija ovoga<br />

stava prema pretpostavci o zatvorenom svetu, pa se ovaj stav uklanja sa steka; isto važi i za<br />

stav ¬NA(S3, MD). Stav ¬NA(S1, SD) nije zadovoljen u tekućem stanju pa biramo operator<br />

POMERI_SREDNJI_DISK(S1, S2) jer je to jedini operator koji uklanja stav NA(S1,SD).<br />

Između mogućnosti da <strong>iz</strong>aberemo S2 ili S3 za odredišni disk, <strong>iz</strong>bor je pao na S2 jer vodi do<br />

rešenja u manjem broju poteza. Sada je ciljni stek<br />

CILJNI STEK:<br />

NA(S3,MD) ∧ NA(S3,SD) ∧ NA(S3,VD)<br />

NA(S3,MD)<br />

NA(S3,SD)<br />

NA(S3,VD)<br />

POMERI_VELIKI_DISK(S1,S3)<br />

NA(S1, VD) ∧ ¬NA(S1, MD) ∧ ¬NA(S3, MD) ∧ ¬NA(S1, SD) ∧ ¬NA(S3, SD)<br />

NA(S1, VD)<br />

¬NA(S1, MD)<br />

¬NA(S1, SD)<br />

POMERI_SREDNJI_DISK(S1, S2)<br />

NA(S1, SD) ∧ ¬NA(S1, MD) ∧ ¬NA(S2, MD)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!