Belief Revision in the GOAL Agent Programming Language

Algorithm 7

% Add the belief received from another agent that its brakes fail.

if bel  (received (A,:failing (brakes, A))) then insert  (failing (brakes, A))

   + delete  (received (A,:failing (brakes, A))).