[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle

  • Conference paper
  • First Online:
Computer Science Logic (CSL 1990)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 533))

Included in the following conference series:

  • 137 Accesses

Abstract

In [6] Moore has introduced a logic to represent the beliefs of ideal rational agents, called autoepistemic logic. This logic was presented as an improvement of the non-monotonic logic of McDermott and Doyle in [4]. We give a new method to characterize the fixpoints in both logics and thus obtain decision procedures for several problems in this context. Although the two logics are conceptually very different our method is very uniform.

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.

Similar content being viewed by others

References

  1. K. Konolige. On the relation between default and autoepistemic logic. Artificial Intelligence, 35:343–382, 1988.

    Article  Google Scholar 

  2. W. Marek, G. F. Shvarts, and M. Truszczyński. Modal nonmonotonic logics: ranges, characterization, computation. Preprint, 1990.

    Google Scholar 

  3. W. Marek and M. Truszczyński. Autoepistemic logic. Technical Report 115-88, Department of Computer Science, University of Kentucky, 1988.

    Google Scholar 

  4. D. McDermott and J. Doyle. Non-monotonic logic I. Artificial Intelligence, 13:41–72, 1980.

    Article  Google Scholar 

  5. R. C. Moore. Possible-world semantics for autoepistemic logic. In Proceedings 1984 Non-monotonic Reasoning Workshop, pages 344–354, New Paltz, NY, 1984.

    Google Scholar 

  6. R. C. Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25:75–94, 1985.

    Article  Google Scholar 

  7. I. Niemelä. Decision procedure for autoepistemic logic. In E. Lusk and R. Overbeek, editors, 9th International Conference on Automated Deduction, pages 675–684. Springer, 1988. Lecture Notes in Computer Science 310.

    Google Scholar 

  8. G. F. Shvarts. Fixed points in the propositional nonmonotonic logic. Artificial Intelligence, 38:199–206, 1989.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik und angewandte Mathematik, Universität Bern, Längassstrasse 51, CH-3012, Bern

    Robert F. Stärk

Authors
  1. Robert F. Stärk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Hans Kleine Büning Michael M. Richter Wolfgang Schönfeld

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Stärk, R.F. (1991). On the existence of fixpoints in moore's autoepistemic logic and the non-monotonic logic of McDermott and Doyle. In: Börger, E., Kleine Büning, H., Richter, M.M., Schönfeld, W. (eds) Computer Science Logic. CSL 1990. Lecture Notes in Computer Science, vol 533. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54487-9_70

Download citation

  • DOI: https://doi.org/10.1007/3-540-54487-9_70

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54487-6

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation