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.

2. Draw a partitioned semantic net to represent the knowledge: ∀X Adult<br />

(X) →Loves (X, children).<br />

3. Draw a script to represent a restaurant, explaining the entry at the<br />

restaurant, ordering of items, waiting for the items, serving the items,<br />

enjoying the meals, collecting the bills for payment <strong>and</strong> exiting from the<br />

site.<br />

4. Represent the following statements by a Petri net: (a) Graduate-<br />

Student(X) → Married (X), (b) Employed (X) → Married (X), (c)<br />

Married(X) → Has-son (X) ∨ Has-daughter (X).<br />

5. Adding the data clauses (a ) ¬Has-daughter (john) ←, (b) Graduatestudent<br />

(john) ←, (c ) ¬Has-son (john) ← to the previous clauses, can we<br />

derive ¬Employed (john) <strong>and</strong> ¬Married (john)?– justify. Clearly show<br />

the forward <strong>and</strong> / or the backward firing of the transitions. Does more<br />

than one transition fire concurrently here?<br />

6. Construct examples to illustrate the cases when a given rule is defeated.<br />

References<br />

[1] Bender, E. A., Mathematical Methods in <strong>Artificial</strong> <strong>Intelligence</strong>, IEEE<br />

Computer Society Press, Los Alamitos, pp. 234-250,1996.<br />

[2] Cerro, L. F. del. <strong>and</strong> Penttonen, M. (Ed.), Intensional Logics for<br />

Programming, Clarendon Press, Oxford, 1992.<br />

[3] Hendrix, G. G., “Exp<strong>and</strong>ing the utility of semantic networks through<br />

partitioning,” Proc. of Int. Joint Conf. on <strong>Artificial</strong> <strong>Intelligence</strong>, Tbilisi,<br />

Georgia, pp. 115-121, 1977.<br />

[4] Minisky, M., A framework for representing knowledge, in The<br />

Psychology of Computer Vision, Winston, P., Ed., McGraw-Hill, New<br />

York, 1975.<br />

[5 ] Murata, T. <strong>and</strong> Yamaguchi, H., “ A Petri net with negative tokens <strong>and</strong><br />

its application to automated reasoning,” Proc. of the 33 rd Midwest<br />

Symp. on Circuits <strong>and</strong> Systems, Calgary, Canada, pp. 762-765, 1990.

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

Saved successfully!

Ooh no, something went wrong!