Artificial Intelligence
Attention, intentions, and the structure of discourse
Computational Linguistics
Intention is choice with commitment
Artificial Intelligence
Collaborative plans for complex group action
Artificial Intelligence
Explanatory update theory: applications of counterfactual reasoning to causation
Artificial Intelligence
First-order modal logic
A writer's collaborative assistant
Proceedings of the 7th international conference on Intelligent user interfaces
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Multiagent Systems: A Theoretical Framework for Intentions, Know-how, and Communications
Belief Revision
Introspective and elaborative processes in rational agents
Annals of Mathematics and Artificial Intelligence
Interpreting Information Requests in Context A Collaborative Web Interface for Distance Learning
Autonomous Agents and Multi-Agent Systems
MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
A collaborative planning model of intentional structure
Computational Linguistics
Common Lisp: The Language
Dynamic intention structures I: a theory of intention representation
Autonomous Agents and Multi-Agent Systems
The dynamics of intention in collaborative activity
Cognitive Systems Research
Dynamic intention structures I: a theory of intention representation
Autonomous Agents and Multi-Agent Systems
Decision as choice of potential intentions
Web Intelligence and Agent Systems
Hi-index | 0.00 |
This article introduces a new theory of intention representation which is based on a structure called a Dynamic Intention Structure (DIS). The theory of DISs was motivated by the problem of how to properly represent incompletely specified intentions and their evolution. Since the plans and intentions of collaborating agents are most often elaborated incrementally and jointly, elaboration processes naturally involve agreements among agents on the identity of appropriate agents, objects and properties that figure into their joint plans. The paper builds on ideas from dynamic logic to present a solution to the representation and evolution of agent intentions involving reference to incompletely specified and, possibly, mutually dependent intentions, as well as the objects referenced within those intentions. It provides a first order semantics for the resulting logic. A companion paper extends further the logical form of DISs and explores the problem of logical consequence and intention revision.