Abstract | ||
---|---|---|
We introduce the logic-based planning language κc as an extension of κ [5]. κc has two advantages upon κ. First, the introduction of external function calls in the rules of a planning description allows the knowledge engineer to describe certain planning domains, e.g. involving complex action effects, in a more intuitive fashion then is possible in κ. Secondly, in contrast to the conformant planning framework κ, κc is formalized as a conditional planning system, which enables κc to solve planning problems that are impossible to express in κ, e.g. involving sensing actions. A prototype implementation of conditional planning with κc is build on top of the DLVκsystem, and we illustrate its use by some small examples. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/978-3-540-72200-7_19 | LPNMR |
Keywords | DocType | Volume |
logic-based planning language,conditional planning system,complex action effect,conditional planning,planning description,conformant planning framework,external function call,intuitive fashion,knowledge engineer,certain planning domain,knowledge engineering | Conference | 4483 |
ISSN | Citations | PageRank |
0302-9743 | 12 | 0.52 |
References | Authors | |
13 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Davy Van Nieuwenborgh | 1 | 231 | 14.54 |
Thomas Eiter | 2 | 7238 | 532.10 |
Dirk Vermeir | 3 | 694 | 85.34 |