Abstract
A deduction in classical logic is valid for all time, but in non-monotonic reasoning new information may mean that conclusions may have to be withdrawn (See Fig. 9.1).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bobrow, D.: Managing Reentrant Structures Using Reference Counts, ACM Trans, on Programming Languages and Systems 2, 269–273, 1980.
Brewka, G.: Non-Monotonic Logics: an Introductionary Overview, Proceedings KIFS-87, Springer Informatik-Fachberichte 202, 1989.
de Kleer, J.: Choices Without Backtracking, AAAI-S4, 79–85, 1984.
de Kleer, J.: An Assumption-Based TMS, AI Journal 28, 127–162, 1986.
Doyle, J.: A Truth Maintenance System, AI Journal 12, 231–272, 1979.
Genesereth, M. and Nilsson, N.: Logical Foundations of Artificial Intelligence, Chap. 6: Non-Monotonic Reasoning, Morgan Kaufmann, 1987.
Goodwin, J.: An Improved Algorithm for Non-Monotonic Dependency Net Update, LITH-MAT-R-82–23, Linköping University, 1982.
McAllester, D.: An Outlook on Truth Maintenance Systems, AI Memo 551, MIT, 1980.
Puppe, F.: Belief Revision in Diagnostics, GWAI-87, Springer Informatik-Fachberichte 152, 175–184, 1987.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Puppe, F. (1993). Non-Monotonic Reasoning. In: Systematic Introduction to Expert Systems. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77971-8_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-77971-8_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-77973-2
Online ISBN: 978-3-642-77971-8
eBook Packages: Springer Book Archive