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.

Can<br />

Is-a<br />

Bird<br />

Has-wings: 2<br />

Body covered with<br />

feathers<br />

Fly<br />

Altitude: high<br />

Tweety<br />

Has- wings: 2<br />

Broken -wings: 1<br />

Birds, having lost<br />

aeronautical prowess<br />

Has-wings: 2<br />

Is -a<br />

This is resolved here through a principle called “follow minimal inferential<br />

distance path” [11]. Since ‘’ type of implication is more specific than the<br />

default ‘--->’ type of implication , we prefer<br />

Tweety Birds, having lost aeronautical prowess<br />

with respect to<br />

Tweety ---> Birds.<br />

The former rule being predominant, the reasoning goes in favor of Birds<br />

having lost aeronautical power ----/--> Fly.<br />

So, finally we have<br />

Tweety --/--> Fly as the conclusion.<br />

8.8 Petri Nets<br />

Fig. 8.12: Illustrating reasoning in a frame.<br />

Another structured model that is gaining popularity currently is Petri nets. A<br />

Petri net is a directed bipartite graph consisting of places <strong>and</strong> transitions. It is<br />

getting popular for its capability of reasoning in a parallel <strong>and</strong> distributed<br />

manner. In this section we limit our discussion on FOL based reasoning with<br />

Can

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

Saved successfully!

Ooh no, something went wrong!