Journal ArticleDOI
Planning in Time: Windows and Durations for Activities and Goals
Reads0
Chats0
TLDR
A general purpose automated planner/scheduler is described which generates parallel plans to achieve goals with imposed time con-straints and whose durations and start time windows may be specified for sets of goal conditions.Abstract:
A general purpose automated planner/scheduler is described which generates parallel plans to achieve goals with imposed time con-straints Both durations and start time windows may be specified for sets of goal conditions The parallel plans consist of not just actions but also of events (triggered by circumstances), inferences, and scheduled events (completely beyond the actor's control) Deterministic dura-tions of all such activities are explicitly modeled, and may be any com-putable function of the activity variables A start time window for each activity in the plan is updated dynamically during plan generation, in order to maintain consistency with the windows and durations of adja-cent activities and goals The plans are tailored around scheduled events The final plan network resembles a PERT chart From this a schedule of nominal start times for each activity is generated Ex-amples are drawn from the traditional blocksworld and also from a real-istic ``Spaceworld,'' in which an autonomous spacecraft photographs objects in deep space and transmits the information to Earth The author is with the Information Systems Research Section, Jet Propulsion Laboratory, Pasadena, CA 91109read more
Citations
More filters
Towards a General Theory of Action and Time.
TL;DR: A formalism for reasoning about actions that is based on a temporal logic allows a much wider range of actions to be described than with previous approaches such as the situation calculus and a framework for planning in a dynamic world with external events and multiple agents is suggested.
Journal ArticleDOI
Towards a general theory of action and time
TL;DR: In this article, a formalism for reasoning about actions is proposed that is based on a temporal logic, which allows a much wider range of actions to be described than with previous approaches such as the situation calculus.
Journal ArticleDOI
PDDL2.1: an extension to PDDL for expressing temporal planning domains
Maria Fox,Derek Long +1 more
TL;DR: PDDL2.1 as discussed by the authors is a modelling language capable of expressing temporal and numeric properties of planning domains and has been used in the International Planning Competitions (IPC) since 1998.
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
Reactive reasoning and planning
TL;DR: The reasoning system that controls the robot is designed to exhibit the kind of behavior expected of a rational agent, and is endowed with the psychological attitudes of belief, desire, and intention, resulting in complex goal-directed and reflective behaviors.
References
More filters
Journal ArticleDOI
Strips: A new approach to the application of theorem proving to problem solving
Richard Fikes,Nils J. Nilsson +1 more
TL;DR: In this paper, the authors describe a problem solver called STRIPS that attempts to find a sequence of operators in a space of world models to transform a given initial world 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.
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.
A Temporal Logic for Reasoning about Processes and Plans.
TL;DR: A common disclaimer by an AI author is that he has neglected temporal considerations to avoid complication; the implication is nearly made that adding a temporal dimension to the research would be a familiar but tedious exercise that would obscure the new material presented by the author.