Knowledge and communication: a first-order theory
Artificial Intelligence
Knowledge and communication: A first-order theory
Artificial Intelligence
Artificial Intelligence
Artificial Intelligence
How does a box work? A study in the qualitative dynamics of solid objects
Artificial Intelligence
A delegation-based architecture for collaborative robotics
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
A distributed task specification language for mixed-initiative delegation
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Hi-index | 0.00 |
This paper presents a theory expressed in first-order logic for describing and supporting inference about action, knowledge, planning, and communication, in an egalitarian multi-agent setting. The underlying ontology of the theory uses a situationbased temporal model and a possible-worlds model of knowledge. It supports plans and communications of a very general kind, both informative communications and requests. Communications may refer to states of the world or states of knowledge in the past, present, or future. We demonstrate that the theory is powerful enough to represent several interesting multi-agent planning problems and to justify their solutions. We have proven that the theory of knowledge, communication, and planning is consistent with a broad range of physical theories, despite the existence of a number of potential paradoxes.