An Extended Interpreted System Model for Epistemic Logics

The interpreted system model offers a computationally grounded model, in terms of the states of computer processes, to S5 epistemic logics. This paper extends the interpreted system model, and provides a computationally grounded one, called the interpreted perception system model, to those epistemic logics other than S5. It is usually assumed, in the interpreted system model, that those parts of the environment that are visible to an agent are correctly perceived by the agent as a whole. The essential idea of the interpreted perception system model is that an agent may have incorrect perception or observations to the visible parts of the environment and the agent may not be aware of this. The notion of knowledge can be defined so that an agent knows a statement iff the statement holds in those states that the agent can not distinguish (from the current state) by using only her correct observations. We establish a logic of knowledge and certainty, called KC logic, with a sound and comp...

• Type: Conference
• Year: 2008
• Where: AAAI
• Authors: Kaile Su, Abdul Sattar
• Keywords: AAAI 2008, Correct Observations, Epistemic Logics, Intelligent Agents, Interpreted Perception