Action theory: precondition axioms.

Example. We use predicates and

The robot can start moving if it is not going and located in :

The robot can arrive successfully at if it is going from to :

The robot can sense its coordinates p in any situation:

Poss(sense(Coord,p,t),s) = true