Belief Revision in the GOAL Agent Programming Language

Algorithm 4

actionspec  {

  /* Action for the car agent to drive towards Dest provided it is desired and

   that it can go onwards. */

  drive (Dest) {

   Pre  {dest (Dest), me (Me), go (Me)}

   post  {true}

  }

}