Information Technology Reference
In-Depth Information
knowledge acquisition scheme kas is called possibly-acquirable iff all ( l,ks )
kas are
possibly-acquirable.
Let
D
be the set of domain models,
TL
be the set of task lists,
P
be the set of plans and
KAS
∈D×TL×P×KAS
a planning state . A planning state is called final if the task list is empty and called
intermediate if the task list is not empty. ps D denotes the domain model, ps t the task
list, ps p the plan and ps kas the knowledge acquisition scheme of a planning state ps .
The term planning step is used in this work as an abstraction of (HTN) methods and
planning operators. A planning step
be the set of knowledge acquisition schemes. We call ps
s
is represented by a 4-tuple (
s task ,
s cond ,
s eff ,
s cost ) .
s task is an atomic formula that describes for which task
s
is relevant,
s cond
is a statement that constitutes the precondition of
s
,
s eff is the effect of
s
,and
s cost
represents the expected cost of the plan that results from the application of
s
.
PS . Thus,
a planning step maps the current planning state to a resulting planning state. In this
sense operators map the current planning state to a resulting state by removing the next
task from the task list, adding a ground instance of this task to the plan and updating
the domain model according to the effects of the operator. In contrast, HTN methods
transform the current planning state by replacing an active task by a number of subtasks.
Furthermore, we define the concept of a possibly-applicable planning step introduced
in Section 2.1 as follows:
Let PS be the set of planning states.
s eff is a function
s eff : PS
Definition 3 (Possibly-applicable). A planning step
is called possibly-applicable
w.r.t. a domain model D M and a knowledge acquisition scheme kas iff kas is possibly-
acquirable and a knowledge acquisition scheme for
s
s cond .
A possibly-applicable planning step can only be applied after necessary information
has been acquired by the execution of corresponding knowledge acquisition tasks. For
example, consider the second method instance of the situation illustrated by Fig. 1. This
method instance can only be applied if the robot has perceived that door2 is open. The
fact that possibly-applicable planning step instances require the execution of additional
tasks (i.e., knowledge acquisition tasks) needs to be considered by the expected cost.
The cost of a possibly-applicable planning step is defined as the sum of the cost for
the step if it is applicable and the expected cost of all necessary knowledge acquisition
tasks.
For example, let us assume that the cost of the plan that results from applying the
method for move to(Room) is always 100. Moreover, let us assume that the cost of
performing the task det(open(door2), , ,percept) is 50 (see Fig. 2) and the
cost of performing the task det(connect(lab,X,kitchen),
[connect(lab,door1,kitchen), connect(lab, door2,kitchen)],
open(X), percept) is 300. In this situation the cost of method instance 1 is 100,
the cost of method instance 2 is 100 + 50 = 150 , and the cost of method instance 3 is
100 + 50 + 300 = 450 . Thus, in this case the applicable instance has the less expected
cost. However, this does not always have to be the case.
 
Search WWH ::




Custom Search