Representing and executing protocols as joint actions

Sanjeev Kumar; Marcus J. Huber; Philip R. Cohen

Representing and executing protocols as joint actions

Sanjeev Kumar, Marcus J. Huber, Philip R. Cohen

Research output: Contribution to conference › Paper › peer-review

Abstract

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.

Original language	English
Pages	543-550
Number of pages	8
Publication status	Published - 1 Jan 2002
Externally published	Yes
Event	International Conference on Autonomous Agents and Multiagent Systems 2002 - Bologna, Italy Duration: 15 Jul 2002 → 19 Jul 2002 Conference number: 1st https://dl.acm.org/doi/proceedings/10.1145/544741 (Proceedings)

Conference

Conference	International Conference on Autonomous Agents and Multiagent Systems 2002
Abbreviated title	AAMAS 2002
Country/Territory	Italy
City	Bologna
Period	15/07/02 → 19/07/02
Internet address	https://dl.acm.org/doi/proceedings/10.1145/544741 (Proceedings)

Cite this

@conference{80bfb6459a334023b5554e9b48e61221,

title = "Representing and executing protocols as joint actions",

abstract = "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.",

author = "Sanjeev Kumar and Huber, \{Marcus J.\} and Cohen, \{Philip R.\}",

year = "2002",

month = jan,

day = "1",

language = "English",

pages = "543--550",

note = "International Conference on Autonomous Agents and Multiagent Systems 2002, AAMAS 2002 ; Conference date: 15-07-2002 Through 19-07-2002",

url = "https://dl.acm.org/doi/proceedings/10.1145/544741",

}

TY - CONF

T1 - Representing and executing protocols as joint actions

AU - Kumar, Sanjeev

AU - Huber, Marcus J.

AU - Cohen, Philip R.

N1 - Conference code: 1st

PY - 2002/1/1

Y1 - 2002/1/1

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0036355470

M3 - Paper

AN - SCOPUS:0036355470

SP - 543

EP - 550

T2 - International Conference on Autonomous Agents and Multiagent Systems 2002

Y2 - 15 July 2002 through 19 July 2002

ER -

Representing and executing protocols as joint actions

Abstract

Conference

Other files and links

Cite this