Most agents can acquire information about their environments as they operate.
A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agenttoknow how to execute a plan and to be able to achieve a goal. It is also essential to account for cooperation among agents. It also supports an abstract view of communication acts as action that affect other agents mental states as opposed to mere message passing. Yves Lesperance, Hector J. Levesque, Fangzhen Lin, and Richard B. Scherl.