Before defining our problem, we must define the planning framework that we wish to use. The structure of the framework reflects the simplifying assumptions we make below, and it will be broadened as our assumptions are relaxed. All agents make the same set of observations at each time step.
All agents have the same reasoning ability.
Generally, agents will execute their actions when the preconditions are true and continue until the postconditions are true. The set of postconditions can be thought of as listing the necessary effects of the action. This process is known as filtering and will be described in further detail in section 5.6.2 . To prepare for our definitions of plan recognition and observational cooperation, we need to define an observation. In recognizing a multi-agent plan, agents are bound to the scripts they are observed to be executing.