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.

the formation of the FPN. The FPN of fig. 23.10, which has been formed in<br />

this way, includes contradictory evidences loved (ram, sita) <strong>and</strong> hates<br />

(ram, sita) because of the presence of inconsistency in PRs. d1, d2, d3 <strong>and</strong> d4<br />

in fig. 23.10 represent loved (lata, ram), proposed-to-marry (lata, ram), loved<br />

(ram, sita) <strong>and</strong> hates (lata, ram) respectively.<br />

iii) Lack of precision of facts in the database: To illustrate how lack of<br />

precision of facts causes non-monotonicity to appear in an FPN, let us<br />

consider a database comprising of the clauses named as loved (ram, sita),<br />

loved (madhu, sita), loses-social-recognition (sita), husb<strong>and</strong> (ram), anotherman<br />

(madhu) <strong>and</strong> the set of PRs that includes<br />

RR1: loses-social-recognition (W) :- loved (H,W),<br />

loved (AM,W).<br />

PR2: suicides (W) :- loses-social-recognition (W).<br />

PR3: suicides (W) :- tortured (H,W).<br />

PR4: tortured (H,W) :- not-loved (H,W).<br />

where H,W <strong>and</strong> AM represent husb<strong>and</strong>-wife <strong>and</strong> another-man<br />

respectively.<br />

p1<br />

p2<br />

p6<br />

d1<br />

d2<br />

d6<br />

tr1<br />

tr3<br />

p4<br />

p3<br />

Fig. 23.11: Entry of inconsistency in an FPN because of lack of precision<br />

of facts.<br />

Now, assume that the suspects <strong>and</strong> the person murdered belong to set<br />

S1 = {ram, sita, madhu}. The variables of the above rules are now<br />

instantiated with the elements of set S1 <strong>and</strong> the resulting rules are stored in a<br />

file. This file of instantiated rules together with the data-tree is now used for<br />

d4<br />

d3<br />

tr2<br />

tr4<br />

d5<br />

p5

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

Saved successfully!

Ooh no, something went wrong!