M. Drummond. A representation of action and belief for automatic planning systems. In Workshop on Planning& Reasoning about Action, pages 267-289, Timberline OR, 1986.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....intersperse acting with sensing, they can also gather information on how actions are progressing. Sensing, of course, has a cost time spent sensing is time spent not planning or not acting and the system designer must decide how often to sense. Firby s RAPs [Firby, 1989] Drummond s PlanNet [Drummond, 1986] or Geib s ItPlanS [Geib, 1994] are higher level planners that perform an individual action and sense the world; the acquired knowledge can confirm the result of the action, and is used to decide which plan or plan step to pursue. The lower level planners (see, among others, Becket, 1994; ....

Mark Drummond. A representation of action and belief for automatic planning systems. In Georgeff and Lansky, editors, Reasoning About Actions and Plans, pages 189--211. Morgan Kaufmann, 1986.

....a more expressive lcw representation, and the machinery for automatically generating lcw effects and for 156 detecting threats to lcw links. More broadly, our work is inspired by previous work which introduced and formalized the notion of knowledge preconditions for plans and informative actions [60, 63, 16, 64, 65]. While we adopted an approach that interleaves planning and execution [29, 67, 47] other researchers have investigated contingent or probabilistic planning. Contingent planners [85, 81, 38, 73, 15, 75] circumvent the need to interleave planning with execution by enumerating all possible courses ....

M. Drummond. A representation of action and belief for automatic planning systems.

....(representing actions) A Petri net is executed by playing the token game . This involves moving tokens from places on one side of a transition (representing the preconditions) to the places on the other side (representing the postconditions) See [Reisig 85] for an introduction to Petri Nets. Drummond (1985, 1986) uses a plan representation based on Petri nets that can express conditional actions and loops. He also uses truth maintenance to incorporate sensory information into the world model and to determine when an agent should believe Chapter 2. A Survey of Representations for Time and Action 17 that ....

Drummond, M. E. (1986), "A Representation of Action and Belief for Automatic Planning Systems", AIAI-TR-16, AI Applications Institute, University of Edinburgh.

....be achieved by several minimal changes in the world. Computing successor world descriptions by minimally changing the predecessor world description so as to account for the postconditions and re establish consistency with the logical background knowledge has first been introduced into planning by Drummond [1986], with his notion of reconciliation. Reconciliation is performed on arbitrary sets of atomic propositions, which correspond, in our framework, to partial Herbrand models of K. As discussed in [Brewka and Hertzberg, To appear] reasoning using partial models, and making no distinction between ....

M. Drummond. A representation of action and belief for automatic planning systems. In M. Georgeff and A. Lansky, editors, Proc. Reasoning About Actions and Plans, pages 189--211, Morgan Kaufmann, 1986.

....a more expressive LCW representation, and the machinery for automatically generating LCW effects and for detecting threats to LCW links. More broadly, our work is inspired by previous work which introduced and formalized the notion of knowledge preconditions for plans and informative actions [29, 32, 10, 33, 34]. While we adopted an approach that interleaves planning and execution [16, 35, 24] other researchers have investigated contingent or probabilistic planning. Contingent planners [46, 43, 19, 40, 9, 41] circumvent the need to interleave planning with execution by enumerating all possible courses ....

M. Drummond. A representation of action and belief for automatic planning systems. In M. Georgeff and A. Lansky, editors, Reasoning about Actions and Plans. Morgan Kaufmann, 1986. Proceedings of the 1986 Timberline Workshop.

....than the objective knowledge which Moore uses in his knowledge preconditions. Aside from that objection, Moore s formalism addresses most of the requirements of a representation for search plans. Another approach to combining representation of actions and epistemic state is taken by Drummond [Dru86] This approach is based on procedural net descriptions of actions [Sac75] Drummond presents a Petri net like graph representation of plans which distinguishes between effects on the external environment and effects on the agent s internal state. However, all the preconditions on actions in his ....

Mark Drummond. A representation of action and belief for automatic planning systems. In Georgeff and Lansky, editors, Reasoning About Actions and Plans, pages 189--211. Morgan Kaufmann, 1986.

....for the performance of actions and plans. She considers the expression of complex plans using sequential, conditional, iterative, and concurrent constructs, and axiomatizes their knowledge preconditions. She does not, however, address the problem of how these plans might be generated. [Drummond 1986] presents a framework (plan nets) that allows for the representation of sensory actions. The occurrence of an event entails a set of beliefs, which is partitioned into two subsets. The externalresults describe the external, physical effects of the event, while the internal results describe those ....

M. Drummond. A representation of action and belief for automatic planning systems. In Proceedings of the 1986 workshop on Reasoning about Actions and Plans , San Mateo, CA, 1986. Morgan Kaufmann.

....for the performance of actions and plans. She considers the expression of complex plans using sequential, conditional, iterative, and concurrent constructs, and axiomatizes their knowledge preconditions. She does not, however, address the problem of how these plans might be generated. [Drummond 1986] presents a framework (plan nets) that allows for the representation of sensory actions. The occurrence of an event entails a set of beliefs, which is partitioned into two subsets. The external results describe the external, physical effects of the event, while the internal results describe those ....

M. Drummond. A representation of action and belief for automatic planning systems. In Proceedings of the 1986 workshop on Reasoning about Actions and Plans , San Mateo, CA, 1986. Morgan Kaufmann.

....us a special sort of STRIPS operator (Fikes Nilsson, 1971) In STRIPS terminology, our operator s precondition formula would be a conjunction of atomic formulae, and its delete list would contain each of the precondition s conjuncts. There are more general ways to define operator application (Drummond, 1986; Ginsberg Smith, 1987a, 1987b) but this simple approach will suffice for current purposes. The results of this paper do not depend on any particular definition of operator application. S ae L c be a case, let o 2 O be an operator in the plan net, and let o be enabled in S. The successor to ....

Mark Drummond. A representation of action and belief for automatic planning systems. In Proceedings of Reasoning About Actions and Plans, pages 189--211, Timberline, Oregon, 1986. Morgan Kauffman.

No context found.

Drummond, M. 1986. A Representation of Action and Belief for Automatic Planning Systems. Reasoning About Actions and Plans, M. Georgeff and A. Lansky, Eds., Morgan Kauffman. pp. 189-211.

No context found.

M. Drummond. A representation of action and belief for automatic planning systems. In Workshop on Planning& Reasoning about Action, pages 267-289, Timberline OR, 1986.

No context found.

M. Drummond. A representation of action and belief for automatic planning systems. In Workshop on Planning& Reasoning about Action, pages 267-289, Timberline OR, 1986.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC