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.

Teacher (X)<br />

Sub-goal fails<br />

Person (X)<br />

Writes-on (X, board, classhour)<br />

Fig. 6.2 ( b): Unification of the second sub-goal is not possible<br />

in the clauses following the marked unified clauses.<br />

Teacher (X)<br />

Person (X)<br />

Writes-on (X, board, classhour)<br />

Fig. 6.2 (c ): Back-tracking in the set of clauses.<br />

X= john, by (5)<br />

Pointer moves up<br />

above the marked<br />

place.<br />

Person (john) (5)<br />

Writes-on (john,<br />

board, classhour) (2)

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

Saved successfully!

Ooh no, something went wrong!