Fully Deadline-Coupled Planning: One Step at a Time

In planning situations involving tight deadlines a commonsense reasoner may spend substantial amount of the available time in reasoning toward and about the (partial) plan. This reasoning involves, but is not limited to, partial plan formulation, making decisions about available and conceivable alternatives, plan sequencing, and also plan failure and revision. The key observation is that the time taken in reasoning about a plan brings the deadline closer. The reasoner should therefore take account of the passage of time during that same reasoning, and this accounting must continuously affect every decision under time-pressure. Step-logics were introduced as a mechanism for reasoning situated in time. We employ them here to create a step-logic planner that lets a time-situated reasoner keep track of an approaching deadline as she/he makes (and enacts) her/his plan, thereby treating all facets of planning (including plan-formation and its simultaneous or subsequent execution) as deadline-coupled.

[1]  Ernest Davis.  Inferring Ignorance from the Locality of Visual Perception , 1988, AAAI.

[2]  Drew McDermott,et al.  Planning and Acting , 1978, Cogn. Sci..

[3]  Eric Horvitz,et al.  Reasoning under Varying and Uncertain Resource Constraints , 1988, AAAI.

[4]  Thomas Dean,et al.  INTRACTABILITY AND TIME-DEPENDENT PLANNING , 1987 .

[5]  David E. Smith,et al.  Reasoning About Action I: A Possible Worlds Approach , 1987, Artif. Intell..

[6]  L. Morgenstern.  Knowledge and the frame problem , 1991 .

[7]  David P. Miller,et al.  Hierarchical planning involving deadlines, travel time, and resources , 1988, Comput. Intell..

[8]  Drew McDermott,et al.  Introduction to artificial intelligence , 1986, Addison-Wesley series in computer science.

[9]  Thomas Dean,et al.  Planning and temporal reasoning under uncertainty , 1984 .

[10]  Hector J. Levesque,et al.  Intention is Choice with Commitment , 1990, Artif. Intell..

[11]  Stuart J. Russell,et al.  Principles of Metareasoning , 1989, Artif. Intell..

[12]  Nils J. Nilsson,et al.  Artificial Intelligence Prepares for 2001 , 1983, AI Mag..

[13]  Andrew Haas,et al.  Possible events, actual events, and robots , 1985 .

[14]  Drew McDermott,et al.  Temporal Data Base Management , 1987, Artif. Intell..

[15]  Thomas L. Dean,et al.  A Model for Projection and Action , 1989, IJCAI.

[16]  James A. Hendler,et al.  AI Planning: Systems and Techniques , 1990, AI Mag..

[17]  Michael Georgeff,et al.  Reasoning about actions and plans , 1986 .

[18]  A. Lansky.  A REPRESENTATION OF PARALLEL ACTIVITY BASED ON EVENTS, STRUCTURE, AND CAUSALITY , 1987 .

[19]  Martha E. Pollack,et al.  Introducing the Tileworld: Experimentally Evaluating Agent Architectures , 1990, AAAI.

[20]  Henry A. Kautz.  The Logic of Persistence , 1986, AAAI.

[21]  Mark S. Boddy,et al.  Reasoning About Partially Ordered Events , 1988, Artificial Intelligence.

[22]  David E. Smith,et al.  Reasoning About Action II: The Qualification Problem , 1988, Artif. Intell..

[23]  Mark S. Boddy,et al.  An Analysis of Time-Dependent Planning , 1988, AAAI.

[24]  D. McDermott.  A Temporal Logic for Reasoning About Processes and Plans , 1982, Cogn. Sci..

[25]  James F. Allen,et al.  Planning Using a Temporal World Model , 1983, IJCAI.

[26]  Eric Horvitz,et al.  Reflection and Action Under Scarce Resources: Theoretical Principles and Empirical Study , 1989, IJCAI.

[27]  Donald Perlis,et al.  Stop the world—I want to think , 1990, Int. J. Intell. Syst..

[28]  Donald Perlis,et al.  Reasoning situated in time I: basic concepts , 1990, J. Exp. Theor. Artif. Intell..

[29]  Brian A. Haugh,et al.  Simple Causal Minimizations for Temporal Persistence and Projection , 1987, AAAI.

[30]  J Drapkin,et al.  A preliminary excursion into step-logics , 1986, ISMIS '86.

[31]  Drew McDermott,et al.  Nonmonotonic Logic and Temporal Projection , 1987, Artif. Intell..

[32]  AMY L. LANSKY,et al.  Localized event‐based reasoning for multiagent domain 1 , 1988, Comput. Intell..

[33]  Amy L. Lansky,et al.  Reactive Reasoning and Planning , 1987, AAAI.

[34]  Mark S. Boddy,et al.  Solving Time-Dependent Planning Problems , 1989, IJCAI.

[35]  Donald Perlis,et al.  Step-logic: reasoning situated in time , 1988 .