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 procedure forward reasoning is used to co pute the steady state<br />

belief of N (t) from its initial value N(0). In application, like criminal<br />

investigation [20], these steady state values of the predicates are used to<br />

identify the culprit from a given set of suspects. After the culprit, described by<br />

a terminal place of the FPN, is identified, procedure reducenet, presented<br />

below, is invoked to find the useful part of the network for generating an<br />

evidential explanation for the culprit.<br />

Procedure reducenet ( FPN, axioms, goal, parents );<br />

Begin<br />

nonaxioms:= goal;<br />

Repeat<br />

Find-parents (nonaxioms); //Find parents of non-axioms.//<br />

Mark the generated parent place, hereafter called parents <strong>and</strong><br />

the transitions connected between parents <strong>and</strong> nonaxioms;<br />

nonaxioms:=parents - axioms; //nonaxiom parents detection.//<br />

Until parents ∈ axioms;<br />

trace the marked places <strong>and</strong> transitions;<br />

End.<br />

p1<br />

p2<br />

L(r,s)<br />

T(r,s)<br />

L(l,r)<br />

tr1<br />

p4 p6<br />

Ht(r,s)<br />

tr3<br />

p3<br />

tr5<br />

tr4<br />

L = Loves, T = Tortures, SR = Strained-relationships-between ,<br />

M = Murders, r= Ram, s= Sita, l= Lata<br />

Fig.10.8: A FPN representing a murder history of a housewife 's' where<br />

the husb<strong>and</strong> 'r' <strong>and</strong> the girl friend 'l' of 'r' are the suspects.<br />

tr2<br />

SR(r,s)<br />

tr6<br />

p7<br />

p5<br />

M(r,s)<br />

M(l,s)

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

Saved successfully!

Ooh no, something went wrong!