06.03.2013 Views

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

Artificial Intelligence and Soft Computing: Behavioral ... - Arteimi.info

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Forward Reasoning: Given the starting state ( F, G, W, C | | Nil) <strong>and</strong> the<br />

goal state (Nil | | F, G, W, C), one may exp<strong>and</strong> the state-space, starting with<br />

(F,G,W,C | | Nil) by the supplied knowledge base, as follows:<br />

( C | | F, W, G )<br />

PR 4<br />

( F, G, C | | W)<br />

(F, G, W, C | | Nil )<br />

PR 1<br />

( W, C | | F, G )<br />

PR 2<br />

( F, W, C | | G )<br />

PR 3 PR 8<br />

( G | | F, W, C)<br />

( F, G | | W,C)<br />

( Nil | | F,G,W,C)<br />

( W | | F, C, G )<br />

PR 9<br />

( F, G, W | | C)<br />

PR 5 PR 10<br />

PR 6<br />

PR 7<br />

Fig. 3.4: The forward reasoning trace of the farmer’s problem with a<br />

partially exp<strong>and</strong>ed state-space.

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

Saved successfully!

Ooh no, something went wrong!