Reasoning about Visibility, Perception and Knowledge

Although many formalisms have been proposed for reasoning about intelligent agents, few of these have been semantically grounded in a concrete computational model. This paper presents ¢¤£¦¥ logic, a formalism for reasoning about multi-agent systems, in which the semantics are grounded in an general, finite state machine-like model of agency. ¢§£¦¥ logic allows us to represent: what is objectively true of the environment; what is visible, or knowable about the environment; what the agent perceives of the environment; and finally, what the agent actually knows about the environment. ¢¤£¨¥ logic is an extension of modal epistemic logic. The possible relationships between what is true, visible, perceived, and known are discussed and characterised in terms of the architectural properties of agents that they represent. Some conclusions and issues are then discussed.

• Type: Conference
• Year: 1999
• Where: ATAL
• Authors: Michael Wooldridge, Alessio Lomuscio
• Keywords: ATAL 1999, Concrete Computational Model, Intelligent Agents, Modal Epistemic Logic, State Machine-like Model