Decision procedures and expressiveness in the temporal logic of branching time
Journal of Computer and System Sciences
Planning as search: a quantitative approach
Artificial Intelligence
Formalizing planning knowledge for hierarchical planning
Computational Intelligence
Can AI planners solve practical problems?
Computational Intelligence
Artificial Intelligence - Special issue on knowledge representation
O-Plan: the open planning architecture
Artificial Intelligence
Divide and conquer in multi-agent planning
AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)
Reasoning about knowledge
Collaborative plans for complex group action
Artificial Intelligence
Notes on the methodology of CCS and CSP
ACP '95 Proceedings from the international workshop on Algebra of communicating processes
Intelligent planning: a decomposition and abstraction based approach
Intelligent planning: a decomposition and abstraction based approach
Controlling communication in distributed planning using irrelevance reasoning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Analyzing external conditions to improve the efficiency of HTN planning
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
Top-down search for coordinating the hierarchical plans of multiple agents
Proceedings of the third annual conference on Autonomous Agents
Maintaining knowledge about temporal intervals
Communications of the ACM
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Discovering and exploiting synergy between hierarchical planning agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Adaptive execution in complex dynamic worlds
Adaptive execution in complex dynamic worlds
Environment centered analysis and design of coordination mechanisms
Environment centered analysis and design of coordination mechanisms
Abstract reasoning for multiagent coordination and planning
Abstract reasoning for multiagent coordination and planning
Coordinating plan execution in dynamic multiagent environments
Coordinating plan execution in dynamic multiagent environments
Semantical consideration on floyo-hoare logic
SFCS '76 Proceedings of the 17th Annual Symposium on Foundations of Computer Science
Journal of Artificial Intelligence Research
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Planning with sharable resource constraints
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Planning for Coordination and Coordination for Planning
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
First principles planning in BDI systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Refining the execution of abstract actions with learned action models
Journal of Artificial Intelligence Research
Action-related place-based mobile manipulation
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Introduction to planning in multiagent systems
Multiagent and Grid Systems - Planning in multiagent systems
Coordination by design and the price of autonomy
Autonomous Agents and Multi-Agent Systems
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Agent programming with priorities and deadlines
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Towards reasoning with partial goal satisfaction in intelligent agents
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Learning and reasoning with action-related places for robust mobile manipulation
Journal of Artificial Intelligence Research
On the complexity of planning for agent teams and its implications for single agent planning
Artificial Intelligence
Distributed reasoning for multiagent simple temporal problems
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
The judicious use of abstraction can help planning agents to identify key interactions between actions, and resolve them, without getting bogged down in details. However, ignoring the wrong details can lead agents into building plans that do not work, or into costly backtracking and replanning once overlooked interdependencies come to light. We claim that associating systematically-generated summary information with plans' abstract operators can ensure plan correctness, even for asynchronously-executed plans that must be coordinated across multiple agents, while still achieving valuable efficiency gains. In this paper, we formally characterize hierarchical plans whose actions have temporal extent, and describe a principled method for deriving summarized state and metric resource information for such actions. We provide sound and complete algorithms, along with heuristics, to exploit summary information during hierarchical refinement planning and plan coordination. Our analyses and experiments show that, under clearcut and reasonable conditions, using summary information can speed planning as much as doubly exponentially even for plans involving interacting subproblems.