Making SharedPlans More Concise and Easier to Reason About

摘要

SharedPlans is a general theory of collaborative planning that accommodates multi-level action decomposition hierarchies and explicates the process of expanding partial plans into full plans [5,6]. This paper presents a reformulation of SharedPlans that simplifies the SharedPlans definitions without sacrificing their expressiveness, and enables the specification of conditions under which a set of important theorems about agents and their SharedPlans may be proven to hold. A representative set of such theorems is presented.