A commonsense theory of nonmonotonic reasoning

  • Frank M. Brown
Nondassical Deducation
Part of the Lecture Notes in Computer Science book series (LNCS, volume 230)


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.


Modal Logic Logical Truth Frame Problem Nonmonotonic Reasoning Nonmonotonic Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Brown, F.M. (1976) "A Theory of Meaning," Department of Artificial Intelligence Working Paper 16, University of Edinburgh.Google Scholar
  2. Brown, F.M. (1978a) "An Automatic Proof of the Completeness of Quantificational Logic", Department of Artificial Intelligence Research Report 52.Google Scholar
  3. Brown, F.M. (1979) "A Theorem Prover for Metatheory," 4th CONFERENCE ON AUTOMATIC THEOREM PROVING, Austin Texas.Google Scholar
  4. Brown, F.M. (1978b), "A Sequent Calculus for Modal Quantificational Logic," 3rd AISB/GI CONFERENCE PROCEEDINGS, Hamburg.Google Scholar
  5. Carnap, Rudolf (1956) MEANING AND NECESSITY: A STUDY IN THE SEMANTICS OF MODAL LOGIC, The University of Chicago Press.Google Scholar
  6. Frege, G. (1879) "Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought", in FROM FREGE TO GODEL, 1967.Google Scholar
  7. Hayes, P.J. (1973) "The Frame Problem and Related Problems in Artificial Intelligence" ARTIFICIAL AND HUMAN THINKING, eds. Eilithorn and Jones.Google Scholar
  8. Hughes, G.E. and Creswell, M.J. (1968) AN INTRODUCTION TO MODAL LOGIC, METHUEN and Co, Ltd., London.Google Scholar
  9. McDermott, D., (1982) "Nonmonotonic Logic II: Nonmonotonic Modal Theories" JACM, Vol. 29, No. 1.Google Scholar
  10. McDermott, D., Doyle, J. (1980) "Nonmonotonic Logic I" ARTIFICIAL INTELLIGENCE 13.Google Scholar
  11. Moore, R.C. (1985) "Semantical Considerations on Nonmonotonic Logic" ARTIFICIAL INTELLIGENCE 25.Google Scholar
  12. Reiter, R. (1980) "A Logic for Default Reasoning" ARTIFICIAL INTELLIGENCE 13.Google Scholar
  13. Schwind, C.B. (1978) "The theory of Actions" report TUM-INFO 7807, Technische Universitat Munchen.Google Scholar
  14. Schwind, C.B. (1980) "A Completeness Proof for a Logic Action" Laboratoire D'Informatique pour les sciences de l'homme.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Frank M. Brown
    • 1
  1. 1.Department of Computer ScienceUniversity of KansasLawrenceUSA

Personalised recommendations