Representing and Executing Protocols as Joint Actions

摘要

Families of conversation protocols can be expressed formally as partially ordered landmarks where the landmarks represent the state of affairs that must be brought about during the goal-directed execution of a protocol. Then, concrete protocols represented as joint action expressions can be derived from the partially ordered landmarks and executed directly by joint intention interpreters, thus nearly eliminating the need to implement a separate protocol handling system. This approach also supports (1) flexibility in the actions used to achieve landmarks, (2) shortcutting protocol execution, and (3) application of the joint intention theory to provide automatic exception handling along with a correctness criterion for protocols.