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.

vectors associated in the tr1 <strong>and</strong> tr2 respectively. Like ni's, tj's are also time<br />

varying quantities <strong>and</strong> are denoted by tj (t). R1 <strong>and</strong> R2 are relational matrices<br />

associated with tr1 <strong>and</strong> tr2 respectively. I(tr1) ={p1,p2}, I(tr2) = {p3}, O(tr1)<br />

={p3},O(tr2) ={p2,p4}.<br />

p1<br />

p2<br />

d1<br />

n1<br />

d2<br />

n2<br />

t1<br />

d1=Tall (Ram), d2=Stout (Ram), d3=Fast runner (Ram),<br />

d4= Has-nominal-pulse-rate (Ram)<br />

10.2.1 Formation of FPN<br />

d3<br />

Fig. 10.2: An illustrative FPN.<br />

Given the database in the form of clauses (Predicates with constant<br />

arguments) <strong>and</strong> knowledge base in the form of if-then rules, comprising of<br />

Predicates with variable arguments, one can easily construct a FPN by<br />

satisfying the knowledge base with the data clauses.<br />

Procedure FPN-Formation (DB-file, KB-file, FPN)<br />

Begin<br />

Repeat<br />

While not EOF of KB-file do Begin // KB file consists of Rules //<br />

Pick up a production rule;<br />

If the Predicates in the antecedent part of the rule are<br />

unifiable with clauses in the DB-file <strong>and</strong> instantiation of<br />

all the variables is consistent (i.e., a variable in all the<br />

predicates of the antecedent part of the rule assumes same value)<br />

Then do Begin<br />

Substitute the value of the variables in the predicates<br />

p3<br />

n3<br />

tr1 tr2<br />

t2<br />

p4<br />

t2<br />

d4<br />

n4

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

Saved successfully!

Ooh no, something went wrong!