A computationally grounded logic of knowledge, belief and certainty

View/ Open
File version
Accepted Manuscript (AM)
Author(s)
Su, K
Sattar, A
Governatori, G
Chen, Q
Year published
2005
Metadata
Show full item recordAbstract
This paper presents a logic of knowledge, belief and certainty, which
allows us to explicitly express the knowledge, belief and certainty
of an agent. A computationally grounded model, called interpreted
KBC systems, is given for interpreting this logic. The relationships
between knowledge, belief and certainty are explored. In
particular, certainty entails belief; and to the agent what it is certain
of appears to be the knowledge. To formalize those agents that
are able to introspect their own belief and certainty, we identify a
subclass of interpreted KBC systems, called introspective KBC
systems. We provide sound and ...
View more >This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded model, called interpreted KBC systems, is given for interpreting this logic. The relationships between knowledge, belief and certainty are explored. In particular, certainty entails belief; and to the agent what it is certain of appears to be the knowledge. To formalize those agents that are able to introspect their own belief and certainty, we identify a subclass of interpreted KBC systems, called introspective KBC systems. We provide sound and complete axiomatizations for the logics. We show that the validity problem for the interpreted KBC systems is PSPACE-complete, and the same problem for introspective KBC systems is co-NP complete, thus no harder than that of the propositional logic.
View less >
View more >This paper presents a logic of knowledge, belief and certainty, which allows us to explicitly express the knowledge, belief and certainty of an agent. A computationally grounded model, called interpreted KBC systems, is given for interpreting this logic. The relationships between knowledge, belief and certainty are explored. In particular, certainty entails belief; and to the agent what it is certain of appears to be the knowledge. To formalize those agents that are able to introspect their own belief and certainty, we identify a subclass of interpreted KBC systems, called introspective KBC systems. We provide sound and complete axiomatizations for the logics. We show that the validity problem for the interpreted KBC systems is PSPACE-complete, and the same problem for introspective KBC systems is co-NP complete, thus no harder than that of the propositional logic.
View less >
Conference Title
Proceedings of the International Conference on Autonomous Agents
Copyright Statement
© ACM, 2005. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, ISBN:1-59593-093-0, DOI: 10.1145/1082473.1082496.