next up previous
Next: Exercises Up: Reasoning with Uncertainty: Non-Monotonic Previous: Implementations: Truth Maintenance Systems

Further Reading

Artificial Intelligence by Rich and Knight covers these topic well. In particular see the sections on LTMS, JTMS and ATMS.

Knowledge Representation: An AI perspective by H. Reichgelt, Ablex, New York discusses default and nonmonotonic reasoning in an easy to read and understandable manner.

The Essentials of AI by Ginsberg provides some alternative and comprehensive treatments of all topics discussed in this lecture. Individual chapters are dedicated to ATMS and Non-Monotonic reasoning respectively.

The Handbook book of Artificial Intelligence (Vol 3 Ch 12) deals with nonmonotonic logics and logic programming.

Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference by Pearl, Morgan Kaufmann. Describes Non-monotic reasoning and Truth Maintenance Systems in some detail. It also describes their use with topics dealt with in the next lecture on Statistical reasoning.

A excellent collection of research papers is "Readings in Uncertain Reasoning", Ed Shafer and Pearl, Morgan Kaufmann, 1990.



dave@cs.cf.ac.uk