Much previous work in artificial intelligence has neglected representing time in all its complexity. In particular, it has neglected continuous change and the indeterminacy of the future. To rectify this, I have developed a first‐order temporal logic, in which it is possible to name and prove things about facts, events, plans, and world histories. In particular, the logic provides analyses of causality, continuous change in quantities, the persistence of facts (the frame problem), and the relationship between tasks and actions. It (...) may be possible to implement a temporal‐inference machine based on this logic, which keeps track of several “maps” of a time line, one per possible history. (shrink)

This paper is concerned with those elements of planning knowledge that are common to both understanding someone else's plan and creating a plan for one's own use. This planning knowledge can be divided into two bodies: Knowledge about the world, and knowledge about the planning process itself. Our interest here is primarily with the latter corpus. The central thesis is that much of the knowledge about the planning process itself can be formulated in terms of higher‐level goals and plans called (...) meta‐goals and meta‐plans. These entities can then be used by the same understanding and planning mechanisms that process ordinary goals and plans. However, the meta‐planning knowledge now enables these mechanisms to handle much more complicated situations in a uniform manner.Systems based on meta‐planning would have a number of advantages over existing problem solving and understanding systems. The same knowledge could be shared by both a planner and understander, and both would be able to handle complex situations elegantly. In addition, in planning, the use of meta‐planning has several advantages over more traditional methods involving constraints or critics. Meta‐planning allows the full power of a problem solver to be applied to situations that are generally amenable only to special purpose processing. In addition, meta‐planning facilitates the representation of some situations that are difficult to express otherwise. We have begun to introduce meta‐planning knowledge into two systems: PAM, a story understanding program, and PANDORA, a problem solving and plannin̈g system. (shrink)

Adaptive Planning is an approach to planning in the commonsense domain. An adaptive planner takes advantage of the habitual nature of many of the planning situations for which it plans by bosing its activities on a memory of pre‐stored plans. A critical issue, and the subject of this paper, is the question of flexibility: How does an adaptive planner refit an old plan in order to meet the demands of some new planning situation? An adaptive planner refits prestored plans by (...) constructing an interpretation of the situation in which it is engaged. Key elements in the theory of adaptive planning are its treatment of specific plans and a notion of situation matching. The theory of adaptive planning has been modeled by a computer program called PLEXUS. (shrink)