Home > Research > Publications & Outputs > Composing and verifying commitment-based multia...

Electronic data

Links

View graph of relations

Composing and verifying commitment-based multiagent protocols

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Published

Standard

Composing and verifying commitment-based multiagent protocols. / Baldoni, Matteo; Baroglio, Cristina; Chopra, Amit K.; Singh, Munindar P.

Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 2015. p. 10-17.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paper

Harvard

Baldoni, M, Baroglio, C, Chopra, AK & Singh, MP 2015, Composing and verifying commitment-based multiagent protocols. in Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). pp. 10-17.

APA

Baldoni, M., Baroglio, C., Chopra, A. K., & Singh, M. P. (2015). Composing and verifying commitment-based multiagent protocols. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI) (pp. 10-17)

Vancouver

Baldoni M, Baroglio C, Chopra AK, Singh MP. Composing and verifying commitment-based multiagent protocols. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 2015. p. 10-17

Author

Baldoni, Matteo ; Baroglio, Cristina ; Chopra, Amit K. ; Singh, Munindar P. / Composing and verifying commitment-based multiagent protocols. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI). 2015. pp. 10-17

Bibtex

@inproceedings{3b685cee16154eb6860f258117d829d8,
title = "Composing and verifying commitment-based multiagent protocols",
abstract = "We consider the design and enactment of multiagent protocols that describe collaboration using {"}normative{"} or {"}social{"} abstractions, specifically, commitments. A (multiagent) protocol defines the relevant social states and how they progress; each participant maintains a local projection of these states and acts accordingly. Protocols expose two important challenges: (1) how to compose them in a way that respects commitments and (2) how to verify the compliance of the parties with the social states. Individually, these challenges are inadequately studied and together not at all. We motivate the notion of a social context to capture how a protocol may be enacted. A protocol can be verifiably enacted when its participants can determine each other's compliance. We first show the negative result that even when protocols can be verifiably enacted in respective social contexts, their composition cannot be verifiably enacted in the composition of those social contexts. We next show how to expand such a protocol so that it can be verifiably enacted. Our approach involves design rules to specify composite protocols so they would be verifiably enactable. Our approach demonstrates a use of dialectical commitments, which have previously been overlooked in the protocols literature.",
author = "Matteo Baldoni and Cristina Baroglio and Chopra, {Amit K.} and Singh, {Munindar P.}",
year = "2015",
month = "7",
day = "1",
language = "English",
isbn = "9781577357384",
pages = "10--17",
booktitle = "Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)",

}

RIS

TY - GEN

T1 - Composing and verifying commitment-based multiagent protocols

AU - Baldoni, Matteo

AU - Baroglio, Cristina

AU - Chopra, Amit K.

AU - Singh, Munindar P.

PY - 2015/7/1

Y1 - 2015/7/1

N2 - We consider the design and enactment of multiagent protocols that describe collaboration using "normative" or "social" abstractions, specifically, commitments. A (multiagent) protocol defines the relevant social states and how they progress; each participant maintains a local projection of these states and acts accordingly. Protocols expose two important challenges: (1) how to compose them in a way that respects commitments and (2) how to verify the compliance of the parties with the social states. Individually, these challenges are inadequately studied and together not at all. We motivate the notion of a social context to capture how a protocol may be enacted. A protocol can be verifiably enacted when its participants can determine each other's compliance. We first show the negative result that even when protocols can be verifiably enacted in respective social contexts, their composition cannot be verifiably enacted in the composition of those social contexts. We next show how to expand such a protocol so that it can be verifiably enacted. Our approach involves design rules to specify composite protocols so they would be verifiably enactable. Our approach demonstrates a use of dialectical commitments, which have previously been overlooked in the protocols literature.

AB - We consider the design and enactment of multiagent protocols that describe collaboration using "normative" or "social" abstractions, specifically, commitments. A (multiagent) protocol defines the relevant social states and how they progress; each participant maintains a local projection of these states and acts accordingly. Protocols expose two important challenges: (1) how to compose them in a way that respects commitments and (2) how to verify the compliance of the parties with the social states. Individually, these challenges are inadequately studied and together not at all. We motivate the notion of a social context to capture how a protocol may be enacted. A protocol can be verifiably enacted when its participants can determine each other's compliance. We first show the negative result that even when protocols can be verifiably enacted in respective social contexts, their composition cannot be verifiably enacted in the composition of those social contexts. We next show how to expand such a protocol so that it can be verifiably enacted. Our approach involves design rules to specify composite protocols so they would be verifiably enactable. Our approach demonstrates a use of dialectical commitments, which have previously been overlooked in the protocols literature.

M3 - Conference contribution/Paper

SN - 9781577357384

SP - 10

EP - 17

BT - Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI)

ER -