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 land-marks 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.
|Number of pages||8|
|Publication status||Published - 1 Jan 2002|
|Event||International Joint Conference on Autonomous Agents and Multiagent Systems 2002 - Bologna, Italy|
Duration: 15 Jul 2002 → 19 Jul 2002
Conference number: 1st
|Conference||International Joint Conference on Autonomous Agents and Multiagent Systems 2002|
|Period||15/07/02 → 19/07/02|