Skip to main content
SpringerLink
Log in

New results on semantical nonmonotonic reasoning

  • Preference-Based Model Theory
  • Conference paper
  • First Online:
Book cover Non-Monotonic Reasoning (NMR 1988)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 346))

Included in the following conference series:

Abstract

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.

This work was partially supported by the Defense Advanced Research Projects Agency (DARPA) under USAF/Rome Air Development Center contract F30602-85-C-0033. Views and conclusions contained in this paper are those of the authors and should not be interpreted as representing the official opinion or policy of DARPA or of the U.S. government.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. Garrett Birkhoff. Lattice Theory. Volume 25 of American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, Rhode Island, third edition, 1967.

    Google Scholar 

  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. Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231–272, 1979.

    Google Scholar 

  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. Jack Minker. Foundations of deductive databases and logic programming. Morgan-Kauffmann, 1987.

    Google Scholar 

  7. Yoav Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Systems Sciences Laboratory, Xerox Webster Research Center, 14580, Webster, New York

    Allen L. Brown Jr.

  2. Computer Science Department, Stanford University, 94305, Stanford, California

    Yoav Shoham

Authors
  1. Allen L. Brown Jr.
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yoav Shoham
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

M. Reinfrank J. de Kleer M. L. Ginsberg E. Sandewall

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Brown, A.L., Shoham, Y. (1988). New results on semantical nonmonotonic reasoning. In: Reinfrank, M., de Kleer, J., Ginsberg, M.L., Sandewall, E. (eds) Non-Monotonic Reasoning. NMR 1988. Lecture Notes in Computer Science, vol 346. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50701-9_17

Download citation

  • DOI: https://doi.org/10.1007/3-540-50701-9_17

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50701-7

  • Online ISBN: 978-3-540-46073-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation