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
Proceedings Article
Cost-Optimal Algorithms for Planning with Procedural Control Knowledge.
TL;DR: In this paper, the Hierarchically-Optimal Goal Decomposition Planner (HOpGDP) is proposed to guide search in hierarchical goal-based planning problems.
A Plan Based Coalition Formation Model for Multi-agent Systems.
Souhila Arib,Samir Aknine +1 more
TL;DR: In this paper, the authors propose a new coalition formation model which is based on two principles: 1) it uses the plans of the agents to guide the search for the coalitions to be formed, and 2) it analyzes the coalition proposals already suggested by other agents in order to derive their intentions and thus facilitate the negotiations for forming coalitions.
Proceedings ArticleDOI
Who's in charge?; intermediate levels of control for robots we can live with
TL;DR: It is argued that models of human-human task delegation provide a useful guide to the creation of highly flexible interactions at these intermediate levels of automation.
DissertationDOI
PRESTK : situation-aware presentation of messages and infotainment content for drivers
TL;DR: This work claims that not only the driver needs to know what is happening in his environment, but also the system, e.g., the car, and defines the concept of System Situation Awareness (SSA) as an extension of Endsley’s Situation Awareness model.
Dissertation
Creating a computing environment in a driving simulator to orchestrate scenarios with autonomous vehicles
TL;DR: The OSO evaluation showed that OSO has several advantages such as being readable, flexible etc., but how it can be presented to varieties of audiences needs further examination.
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".