New results on semantical nonmonotonic reasoning
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.
KeywordsPartial Order Logic Programming Modal Model Defense Advance Research Project Agency Nonmonotonic Reasoning
Unable to display preview. Download preview PDF.
- Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Massachusetts, 1974.Google Scholar
- Garrett Birkhoff. Lattice Theory. Volume 25 of American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, Rhode Island, third edition, 1967.Google Scholar
- 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
- Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231–272, 1979.Google Scholar
- 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
- Jack Minker. Foundations of deductive databases and logic programming. Morgan-Kauffmann, 1987.Google Scholar
- Yoav Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1987.Google Scholar