A nonmonotonic theory of plan synthesis

A theory of plan synthesis is proposed that reasons about actions to solve the frame problem. The authors also reason about the plan synthesis to detect possible or impossible orderings of the actions. This theory uses the frame axiom and the modal quantificational logic Z to propagate the facts from the current situation to the next situation. The explicit results of an action are provided only, no delete list is needed. The facts are automatically added and deleted from one situation to the next by the nonmonotonic reasoning as the actions are performed. An example illustrates the plan synthesis algorithm, which is given