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.

6. Annual-Inc (mita, Earnings) ←<br />

7. Earnings = 45,000 ←<br />

8. Annual -Inc ( lakshman, 35,000) ←<br />

Query : ← Taxpayer (X)<br />

The SLD tree for the above Logic Program is presented in fig. 6.6.<br />

←T a x p a y e r ( X )<br />

1<br />

2 3<br />

← Foreigner (X), ← Spouse (X,Y ←Annual-Inc<br />

!, fail. Annual-Inc(Y, Earnings), (X, Earnings),<br />

Earnings > 40000, !, 30000< Earnings,<br />

fail. 50000> Earnings.<br />

4 5 8<br />

!, fail.<br />

← Annual-Inc (mita, Earnings), ←30000< 35000,<br />

Earnings > 40000, !, 50000> 35000.<br />

fail.<br />

fail. 6<br />

← Earnings > 40000,<br />

!, fail.<br />

←50000 ><br />

7 ϕ<br />

← !,fail. (X =lakshman)<br />

fail.<br />

Fig. 6.6: CUT-FAIL combination forces the control to backtrack to the root<br />

from the left two sub-trees <strong>and</strong> generate alternative paths (rightmost<br />

sub-tree) for solutions.

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

Saved successfully!

Ooh no, something went wrong!