Interleaving Processes in Case Based Planning
نویسندگان
چکیده
We discuss several problems of analogy driven proof plan construction which prevent a case based solution for more di cult tar get problems or make a solution very expensive Some of these problems are due to a xed order of the subprocesses matching reformulation and replay that was previously assumed and from the limited combination of planning from rst principles with the analogy process In order to over come these problems we suggest to interleave matching and replay as well as case based planning with planning from rst principles The mixture of case based planning and planning from rst principles is generalised to intelligently mixing di erent planning strategies
منابع مشابه
Flexibly Interleaving Processes
We discuss several problems of analogy-driven proof plan construction which prevent a solution for more di cult target problems or make a solution very expensive. Some of these problems are due to the previously assumed xed order of matching, reformulation, and replay in case-based reasoning and from a too restricted combination of planning from rst principles with the analogy process. In order...
متن کاملInterleaving Execution and Planning via Symbolic Model Checking
Interleaving planning and execution is the practical alternative to the problem of planning off-line with large state spaces. While planning via symbolic model checking has been extensively studied for off-line planning, no framework for interleaving it with execution has been ever devised. In this paper, we extend planning via symbolic model checking with the ability of interleaving planning a...
متن کاملProcess algebra with strategic interleaving
In process algebras such as ACP, parallel processes are considered to be interleaved in an arbitrary way. In the case of multi-threading as found in contemporary programming languages, parallel processes are actually interleaved according to some interleaving strategy. Interleaving strategies are also known as process-scheduling policies. In many systems, for instance hardware/software systems,...
متن کاملInterleaving Temporal Planning and Execution for an Autonomous Rover
Mission planning and execution for autonomous rovers with limited resource capacities while moving around in dynamic environments require to address temporal, resource and uncertainty issues. The use of a temporal planner and a temporal executive which processes are interleaved is desirable. In this paper we propose a framework to integrate deliberative planning, plan repair and execution contr...
متن کاملOn planning while Executing in stationary environments
The interleaving of planning with execution is a basic approach to planning with incomplete information. This paper investigates the use of this approach in stationary environments. We rst de ne a computational framework where this approach can be investigated. We then show how the interleaving of planning with execution can be used for reducing planning with incomplete information to planning ...
متن کامل