Intention is choice with commitment
Artificial Intelligence
Artificial Intelligence
The PLACA agent programming language
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Indexical knowledge and robot action—a logical account
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
A situated view of representation and control
Artificial Intelligence - Special volume on computational research on interaction and agency, part 2
A multivalued logic approach to integrating planning and control
Artificial Intelligence - Special volume on planning and scheduling
Towards a Unified Agent Architecture that Combines Rationality with Reactivity
LID '96 Proceedings of the International Workshop on Logic in Databases
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
Formalisations of Capabilities for BDI-Agents
Autonomous Agents and Multi-Agent Systems
| Hi-index | 0.00 |
In this paper, we develop a formal methodology for verifying situated agents. The methodology consists of two elements, a specification language for specifying the agent capabilities to execute its actions in dynamic environments and a repertoire of proof methods by which the correctness of an agent, relative to its capabilities, can be formally verified.