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.

Example 8.2: This example illustrates that the / links have definitely<br />

some significance. The knowledge base of fig 8.8 represented in FOL is given<br />

by<br />

Parrot<br />

Green-bird (parrot)<br />

Singer-bird (cuckoo)<br />

Bird (Green-bird)<br />

Bird(Singer-bird)<br />

Avis (Bird)<br />

¬Singer-bird (parrot)<br />

¬Green-bird (cuckoo)<br />

Is-a Is-a<br />

Green Bird<br />

Is-a Is-a<br />

Is-a<br />

Is-a<br />

Is-a<br />

The validity of the system inferential rules (i) – (iii) is illustrated here in<br />

this example. For instance, since parrot / singer-bird is existent in fig 8.8,<br />

by inferential rule (i) we may add Singer-bird / parrot as well.<br />

Secondly, since<br />

Cuckoo<br />

Parrot green-bird bird avis,<br />

Singer bird<br />

Bird<br />

we may add a link parrot avis by inferential rule (ii).<br />

Lastly, we have in fig. 8.8,<br />

Avis<br />

Fig. 8.8: A semantic net used to illustrate ‘→’<strong>and</strong> ‘/→’ operation.

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

Saved successfully!

Ooh no, something went wrong!