Situated control rules

摘要: The plan net formalism presented in this paper is a language for expressing possible actions independent of any particular plan. Plan nets encode non-deterministic control programs which specify the local conditions under may be taken. A two stage analysis synthesizes situated rules act to reduce choice such that all remaining alternatives action necessarily satisfy given goals. Action execution can precede rule synthesis: simply help ensure are first steps on way eventual goal satisfaction. Situated inform action; they do not define it.