Pednault, E. P. D. 1989. ADL: Exploring the middleground between STRIPS and situation calculus. In Knowledge Representation and Reasoning (KR), 324-- 332. Morgan Kaufman.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....of the effects of actions. e.g. all of the planners that participate in the AIPS Planning competition use PDDL as an initial specification of the action theory. In this section we show how to exploit an arbitrary operator based planner that accepts PDDL planning domains with conditional effects [14], in order to plan with complex actions. 1) COMPILE[TA , A ] Rather than employing successor state axioms, PDDL describes the effects of actions in terms of (conditional) effects without a solution to the frame problem. Section 3.2 provides a semantic justification for an intuitive algorithm ....

E. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. KR'89, pages 324--332, 1989.

....in a directory, or rm , which deletes all writable files. Information Expressiveness 0 Complete strips adl Situation Calculus Incomplete uwl SADL Moore et al. In this paper, we define a new action representation language, sadl, 1 that combines ideas from with those from Pednault s adl [ 26, 24 ] . Just as adl marked the middle ground on the tractability spectrum between strips and the situation calculus, sadl offers an advantageous combination of expressiveness and efficiency. Since sadl supports universally quantified information goals and universally quantified, conditional, ....

....in which when introduces secondary preconditions; these are required for 8 effects, where the when clause restricts the universe of discourse to a finite set, and indicates precisely the range of the quantifier. 3. 2 CONDITIONAL EFFECTS A secondary precondition, i.e. one associated with an effect [ 26 ] , defines the conditions under which action execution will achieve that effect. Unlike primary preconditions, secondary preconditions need not be true for the action to be executed. If p is the secondary precondition of effect e, then the resulting conditional effect is defined as: EFF(when(p; ....

E. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, pages 324--332, 1989.

....in an enriched formalism, where the formalism can express problems that extend beyond the capabilities of existing solving strategies. For example, Gazen and Knoblock [20] collected, completed and formalised common techniques for conversion of various elements of the expressive power of the ADL [36] extensions of planning domain descriptions into the simpler STRIPS subset. This reformulation allows the simpler STRIPS planning strategies to tackle problems expressed in the richer language. The greater expressive power of the ADL extension can be seen in the cost of the reformulation, which ....

E. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. of 1st International Conference on Principles of Knowledge Representation and Reasoning, pages 324--332. San Francisco, CA, Morgan Kaufmann, 1989.

....) are the set of actions that create and delete P i . It is easy to automatically generate a set of successor state constraints from a set of STRIPS action descriptions. Additionally, by using successor state constraints that mention additional propositions from step s 1, it is easy to encode ADL [Pednault, 1989] operators as a set of successor state axioms. Note that the successor state constraints do not encode the action preconditions. These are encoded as separate constraints. Thus, the only complication with ADL actions has to do with conditional effects. If P i is a conditional effect of action A ....

E. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In KR-1989, pages 324--332.

....e ects. A critical discussion of this work and a comprehensive bibliography can be found in [ Shanahan, 1997 ] The explicit de nition of 1 : p in terms of 0 : p and 0 : a in Section 3. 1 is similar to successor state axioms introduced by Reiter [1991] as a generalization of earlier work by Pednault [1989]. Among the research on the nonmonotonic logic of causation, besides the papers mentioned in the introduction, Fangzhen Lin s proposal to circumscribe the predicate Caused is particularly relevant [ Lin, 1995, Lin, 1996 ] Although that approach uses a di erent model of nonmonotonic reasoning, ....

Edwin Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Ronald Brachman, Hector Levesque, and Raymond Reiter, editors, Proc. First Int'l Conf. on Principles of Knowledge Representation and Reasoning, pages 324-332, 1989. ftp://ftp.cs.utexas.edu/pub/techreports/tr97-25.ps.Z . http://www-formal.stanford.edu/jmc/elaboration.html . 65

....of, inside of, etc. geometrical properties (surface, size, etc. and data to display the object in the MMI. The symbolic planner generates an action list, to execute the objectives specified by the worker. rob work uses the FF planer [1] which is based on ADL (Action Description Language [2]) The FF Planner uses the standardised Planning Domain Description Language (PDDL) 3] The plans generated by the symbolic planner are executed by JAM agents [4] JAM is a BDI Agent architecture (Believe Desire Interion) based on a procedural reasoning system (PSR) of SRI International. The ....

Pednault, E. P. D.: "ADL: Exploring the middle ground between STRIPS and the situation calculus". In: Proceedings of the International Conference on Principles of Knowledge Representation (KR-98), 1989, S. 324-332

....on the one side, comfort factors and a changing societal framework; on the other side, an increasing number of households include inhabitants that require physical support in daily life due to sickness or age. By the year 2030 the number of people who are 60 years old will have doubled in Germany [15]. Technical aids are required to allow people to live independently and supported in their private homes as long as they wish. As a contribution a demonstrator platform for a mobile home care system called Care O bot (Figure 1) was designed and realized by Fraunhofer IPA [17] Care O bot ....

....planner generates a list of actions to reach the goals specified by the user. Development of symbolic planners has been a central topic in Artificial Intelligence (AI) for decades. A good overview is given in [8] For Care O bot we chose a planner based on ADL (Action Description Language [15]) AI planners compete every second year on the International Conference of Artificial Intelligence Planning Scheduling (AIPS) 12] The winner of the last competition in 2000 [1] in ADL category was FF [9] 10] Some sample problems for Care O bot tested on FF were solved in less than a ....

Pednault, E. P. D.: "ADL: Exploring the middle ground between STRIPS and the situation calculus". In Proceedings of the International Conference on Principles of Knowledge Representation (KR-98), pp. 324-332, 1989.

.... plans as totally ordered sequences of actions (e.g. PEDESTAL [4] and the partial order planners were based on the restrictive STRIPS [2] representation (e.g. TWEAK [1] and SNLP [3] UCPOP introduces quantification into partial order planning with an action language based on Pednault s ADL [5, 6]. But universally quantified goals are expanded to a conjunction with the notion of a universal base and existential effects are not supported. Universally quantified effects are catered for, however, in a more general fashion they are implicitly Skolemized. The objective of this paper is to ....

E.P.D. Pednault. Adl: Exploring the middle ground between strips and the situation calculus. In 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, pages 324--332, 1989.

....state is checked against the search control formula. If the state fails to satisfy the formula, then it is pruned. This state checking is made possible by the use of total order forward search. TLPlan generates total order STRIPS plans. It can also generate plans in the ADL formalism of Pednault [50]. The search control formulas are expressed using modal temporal logic. This logic extends first order predicate logic with always, eventually, until, next, and goal modalities. Each modality except until takes one first order predicate calculus formula as an argument. Until takes two ....

E. P. D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the First Conference on Principles of Knowledge Representation and Reasoning (KR 89), pages 324--332. Morgan Kaufman Publisher Inc., 1989.

....ner. We chose GRAPHPLAN[i] tO be that planner, the ra tionale being: We wanted to use a standard planner and to keep simple the planning representation and the planning process for investigation and explanation at the present state of work. Having a richer representation language, such as ADL [8], and a planner that is able to handle it might be helpful in the long run, and it is not excluded by the framework that we are presenting. However, this issue has not yet been studied in depth. Fig. 3 gives the domain signature, start situation and goal conditions as appropriate for GRAPHPLAN. ....

E. Pednault. ADL: Exploring the middle ground bet- ween STRIPS and the situation calculus. In Proc. Int. Conf. on Principles of Knowledge Representation (KR89) , pages 324-332, 1989.

.... in [54] This result shows that our method is provably equivalent to a variety of other systems designed for reasoning about actions and change, most of them based on the situation calculus, which were also related to A recently, such as Baker s method [5] based on circumscription [39] Pednault s [42] and Reiter s [43] approach based on classical logic (all three adequateness result regarding A were established in [33] or the application of abductive logic programming ( 16] and, independently, 15] In addition, we have developed an extension of A to model non deterministic actions, and we ....

E. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In R. Brachman, H. J. Levesque, and R. Reiter, editors, Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning (KR), pages 324--332, Toronto, 1989. Morgan Kaufmann.

No context found.

Pednault, E. P. D. 1989. ADL: Exploring the middleground between STRIPS and situation calculus. In Knowledge Representation and Reasoning (KR), 324-- 332. Morgan Kaufman.

No context found.

Pednault, E. P. D., ADL: Exploring the middleground between STRIPS and situation calculus, in: Knowledge Representation and Reasoning (KR) (1989), pp. 324--332.

No context found.

Edwin Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Ronald Brachman, Hector Levesque, and Raymond Reiter, editors, Proc. First Int'l Conf. on Principles of Knowledge Representation and Reasoning, pages 324--332, 1989.

No context found.

E. P. D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the 1'st International Conference on Principles of Knowledge Representation and Reasoning (KR'89), pages 324--332. Morgan Kaufmann, 1989.

No context found.

E. P. D. Pednault. ADL: Exploring the middle ground between strips and the situation calculus. In Proceedings of the International Conference on Principles of Knowledge Representation (KR-98), pages 324-332. Morgan Kaufmann, Inc., 1989.

No context found.

E. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proceedings of the International Conference on Principles of Knowledge Representation and Reasoning, pages 324--332, 1989.

No context found.

E. Pednault. ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus. In R.J. Brachman, H. Levesque, and R. Reiter, editors, Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR' 89' pages 324-332. Morgan Kaufmann Publishers, Inc., San Mateo, California,19li

No context found.

E. Pednault. ADL: Exploring the middle ground between strips and the situation calculus. Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, pages 324-332, 1989.

No context found.

E. Pednault. ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus. In R.J. Brachman, H. Levesque, and R. Reiter, editors, Proceedings of the 1st International Conference on Principles of Knowledge Representation and Reasoning (KR' 89' pages 324-332. Morgan Kaufmann,19fm

No context found.

Edwin P.D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. KR'89, pages 324--331, 1989.

No context found.

Edwin P.D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In R. Brachman, H. J. Levesque, and R. Reiter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 1st International Conference (KR-89), pages 324--331, Toronto, ON, May 1989. Morgan Kaufmann.

No context found.

Pednault E., ADL: exploring the middle ground between STRIPS and the Situation Calculus, Proc. of 1st International Conference on Knowledge Representation and Reasoning (KR), Morgan Kaufmann, 324-332, 1989.

No context found.

E. Pednault, ADL: Exploring the middle ground between STRIPS and the situation calculus, KR'89, 1989, 324-332.

No context found.

Edwin P.D. Pednault. ADL: Exploring the middle ground between STRIPS and the situation calculus. In Proc. KR-89, pages 324--331, Toronto, ON, May 1989. Morgan Kaufmann.

First 50 documents  Next 50

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