Intention is choice with commitment
Artificial Intelligence
Declarative goals in reactive plans
Proceedings of the first international conference on Artificial intelligence planning systems
The complexity of propositional closed world reasoning and circumscription
Journal of Computer and System Sciences
Reasoning about knowledge
Controlling cooperative problem solving in industrial multi-agent systems using joint intentions
Artificial Intelligence
Using collaborative plans to model the intentional structure of discourse
Using collaborative plans to model the intentional structure of discourse
Collaborative plans for complex group action
Artificial Intelligence
COLLAGEN: when agents collaborate with people
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Semantics and conversations for an agent communication language
Readings in agents
Goal-driven task analysis: improving situation awareness for complex problem-solving
Proceedings of the 16th annual international conference on Computer documentation
Artificial Intelligence - Special issue on Robocop: the first step
A knowledge-based approach for designing intelligent team training systems
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Standardizing agent communication
Mutli-agents systems and applications
D'Agents: applications and performance of a mobile-agent system
Software—Practice & Experience - Special issue: Mobile agent systems
Flying Together: Modelling Air Mission Teams
Applied Intelligence
Issues in Agent Communication
MAAMAW '92 Selected papers from the 4th European Workshop on on Modelling Autonomous Agents in a Multi-Agent World, Artificial Social Systems
Towards a Theory of Cooperative Problem Solving
MAAMAW '94 Proceedings of the 6th European Workshop on Modelling Autonomous Agents: Distributed Software Agents and Applications
Using Colored Petri Nets for Conversation Modeling
Issues in Agent Communication
What Is a Conversation Policy?
Issues in Agent Communication
A Social Semantics for Agent Communication Languages
Issues in Agent Communication
Semantics of Agent Communication Languages for Group Interaction
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Semantics for an Agent Communication Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Formal Semantics for ProxyCommunicative Acts
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
CoABS Grid Scalability Experiments
Autonomous Agents and Multi-Agent Systems
Designing Conversation Policies using Joint Intention Theory
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Reasoning About Others: Representing and Processing Infinite Belief Hierarchies
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Characterizing indirect speech acts
Computational Linguistics
Performatives in a rationally based speech act theory
ACL '90 Proceedings of the 28th annual meeting on Association for Computational Linguistics
Extending the recognition-primed decision model to support human-agent collaboration
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
The semantics of potential intentions
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Journal of Artificial Intelligence Research
The need for referent identification as a planned action
IJCAI'81 Proceedings of the 7th international joint conference on Artificial intelligence - Volume 1
A protocol-based semantics for an agent communication language
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Knowledge preconditions for actions and plans
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
CAST: collaborative agents for simulating teamwork
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 2
The use of knowledge preconditions in language processing
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Toward a semantics for an agent communications language based on speech0-acts
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1
Learning HMM-based cognitive load models for supporting human-agent teamwork
Cognitive Systems Research
Decision as Choice of Potential Intentions
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Hi-index | 0.00 |
Proactive information delivery is critical to achieving effective teamwork. However, existing theories do not adequately address proactive information delivery. This paper presents a formal framework for proactive information delivery in agent teamwork. First, the concept of information need is introduced. Second, a new modal operator, InfoNeed is used to represent information needs. The properties of the InfoNeed operator and its relationships to other mental modal operators are examined, four types of information needs are formally identified, and axioms for anticipating the information needs of other agents are proposed and justified. Third, the axiom characterizing chains of helpful behavior in large agent teams is given. Fourth, the semantics for two proactive communicative acts (ProInform and 3PTSubscribe) is given using a reformulation of the Cohen-Levesque semantics for communicative acts in terms of the SharedPlans formalism of Grosz and Kraus. The work in this paper not only provides a better understanding of the underlying assumptions required to justify proactive information delivery behavior, but also provides a coherent basis for the specification and design of agent teams with proactive information delivery capabilities.