Skip to main content
SpringerLink
Log in

Logical foundations of nonmonotonic truth maintenance

  • Invited Talks
  • Conference paper
  • First Online:
EPIA 89 (EPIA 1989)

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

Included in the following conference series:

Abstract

Nonmonotonic truth maintenance systems and nonmonotonic logics have now been coexisting for more than a decade. I survey some recent results on the relationships between these two fields. I discuss what has been achieved so far and suggest some problems that demand further investigation.

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. Daniel G. Bobrow (ed.): Special Issue on Nonmonotonic Logic. Artificial Intelligence 13, pp. 1–172, 1980.

    Google Scholar 

  2. Allen L. Brown, Jr.: Logics of Justified Belief. Proceedings ECAI-88, pp. 507–512, 1988.

    Google Scholar 

  3. Allen L. Brown, jr., and Yoav Shoham: New Results on Semantical Nonmonotonic Reasoning. Proceedings of the 2 nd Intl. Workshop on Non-Monotonic Reasoning. Springer LNCS 346, pp.19–26, 1988.

    Google Scholar 

  4. Johan de Kleer: An Assumption-Based TMS. Artificial Intelligence 28, pp. 127–162, 1986.

    Google Scholar 

  5. Johan de Kleer: Extending the ATMS. Artificial Intelligence 28, pp. 163–196, 1986.

    Google Scholar 

  6. Johan de Kleer: A General Labeling Algorithm for the ATMS. Proceedings AAAI-88, pp. 188–192, 1988.

    Google Scholar 

  7. Johan de Kleer and Brian C. Williams: Diagnosing Multiple Faults. Artificial Intelligence 32, pp. 97–130, 1987.

    Google Scholar 

  8. Jon Doyle: A Truth Maintenance System. Artificial Intelligence 12, pp. 231–272, 1979.

    Google Scholar 

  9. Jon Doyle: Some Theories of Reasoned Assumptions. Tech report CMU-CS-83-125, 1983.

    Google Scholar 

  10. Oskar Dressler: An Extended Basic ATMS. Proceedings of the 2 nd Intl. Workshop on Non-Monotonic Reasoning. Springer LNCS 346, pp.143–163, 1988.

    Google Scholar 

  11. Problem Solver Control over the ATMS. Siemens Report INF 2 ARM-13-89, 1989.

    Google Scholar 

  12. Charles Elkan: A Rational Reconstruction of Nonmonotonic TMSs. Submitted for publication.

    Google Scholar 

  13. David Etherington: Reasoning with Incomplete Information. Pitman 1988.

    Google Scholar 

  14. Hartmut Freitag and Michael Reinfrank: A Nonmonotonic Deduction System Based on (A)TMS. Proceedings ECAI-88, pp. 601–606, 1988.

    Google Scholar 

  15. Kenneth D. Forbus and Johan de Kleer: Focusing the ATMS. Proceedings AAAI-88, pp. 193–198, 1988.

    Google Scholar 

  16. Yasushi Fujiwara and Shinichi Honiden: Relating the TMS to Autoepistemic Logic. Proceedings IJCAI-89, this volume, 1989.

    Google Scholar 

  17. Peter Gaerdenfors: Knowledge in Flux. MIT Press, 1988.

    Google Scholar 

  18. Peter Gaerdenfors and David Makinson: Revisions of Knowledge Systems Using Epistemic Entrenchment. Proceedings 2 nd Conf. on Theoretical Aspects of Reasoning about Knowledge. Morgan Kaufmann, 1988.

    Google Scholar 

  19. Matthew L. Ginsberg: Multivalued Logics. Tech report, Stanford University, 1988 (abridged version to appear in Computational Intelligence).

    Google Scholar 

  20. James W. Goodwin: A Theory and System for Non-Monotonic Reasoning. PhD Dissertation, University of Linköping.

    Google Scholar 

  21. Kurt Konolige: On the Relation between Default and Autoepistemic Logic. Artificial Intelligence 35, pp. 343–382, 1988.

    Google Scholar 

  22. Kurt Konolige: Defeasible Argumentation in Reasoning about Events. Proceedings ISMIS-88, pp. 380–390, 1988.

    Google Scholar 

  23. Liwu Li and Jia-Huai You: An Epistemic Analysis for the TMS. In submission.

    Google Scholar 

  24. Fangzen Lin and Yoav Shoham: Argument Systems, a Uniform Basis for Nonmonotonic Reasoning. Proceedings of the 1st Intl. Conf. on Principles of Knowledge Representation and Reasoning. To appear.

    Google Scholar 

  25. Joao P. Martins and Stuart C. Shapiro: A Model for Belief Revision. Artificial Intelligence 35, pp. 25–80, 1988.

    Google Scholar 

  26. David McAllester: An Outlook on Truth Maintenance. MIT AI-Lab Memo 551.

    Google Scholar 

  27. John McCarthy: Applications of Circumscription to Formalizing Commonsense Knowledge. Artificial Intelligence 28, pp. 89–116, 1986.

    Google Scholar 

  28. Drew McDermott and Jon Doyle: Non-Monotonic Logic I. Artificial Intelligence 13, pp. 41–72, 1980.

    Google Scholar 

  29. Drew V. McDermott: A General Framework for Reason Maintenance. Tech Report YALEU/CSD/RR 691, Yale Unisevrsity, 1989.

    Google Scholar 

  30. Jack Minker (ed.): Foundations of Deductive Databases and Logic Programming. (Part I: Negation and Stratification). Morgan Kaufmann, 1988.

    Google Scholar 

  31. Robert C. Moore: Possible-World Semantics for Autoepistemic Logic. Tech Report 337, SRI, 1984.

    Google Scholar 

  32. Robert Moore: Semantical Considerations on Non-Monotonic Logic. Artificial Intelligence 25, pp. 75–94, 1985.

    Google Scholar 

  33. Paul H. Morris: Autoepistemic Stable Closures and Contradiction Resolution. Proceedings of the 2 nd Intl. Workshop on Non-Monotonic Reasoning. Springer LNCS 346, pp. 60–73, 1988.

    Google Scholar 

  34. Charles J. Petrie, jr.:Revised Dependency-Directed Backtracking for Default Reasoning. Proceedings AAAI-87, pp. 167–172, 1987.

    Google Scholar 

  35. Teoder C. Przymusinksi: Three-Valued Formalizations of Nonmonotonic Resaoning and Logic Programming. Proceedings of the 1st Intl. Conf. on Principles of Knowledge Representation and Reasoning. To appear.

    Google Scholar 

  36. Michael Reinfrank: Defaults as Preferences between Partial Wolrds, Preliminary Report. Proceedings European Workshop on Logical Methods in AI, Univ. Paris VI, 1988.

    Google Scholar 

  37. Michael Reinfrank and Oskar Dressler: On the Relation between Truth Maintenance and Nonmonotonic Logics. Siemens Report INF 2 ARM-11-88, 1988.

    Google Scholar 

  38. Michael Reinfrank, Oskar Dressler, and Gerd Brewka: On the Relation between Truth Maintenance and Autoepistemic Logic. Proceedings IJCAI-89, to appear.

    Google Scholar 

  39. Raymund Reiter: A Logic for Default Reasoning. Artificial Intelligence 13, pp. 81–132, 1980.

    Google Scholar 

  40. Raymond Reiter: A Theory of Diagnosis from First Principles. Artificial Intelligence 32, 1987.

    Google Scholar 

  41. Raymund Reiter and Johan de Kleer: Foundations of Assumption-Based Truth Maintenance. Proceedings AAAI-87, pp. 183–188, 1988.

    Google Scholar 

  42. Hans Rott: Two Methods of Constructing Contractions and Revisions of Knowledge Systems. In submission.

    Google Scholar 

  43. Erik Sandewall: Semantic States and Non-Truth-Functional Logic. Tech report, Linkoeping University, 1987.

    Google Scholar 

  44. Richaerd Stallman and Gerald Sussman: Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis. Artificial Intelligence 9, pp. 135–196, 1977.

    Google Scholar 

  45. Peter Struss: Diagnosis as a Nonmonotonic Process. Proceedings Workshop on Model-Based Diagnosis, Paris 1989. To appear.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. ZFE F 2 INF 22 Siemens AG, 8000, Munich 83, Germany

    Michael Reinfrank

Authors
  1. Michael Reinfrank
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. P. Martins E. M. Morgado

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Reinfrank, M. (1989). Logical foundations of nonmonotonic truth maintenance. In: Martins, J.P., Morgado, E.M. (eds) EPIA 89. EPIA 1989. Lecture Notes in Computer Science, vol 390. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51665-4_99

Download citation

  • DOI: https://doi.org/10.1007/3-540-51665-4_99

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51665-1

  • Online ISBN: 978-3-540-46743-4

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation