Standard
Correctness properties for multiagent systems. / Singh, Munindar P.
; Chopra, Amit K. Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. ed. / Matteo Baldoni; Jamal Bentahar; M. Birna van Riemsdijk; John Lloyd. Berlin: Springer, 2009. p. 192-207 (Lecture Notes in Computer Science; Vol. 5948).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter
Harvard
Singh, MP
& Chopra, AK 2009,
Correctness properties for multiagent systems. in M Baldoni, J Bentahar, MBV Riemsdijk & J Lloyd (eds),
Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Lecture Notes in Computer Science, vol. 5948, Springer, Berlin, pp. 192-207.
https://doi.org/10.1007/978-3-642-11355-0_12APA
Singh, M. P.
, & Chopra, A. K. (2009).
Correctness properties for multiagent systems. In M. Baldoni, J. Bentahar, M. B. V. Riemsdijk, & J. Lloyd (Eds.),
Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers (pp. 192-207). (Lecture Notes in Computer Science; Vol. 5948). Springer.
https://doi.org/10.1007/978-3-642-11355-0_12Vancouver
Singh MP
, Chopra AK.
Correctness properties for multiagent systems. In Baldoni M, Bentahar J, Riemsdijk MBV, Lloyd J, editors, Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. Berlin: Springer. 2009. p. 192-207. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-11355-0_12
Author
Singh, Munindar P.
; Chopra, Amit K. /
Correctness properties for multiagent systems. Declarative Agent Languages and Technologies VII: 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers. editor / Matteo Baldoni ; Jamal Bentahar ; M. Birna van Riemsdijk ; John Lloyd. Berlin : Springer, 2009. pp. 192-207 (Lecture Notes in Computer Science).
Bibtex
@inbook{ce8edf068b2f4a12912af6eebf1150c5,
title = "Correctness properties for multiagent systems",
abstract = "What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characterizes correctness properties for multiagent systems. These properties are centered on commitments, and capture correctness at a high level. In contrast to existing approaches, commitments underlie key correctness primitives understood in terms of meaning; for example, commitment alignment maps to interoperability; commitment discharge maps to compliance. This paper gives illustrative examples and characterizations of these and other properties. The properties cover the specification of the principal artifacts—protocols, roles, and agents—of an interaction-based approach to designing multiagent systems, and thus provide the formal underpinnings of the approach.",
author = "Singh, {Munindar P.} and Chopra, {Amit K.}",
year = "2009",
doi = "10.1007/978-3-642-11355-0_12",
language = "English",
isbn = "978-3-642-11354-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "192--207",
editor = "Matteo Baldoni and Jamal Bentahar and Riemsdijk, {M. Birna van} and John Lloyd",
booktitle = "Declarative Agent Languages and Technologies VII",
}
RIS
TY - CHAP
T1 - Correctness properties for multiagent systems
AU - Singh, Munindar P.
AU - Chopra, Amit K.
PY - 2009
Y1 - 2009
N2 - What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characterizes correctness properties for multiagent systems. These properties are centered on commitments, and capture correctness at a high level. In contrast to existing approaches, commitments underlie key correctness primitives understood in terms of meaning; for example, commitment alignment maps to interoperability; commitment discharge maps to compliance. This paper gives illustrative examples and characterizations of these and other properties. The properties cover the specification of the principal artifacts—protocols, roles, and agents—of an interaction-based approach to designing multiagent systems, and thus provide the formal underpinnings of the approach.
AB - What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characterizes correctness properties for multiagent systems. These properties are centered on commitments, and capture correctness at a high level. In contrast to existing approaches, commitments underlie key correctness primitives understood in terms of meaning; for example, commitment alignment maps to interoperability; commitment discharge maps to compliance. This paper gives illustrative examples and characterizations of these and other properties. The properties cover the specification of the principal artifacts—protocols, roles, and agents—of an interaction-based approach to designing multiagent systems, and thus provide the formal underpinnings of the approach.
U2 - 10.1007/978-3-642-11355-0_12
DO - 10.1007/978-3-642-11355-0_12
M3 - Chapter
SN - 978-3-642-11354-3
T3 - Lecture Notes in Computer Science
SP - 192
EP - 207
BT - Declarative Agent Languages and Technologies VII
A2 - Baldoni, Matteo
A2 - Bentahar, Jamal
A2 - Riemsdijk, M. Birna van
A2 - Lloyd, John
PB - Springer
CY - Berlin
ER -
