Definition of Action
Preconditions and Effects
Each instance of the class
Action
is a relation with two arguments:
A(P,E)
where
P, E
are each sets of conditions/propositions.
Given an Action
A(P,E)
, if it is
performed
in a state
S
p
in which its preconditions
P
are true,
then the
current state
will be changed to
S
e
in which all of its effects
E
will be true.
S
p
< S
e
.
The preconditions
P
may or may not continue to be true in
S
e
.
We may designate a particular action
A(P,E)
alternatively
by
A
i
, P(A
i
), and E(A
i
).
©2012
Charles Petrie
- permission to reproduce widely with attribution.
