New results on semantical nonmonotonic reasoning

  • Allen L. BrownJr.
  • Yoav Shoham
Preference-Based Model Theory
Part of the Lecture Notes in Computer Science book series (LNCS, volume 346)


In earlier reports we presented a semantical account of nonmonotonic reasoning based on the partial ordering of interpretations of standard logics. In this article we generalize and extend the earlier work. We elucidate the structural relation between the new work and the old. Finally, we apply the new results to give a logical semantical account of justification-based truth maintenance.


Partial Order Logic Programming Modal Model Defense Advance Research Project Agency Nonmonotonic Reasoning 
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. [1]
    Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Massachusetts, 1974.Google Scholar
  2. [2]
    Garrett Birkhoff. Lattice Theory. Volume 25 of American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, Rhode Island, third edition, 1967.Google Scholar
  3. [3]
    Allen L. Brown, Jr. Logics of justified belief. In Yves Kodratoff, editor, Proceedings of the Eighth European Conference on Artificial Intelligence, pages 507–512, European Coordinating Committe for Artificial Intelligence, Pitman Publishing, Munich, August 1988.Google Scholar
  4. [4]
    Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231–272, 1979.Google Scholar
  5. [5]
    Dov M. Gabbay and Franz Guenthner, editors. Extensions of Classical Logic. Volume 2 of Handbook of Philosophical Logic, D. Reidel, Dordrecht, Netherlands, 1984.Google Scholar
  6. [6]
    Jack Minker. Foundations of deductive databases and logic programming. Morgan-Kauffmann, 1987.Google Scholar
  7. [7]
    Yoav Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Allen L. BrownJr.
    • 1
  • Yoav Shoham
    • 2
  1. 1.Systems Sciences LaboratoryXerox Webster Research CenterWebster
  2. 2.Computer Science DepartmentStanford UniversityStanford

Personalised recommendations