Correctness properties for multiagent systems

Singh, Munindar P. and Chopra, Amit K. (2009) Correctness properties for multiagent systems. In: Declarative Agent Languages and Technologies VII. Lecture Notes in Computer Science . Springer, Berlin, pp. 192-207. ISBN 978-3-642-11354-3

Full text not available from this repository.


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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
13 Aug 2013 11:21
Last Modified:
16 Sep 2023 03:03