Integrating function application in state-based planning
Autor(en): | Schmid, U Muller, M Wysotzki, F |
Herausgeber: | Jarke, M Koehler, J Lakemeyer, G |
Stichwörter: | Computer Science; Computer Science, Artificial Intelligence | Erscheinungsdatum: | 2002 | Herausgeber: | SPRINGER-VERLAG BERLIN | Enthalten in: | KI2002: ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS Lecture Notes in Artificial Intelligence |
Band: | 2479 | Startseite: | 144 | Seitenende: | 160 | Zusammenfassung: | We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variables are introduced and, consequently, predicates are defined over general terms. Preconditions of operators are characterized as variable binding constraints with standard preconditions as a special case of equality constraints. Operator effects can be expressed by ADD/DEL effects and additionally by updates of fluent variables. Mixing ADD/DEL effects and updates in an operator is allowed. Updating can involve the application of user-defined and built-in functions of the language in which the planner is realized. We present an operational semantics of the extended language. We will give a variety of example domains which can be dealt with in an uniform way: planning with resource variables, numerical problems such as water jug, functional variants of Tower of Hanoi and blocks-world, list sorting, and constraint-logic programming. |
Beschreibung: | 25th Annual German Conference on Artificial Intelligence, AACHEN, GERMANY, SEP 16-20, 2002 |
ISBN: | 9783540441854 | ISSN: | 03029743 |
Zur Langanzeige
Seitenaufrufe
3
Letzte Woche
0
0
Letzter Monat
0
0
geprüft am 07.06.2024