SHOP2: an HTN planning system
Reads0
Chats0
TLDR
The SHOP2 planning system as discussed by the authors received one of the awards for distinguished performance in the 2002 International Planning Competition and described the features that enabled it to excel in the competition, especially those aspects of SHOP 2 that deal with temporal and metric planning domains.Abstract:
The SHOP2 planning system received one of the awards for distinguished performance in the 2002 International Planning Competition. This paper describes the features of SHOP2 which enabled it to excel in the competition, especially those aspects of SHOP2 that deal with temporal and metric planning domains.read more
Citations
More filters
Journal ArticleDOI
Automatic behavior composition synthesis
TL;DR: A variant of the formal notion of simulation is exploited to formally capture the notion of ''mimicking'', and it is shown that the technique proposed is sound and complete, optimal with respect to computational complexity, and robust for different kind of system failures.
Journal ArticleDOI
A Workflow Framework for Intelligent Service Composition
Xudong Song,Wanchun Dou,Wei Song +2 more
TL;DR: A workflow framework is presented in this paper for intelligently navigating service composition and aims at selecting an appropriate service, taking advantaging of services’ non-functional attributes, from a group of qualified services that own the same functionality.
Proceedings Article
Translating HTNs to PDDL: a small amount of domain knowledge can go a long way
TL;DR: It is shown how to translate HTN domain descriptions into PDDL so that they can be used by classical planners, and that even small and incomplete amounts of HTN knowledge can greatly improve a classical planner's performance.
Journal ArticleDOI
Intelligent Process Adaptation in the SmartPM System
TL;DR: SmartPM is presented, a model and a prototype Process Management System featuring a set of techniques providing support for automated adaptation of knowledge-intensive processes at runtime, aiming at reducing error-prone and costly manual ad-hoc changes, and thus at relieving users from complex adaptations tasks.
Journal ArticleDOI
SIADEX: An interactive knowledge-based planner for decision support in forest fire fighting
Marc de la Asunción,Luis Castillo,Juan Fdez-Olivares,Óscar García-Pérez,Antonio González,Francisco Palao +5 more
TL;DR: This perspective also allow to view SIADEX as a collaborative working environment where it provides two basic functionalities: the intelligent services offered to the user and a middleware level that interfaces these back-end services to the front-end software of the user (a web browser).
References
More filters
Proceedings Article
HTN planning: complexity and expressivity
TL;DR: How the complexity of HTN planning varies with various conditions on the task networks is described.
Proceedings Article
Generating project networks
TL;DR: The planner (NONLIN) and the Task Formalism (TF) used to hierarchically specify a domain are described, which can aid in the generation of project networks.
Journal ArticleDOI
Using temporal logics to express search control knowledge for planning
Fahiem Bacchus,Froduald Kabanza +1 more
TL;DR: This work shows how domain dependent search control knowledge can be represented in a temporal logic, and then utilized to effectively control a forward-chaining planner.
Book
Practical Planning: Extending the Classical AI Planning Paradigm
TL;DR: In this paper, the authors present a hierarchical planning as a hierarchy of different abstraction levels for SIPE and compare it with other systems with different resources: Reusable, Consumable, Temporal, Search, and Reactivity.
Proceedings Article
The nonlinear nature of plans
TL;DR: A new information structure is described, called the procedural net, that represents a plan as a partial ordering of actions with respec to time, so that a problem-solving system using this representation can deal easily and directly with problems that are otherwise very difficult to solve.