@inproceedings{bcdee6a44e724837ad88984c84ff010d,
title = "Formal specification of interaction in agent societies",
abstract = "The Agent Society framework that we have developed distinguishes between the mechanisms though which the structure and global behavior of the model is described and coordinated, and the aims and behavior of the serviceproviders (agents) that populate the model. In this framework contracts are used to integrate the top-down specification of organizational structures with the autonomy of participating agents. In this paper we introduce LCR, a very expressive logic for describing interaction in multi-agent systems. We also show how LCR behaves in contrary-to-duty situations common to deontic logic frameworks. LCR makes it possible to check whether agents in an agent society follow some desired interaction patterns and whether desired social states are preserved by agent activity. LCR is used as a formal basis for the framework for agents societies that we are developing.",
author = "Virginia Dignum and Meyer, {John-Jules C.} and Frank Dignum and Hans Weigand",
year = "2003",
doi = "10.1007/978-3-540-45133-4_4",
language = "English",
series = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",
publisher = "Springer Verlag",
pages = "37--52",
editor = "C. Rouff and D. Gordon-Spears",
booktitle = "Formal Approaches to Agent-Based Systems",
note = "2nd International Workshop on Formal Approaches to Agent-Based Systems, FAABS 2002 ; Conference date: 29-10-2002 Through 31-10-2002",
}