Abstract
A method of overcoming the problem of Insufficient information. A system may be told that unless it has information to the contrary certain defaults are assumed to be true. Systems that have default information are non-monotonic in the logical sense: this means that by adding certain pieces of information it may be that less results are provable than before this information was known. Examples of systems utilising default reasoning are Thnot in PLANNER <143> and the negation as failure of PROLOG <196>. In the latter the system assumes that if it has not been told that a certain fact is true then it is false: this is the so-called closed world assumption. See truth maintenance system <250>.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Reference
Nilsson, N.J. Principles of Artificial Intelligence. Tioga Pub. Co.. 1980. pages 408–411.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1984 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bundy, A., Wallen, L. (1984). Default Reasoning. In: Bundy, A., Wallen, L. (eds) Catalogue of Artificial Intelligence Tools. Symbolic Computation. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-96868-6_48
Download citation
DOI: https://doi.org/10.1007/978-3-642-96868-6_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-13938-6
Online ISBN: 978-3-642-96868-6
eBook Packages: Springer Book Archive