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.
Preview
Unable to display preview. Download preview PDF.
References
Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Massachusetts, 1974.
Garrett Birkhoff. Lattice Theory. Volume 25 of American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, Rhode Island, third edition, 1967.
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.
Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231–272, 1979.
Dov M. Gabbay and Franz Guenthner, editors. Extensions of Classical Logic. Volume 2 of Handbook of Philosophical Logic, D. Reidel, Dordrecht, Netherlands, 1984.
Jack Minker. Foundations of deductive databases and logic programming. Morgan-Kauffmann, 1987.
Yoav Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1987.
Author information
Authors and Affiliations
Editor information
Rights 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