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.

It may be noted that the first rule includes two literals in the head, while the<br />

last rule includes negated literal in the head, both of which are violated in<br />

st<strong>and</strong>ard logic programs, but valid in predicate logic.<br />

p1 Father<br />

<br />

<br />

p2 Wife<br />

A1<br />

A2<br />

(X, Y) ¬(Y, Z)<br />

(Z, X)<br />

¬ (Y, Z)<br />

Fig. 22.10: Parameters of an EPN used to represent knowledge<br />

in predicate logic.<br />

Here, P = {p1 , p2 , p3 , p4 },<br />

Tr = {tr1},<br />

D = {Father, Wife, Son , Daughter },<br />

f(Father ) = p1 , f (Wife) = p2 , f(Son) = p3 , f (Daughter) = p4 ,<br />

tr1<br />

m(p1) = , m(p2 ) = , m(p3 ) = < φ > , m(p4 ) = ¬<br />

initially <strong>and</strong> can be computed subsequently through unification of<br />

predicates in the process of resolution of clauses.<br />

A = {A1, A2, A3 , A4},<br />

a (A1) = (X, Y) , a (A2 ) = (Z, X) , a (A3 ) = ¬ (Y, Z) ,<br />

a (A4 ) = ¬ (Y, Z) are the arc functions,<br />

I(tr1 ) = {p1 , p2 }, <strong>and</strong> 0(tr2 ) = {p3 ,p4 }.<br />

A3<br />

A4<br />

p3 Son<br />

¬<br />

p4 Daughter

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

Saved successfully!

Ooh no, something went wrong!