Singh, Munindar P. and Chopra, Amit K. (2009) Correctness properties for multiagent systems. In: 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 . Springer, Berlin, pp. 192-207. ISBN 978-3-642-11354-3
Full text not available from this repository.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.