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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alferes, J., Pereira, L., Przymusinski, T., Belief Revision in Non-Monotonic Reasoning and Logic Programming. Fundamenta Informaticae 1(1996)
Brass, S., Dix, J., Przymusinski, T., Super Logic Programs. Technical Report, Universität Hannover, Institut für Informatik, 1997
Buccafurri, F., Eiter, T., Gottlob, G., Leone, N., Enhancing Symbolic Model Checking by AI Techniques. IFIG Research Report9701, September 1997.
Chang, C., Keisler, H., Model Theory. North-Holland Publ. Comp., 1973
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
Kifer, M., Lozinskii, E., RI: A Logic for Reasoning with Inconsistency. Proc. of LICS 1989, IEEE Computer Society Press.
Lukasiewicz, W., Non-Monotonic Reasoning. Formalization of Commonsense Reasoning. Ellis Horwood Ltd. 1990
Moore, R., Possible-World Semantics for Autoepistemic Logic. Proc. AAAI Workshop on Non-Monotonic Reasoning, New Paltz, NY, 344–354
Przymusinski, T., Autoepistemic logic of knowledge and beliefs. Artificial Intelligence 95 (1997), 115–154
Š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
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
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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