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

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

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

Fig. 23.9: Entry of inconsistency in an FPN because of inconsistent database.<br />

ii) Inconsistency in PRs: To illustrate this, let us consider the database that<br />

contains the clauses named as loved (ram, sita), proposed-to-marry (lata, ram),<br />

loved (lata, ram). Moreover, assume that the name of suspects <strong>and</strong> the person<br />

murdered belong to the set S = {lata, sita, ram} <strong>and</strong> the rule-base includes<br />

PR1: proposed-to-marry (X,Y) :- loved (X,Y).<br />

PR2: hates (X,Y) :- proposed-to-marry (X,Y),<br />

loved (Y,Z).<br />

d1<br />

d1<br />

d2<br />

d3<br />

p1<br />

p1<br />

p2<br />

p3<br />

tr1<br />

d2<br />

d3<br />

tr1<br />

tr2<br />

p2<br />

p3<br />

Fig. 23.10: Entry of inconsistency in an FPN due to incompleteness of rules.<br />

The variables in the above rules are first instantiated with elements of the set<br />

S <strong>and</strong> then the clauses of the resulting rules are searched in the database for<br />

tr2<br />

p4<br />

p5<br />

p4<br />

d4<br />

d5<br />

d4

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

Saved successfully!

Ooh no, something went wrong!