Making SharedPlans more concise and easier to reason about

When a group of agents get together to collaborate on some complex group action, collaboration does not just happen. It requires the existence or formation of mutual beliefs about the capabilities and commitments of agents responsible for doing various actions, the adoption by individual agents of various intentions (not only intentions to do actions, but also intentions that various propositions hold), and a process of plan elaboration whereby a partial plan is expanded toward completion as a full plan. Grosz and Kraus' SharedPlans (1996; 1997) is a general theory of collaborative planning that accommodates multi-level action decomposition hierarchies, models the collaborative support provided by group members to those agents or subgroups responsible for doing constituent actions, specifies what it means for a group of agents to have a partial plan, and explicates the process whereby a partial plan may be elaborated into a full plan. This paper presents a reformulation of SharedPlans that: introduces SharedPlan Trees to make explicit the complex structure of SharedPlans; simplifies and reorganizes the SharedPlan meta-predicate definitions without sacrificing their expressiveness; and enables conditions to be specified under which a set of important theorems about agents and their SharedPlans may be proven.