Belief Revision in the GOAL Agent Programming Language

Algorithm 9

actionspec  {

% Action for the car agent to drive which also adds justifications.

 drive (Dest, Pre) {

   pre  {dest (Dest), me (Me), go (Me), append (Pre, [dest (Dest), go (Me),

      action (drive)], S)}

   post  {at (Dest), just (at (Dest), S)}

 }

}