Reasoning about Visibility, Perception and Knowledge

12 years 10 months ago
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.
Michael Wooldridge, Alessio Lomuscio
Added 03 Aug 2010
Updated 03 Aug 2010
Type Conference
Year 1999
Where ATAL
Authors Michael Wooldridge, Alessio Lomuscio
Comments (0)