Skip to main content
SpringerLink
Log in

Decision procedure for autoepistemic logic

  • Conference paper
  • First Online:
9th International Conference on Automated Deduction (CADE 1988)

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

Included in the following conference series:

Abstract

Autoepistemic logic is a nonmonotonic logic for modeling the beliefs of an ideally rational agent who reflects on his own beliefs. Autoepistemic logic has been lacking a decision procedure to answer the question: given a set of premises describing the beliefs of an agent does the agent believe a given formula (is the given formula derivable from the given set of premises). Two derivability relations are defined for propositional autoepistemic logic corresponding to the agent's own point of view and the point of view of an external observer of the beliefs of the agent. Decision procedures based on analytic tableaux are then given and proved correct for both of the relations.

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. McDermott, D., and Doyle, J. Non-monotonic logic I. Artificial Intelligence 13 (1980), 41–72.

    Article  Google Scholar 

  2. McDermott, D. Non-monotonic logic II. Journal of the Association for Computing Machinery 29 (1982) 1, 33–57

    Google Scholar 

  3. Moore, R.C. Semantical considerations on nonmonotonic logic. Artificial Intelligence 25 (1985), 75–94.

    Article  Google Scholar 

  4. Niemelä I., and Tuominen, H. A system for logical expertise. In STEP-86 Symposium Papers: Methodology, Volume 2, M. Karjalainen, J. Seppänen, and M. Tamminen, Eds. (Espoo, Finland, Aug 19–22). Finnish Society of Information Processing Science, Helsinki, 1986, pp. 44–53.

    Google Scholar 

  5. Smullyan, R.M. First-Order Logic. Springer-Verlag, Berlin, 1968.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Digital Systems Laboratory Department of Computer Science, Helsinki University of Technology, Otakaari 5 A, 02150, Espoo, Finland

    Ilkka Niemelä

Authors
  1. Ilkka Niemelä
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ewing Lusk Ross Overbeek

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Niemelä, I. (1988). Decision procedure for autoepistemic logic. In: Lusk, E., Overbeek, R. (eds) 9th International Conference on Automated Deduction. CADE 1988. Lecture Notes in Computer Science, vol 310. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0012865

Download citation

  • DOI: https://doi.org/10.1007/BFb0012865

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19343-2

  • Online ISBN: 978-3-540-39216-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation