Open AccessProceedings Article
UMCP: a sound and complete procedure for hierarchical task-network planning
Kutluhan Erol,James A. Hendler,Dana S. Nau +2 more
- pp 249-254
Reads0
Chats0
TLDR
This paper presents a formal syntax and semantics for HTn planning and is able to define an algorithm for HTN planning and prove it sound and complete.Abstract:
One big obstacle to understanding the nature of hierarchical task network (HTN) planning has been the lack of a clear theoretical framework In particular, no one has yet presented a clear and concise HTN algorithm that is sound and complete In this paper, we present a formal syntax and semantics for HTN planning Based on this syntax and semantics, we are able to define an algorithm for HTN planning and prove it sound and completeread more
Citations
More filters
Posted Content
Resource Planning For Rescue Operations.
Mona Khaffaf,Arshia Khaffaf +1 more
TL;DR: This research uses logic rules to represent rescue and related regular regulations, together with a logic based planner to solve this complicated problem and shows that rule based languages can be a good infrastructure for this computational task.
Planning and Acting with Hierarchical Input/Output Automata
TL;DR: The representation is formally defined and it is proved that the two operations of parallel and hierarchical composition are distributive, which is essential for the correctness and completeness of the proposed planning algorithm.
Journal Article
Task Modifiers for HTN Planning and Acting
Weihang Yuan,Héctor Muñoz-Avila,Venkatsampath Raja Gogineni,Sravya Kondrakunta,Michael T. Cox,Lifang He +5 more
TL;DR: This work proposes an extension of the paradigm called task modifiers, which are functions that receive a task list and a state and produce a new task list that focuses on a particular type of problems in which planning and execution are interleaved and the ability to handle exogenous events is crucial.
Controller Synthesis for Hierarchical Agent Interactions
TL;DR: A formalism and an algorithm for synthesizing controllers to coordinate interactions among hierarchically organized agents and a theorems about its properties are presented, as well as the correctness and completeness of the synthesis algorithm.
TEAM: a framework for full mission autonomy using collaborative, heterogenous autonomous vehicles
TL;DR: In this paper , the authors propose a team of heterogeneous autonomous underwater vehicles (AUVs) that collectively work towards a common goal using a 4D/RCS-based architecture.
References
More filters
Book
Principles of Artificial Intelligence
TL;DR: This classic introduction to artificial intelligence describes fundamental AI ideas that underlie applications such as natural language processing, automatic programming, robotics, machine vision, automatic theorem proving, and intelligent data retrieval.
Book
STRIPS: a new approach to the application of theorem proving to problem solving
Richard Fikes,Nils J. Nilsson +1 more
TL;DR: In this article, the authors describe a problem solver called STRIPS that attempts to find a sequence of operators in a spcce of world models to transform a given initial world model into a model in which a given goal formula can be proven to be true.
Book
A Structure for Plans and Behavior
TL;DR: Progress to date in the ability of a computer system to understand and reason about actions is described, and the structure of a plan of actions is as important for problem solving and execution monitoring as the nature of the actions themselves.
Journal ArticleDOI
Planning for Conjunctive Goals
TL;DR: Theorems that suggest that efficient general purpose planning with more expressive action representations is impossible are presented, and ways to avoid this problem are suggested.
Proceedings Article
UCPOP: a sound, complete, partial order planner for ADL
TL;DR: It is proved ucpop is both sound and complete for this representation and a practical implementation that succeeds on all of Pednault's and McDermott's examples, including the infamous "Yale Stacking Problem".