Deductive Planning and Plan Reuse in a Command Language Environment
نویسندگان
چکیده
In this paper we introduce a deductive planning system currently being develop ed as the kernel of an intelligent help system. It consists of a deductive planner and a plan reuse component and with that provides planning from first as well as planning from second principles . Both components rely upon an interval-based temporal logic. The deductive formalisms realizing plan formation from formal specifications and the reuse of already existing plans respectively are presented and demonstrated by examples taken from an operating system's domain .
منابع مشابه
Flexible Plan Reuse in a
The reuse of plans is widely considered as a valuable tool for the improvement of eeciency in planning systems because it avoids the repetition of planning eeort. Several approaches which investigate the modiication and reuse of sequential plans in the framework of strips-based planning have been developed. In this paper we present a domain-independent approach to exible plan reuse based on a d...
متن کاملFlexible Plan Reuse in a Formal Framework
The reuse of plans is widely considered as a valuable tool for the improvement of eeciency in planning systems because it avoids the repetition of planning eeort. Several approaches which investigate the modiication and reuse of sequential plans in the framework of strips-based planning have been developed. In this paper we present a domain-independent approach to exible plan reuse based on a d...
متن کاملPlanning from Second Principles
Planning from second principles by reusing and modifying plans is one way of improving the eeciency of planning systems. In this paper, we study it in the general framework of deductive planning and develop a logical formalization of planning from second principles, which relies on a systematic decomposition of the planning process. Deductive inference processes with clearly deened semantics fo...
متن کاملA Deliberation Layer for Instantiating Robot Execution Plans from Abstract Task Descriptions
We present an application of Hierarchical Task Network (HTN) planning to create robot execution plans, that are adapted to the environment and the robot hardware from abstract task descriptions. Our main intention is to show that different robotic platforms can make use of the same high level symbolic task description. As an off-the-shelf planning component, the SHOP2 HTN planner is adopted. Al...
متن کاملJTF ATD Core Plan Representation
The Core Plan Representation (CPR) [Pease and Carrico, 1996] is an effort to develop a plan representation which supports the representation needs of many different planning systems. It is being developed for the DARPA Joint Task Force Advanced Technology Demonstration (JTF ATD) [Hayes-Roth, 1995], [Hayes-Roth Erman, 1994], [Carrico, 1996]. The goal of this effort is to leverage common function...
متن کامل