Reasoning about knowledge
Reasoning about Visibility, Perception and Knowledge
ATAL '99 6th International Workshop on Intelligent Agents VI, Agent Theories, Architectures, and Languages (ATAL),
Planning and acting in partially observable stochastic domains
Artificial Intelligence
A proactive perception model in agent-based software integration and evolution
ISICA'10 Proceedings of the 5th international conference on Advances in computation and intelligence
Efficient Multiagent Coordination in Dynamic Environments
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
| Hi-index | 0.00 |
We present a formalism for reasoning about the information properties of multi-agent systems. Multi-agent VSK logic allows us to represent what is objectively true of some environment, what is visible, or accessible of the environment to individual agents, what these agents actually perceive, and finally, what the agents actually know about the environment. The semantics of the logic are given in terms of a general model of multi-agent systems, closely related to the interpreted systems of epistemic logic. After introducing the logic and establishing its relationship to the formal model of multi-agent systems, we systematically investigate a number of possible interaction axioms, and characterise these axioms in terms of the properties of agents that they correspond to. Finally, we illustrate the use of the logic through a case study, and discuss issues for future work.