Page 104 - DCAP506_ARTIFICIAL_INTELLIGENCE

Artificial Intelligence

Notes 10. Create as JTMS and ATMS to represent the following:
(a) If you have spots and a temperature you have measles.
(b) If you have a liquid nose then unless it is hay fever season you have a cold.

Answers: Self Assessment

1. Formal 2. Procedural
3. Incompleteness 4. monotonic

5. Default 6. reasoning
A B

7. Non-Monotonic Logic 8.
C
9. Predicate logic 10. Circumscription
11. Truth Maintenance Systems (TMSs)
12. Justification-Based Truth Maintenance Systems (JTMS)

13. Logic-Based Truth Maintenance Systems (LTMS)
14. Single
15. Assumption-Based Truth Maintenance Systems (ATMS)

7.9 Further Readings

Books Antonelli, D. 1983. The application of artificial intelligence to a maintenance and diagnostic
information system (MDIS). Proceedings of the Joint Services Workshop on Artificial
Intelligence in Maintenance. Boulder, CO.
Boose, J.H. 1984. Personal construct theory and the transfer of human expertise.
Proceedings of the National Conference on Artificial Intelligence (AAAI-84),
p. 27-33, Austin, Texas.

Boose, J.H. 1985. A knowledge acquisition program for expert systems based on personal
construct psychology. International Journal of Man-Machine Studies, 23, 495-525.
Boose, J.H. 1986a. Expertise Transfer for Expert System Design, New York; Elsevier.

Boose, J.H. 1986b. Rapid acquisition and combination of knowledge from multiple experts
in the same domain. Future Computing Systems Journal, 1, 191-216.
Boose, J.H. 1988. Uses of repertory grid-centered knowledge acquisition tools for knowledge-
based systems. International Journal of Man-Machine Studies, 29, 287-310.
Boose, J.H. 1989. A survey of knowledge acquisition techniques and tools. Knowledge
acquisition: An international journal of knowledge acquisition for knowledge-
based systems, in press. Vol. 1, No. 1.
Boose, J.H., and Bradshaw, J.M. 1987b. AQUINAS: A knowledge acquisition workbench
for building knowledge based systems. Proceedings of the First European Workshop
on Knowledge Acquisition for Knowledge-Based Systems (pp. A6.1-6). Reading
University.

98 LOVELY PROFESSIONAL UNIVERSITY