Abstract
A commonsense theory of nonmonotonic reasoning is presented which models our intuitive ability to reason about defaults. The concepts of this theory do not involve mathematical fixed points, but instead are explicitly defined in a monotonic modal quantificational logic which captures the modal notion of logical truth. The axioms and inference rules of this modal logic are described herein along with some basic theorems about nonmonotonic reasoning. An application to solving the frame problem in robot plan formation is presented.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Brown, F.M. (1976) "A Theory of Meaning," Department of Artificial Intelligence Working Paper 16, University of Edinburgh.
Brown, F.M. (1978a) "An Automatic Proof of the Completeness of Quantificational Logic", Department of Artificial Intelligence Research Report 52.
Brown, F.M. (1979) "A Theorem Prover for Metatheory," 4th CONFERENCE ON AUTOMATIC THEOREM PROVING, Austin Texas.
Brown, F.M. (1978b), "A Sequent Calculus for Modal Quantificational Logic," 3rd AISB/GI CONFERENCE PROCEEDINGS, Hamburg.
Carnap, Rudolf (1956) MEANING AND NECESSITY: A STUDY IN THE SEMANTICS OF MODAL LOGIC, The University of Chicago Press.
Frege, G. (1879) "Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought", in FROM FREGE TO GODEL, 1967.
Hayes, P.J. (1973) "The Frame Problem and Related Problems in Artificial Intelligence" ARTIFICIAL AND HUMAN THINKING, eds. Eilithorn and Jones.
Hughes, G.E. and Creswell, M.J. (1968) AN INTRODUCTION TO MODAL LOGIC, METHUEN and Co, Ltd., London.
McDermott, D., (1982) "Nonmonotonic Logic II: Nonmonotonic Modal Theories" JACM, Vol. 29, No. 1.
McDermott, D., Doyle, J. (1980) "Nonmonotonic Logic I" ARTIFICIAL INTELLIGENCE 13.
Moore, R.C. (1985) "Semantical Considerations on Nonmonotonic Logic" ARTIFICIAL INTELLIGENCE 25.
Reiter, R. (1980) "A Logic for Default Reasoning" ARTIFICIAL INTELLIGENCE 13.
Schwind, C.B. (1978) "The theory of Actions" report TUM-INFO 7807, Technische Universitat Munchen.
Schwind, C.B. (1980) "A Completeness Proof for a Logic Action" Laboratoire D'Informatique pour les sciences de l'homme.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brown, F.M. (1986). A commonsense theory of nonmonotonic reasoning. In: Siekmann, J.H. (eds) 8th International Conference on Automated Deduction. CADE 1986. Lecture Notes in Computer Science, vol 230. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16780-3_92
Download citation
DOI: https://doi.org/10.1007/3-540-16780-3_92
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16780-8
Online ISBN: 978-3-540-39861-5
eBook Packages: Springer Book Archive