Skip to main content
SpringerLink
Log in

Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning

  • Conference paper
  • First Online:
Logic Programming and Nonmonotonic Reasoning (LPNMR 1999)

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

Abstract

Przymusinski’s Autoepistemic Logic of Knowledge and Belief (AELKB) is a unifying framework for various non-monotonic formalisms. In this paper we present a semantic characterization of AELKB in terms of Dynamic Kripke Structures (DKS). A DKS is composed of two components - a static one (a Kripke structure) and a dynamic one (a set of transformations). Transformations between possible worlds correspond to hypotheses generation and to revisions. Therefore they enable to define a semantics of insertions to and revisions of AELKB-theories. A computation of the transformations (between possible worlds) is based on (an enhanced) model-checking. The transformations may be used as a method of computing static autoepistemic expansions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alferes, J., Pereira, L., Przymusinski, T., Belief Revision in Non-Monotonic Reasoning and Logic Programming. Fundamenta Informaticae 1(1996)

    Google Scholar 

  2. Brass, S., Dix, J., Przymusinski, T., Super Logic Programs. Technical Report, Universität Hannover, Institut für Informatik, 1997

    Google Scholar 

  3. Buccafurri, F., Eiter, T., Gottlob, G., Leone, N., Enhancing Symbolic Model Checking by AI Techniques. IFIG Research Report9701, September 1997.

    Google Scholar 

  4. Chang, C., Keisler, H., Model Theory. North-Holland Publ. Comp., 1973

    MATH  Google Scholar 

  5. Clarke, E.M., Emerson, E.A., Sistla, A.P., Automatic Verification of Finite-State Concurrent Systems Using Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems, vol.8, No.2, April 1986, 244–263

    Article  MATH  Google Scholar 

  6. Kifer, M., Lozinskii, E., RI: A Logic for Reasoning with Inconsistency. Proc. of LICS 1989, IEEE Computer Society Press.

    Google Scholar 

  7. Lukasiewicz, W., Non-Monotonic Reasoning. Formalization of Commonsense Reasoning. Ellis Horwood Ltd. 1990

    Google Scholar 

  8. Moore, R., Possible-World Semantics for Autoepistemic Logic. Proc. AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY, 344–354

    Google Scholar 

  9. Przymusinski, T., Autoepistemic logic of knowledge and beliefs. Artificial Intelligence 95 (1997), 115–154

    Article  MATH  MathSciNet  Google Scholar 

  10. Šefránek, J., Dynamic Kripke structures. CAEPIA’97. Actas de la VII Conferencia de la Associación Española para la Inteligencia Artificial, Malaga 1997, 271–283

    Google Scholar 

  11. J. Van Benthem, Semantic Parallels in Natural Language and Computation, in: Logic Colloquium’ 87, eds. Ebbinghaus H.-D. et al., 1989, pp. 331–375, North Holland, Amsterdam

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Comenius University Mlynská dolina, Institute of Informatics, Bratislava, Slovakia

    Ján Šefránek

Authors
  1. Ján Šefránek
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Texas at El Paso, El Paso, TX, 79916, USA

    Michael Gelfond

  2. Institut für Informationssysteme 184/2, Technische Universität Wien, Favoritenstrβe 9-11, A-1040, Vienna, Austria

    Nicola Leone  & Gerald Pfeifer  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Šefránek, J. (1999). Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning. In: Gelfond, M., Leone, N., Pfeifer, G. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 1999. Lecture Notes in Computer Science(), vol 1730. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46767-X_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-46767-X_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66749-0

  • Online ISBN: 978-3-540-46767-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation