Specifying norm-governed computational societies. Electronic markets, dispute resolution and negotiation protocols are three types of application domains that can be viewed as open agent societies. Key characteristics of such societies are agent heterogeneity, conflicting individual goals and unpredictable behavior. Members of such societies may fail to, or even choose not to, conform to the norms governing their interactions. It has been argued that systems of this type should have a formal, declarative, verifiable, and meaningful semantics. We present a theoretical and computational framework being developed for the executable specification of open agent societies. We adopt an external perspective and view societies as instances of normative systems. In this article, we demonstrate how the framework can be applied to specifying and executing a contract-net protocol. The specification is formalized in two action languages, the C+ language and the Event Calculus, and executed using respective software implementations, the Causal Calculator and the Society Visualizer. We evaluate our executable specification in the light of the presented case study, discussing the strengths and weaknesses of the employed action languages for the specification of open agent societies.
Keywords for this software
References in zbMATH (referenced in 10 articles , 1 standard article )
Showing results 1 to 10 of 10.
- Lifschitz, Vladimir; Yang, Fangkai: Functional completion (2013)
- Artikis, Alexander: Dynamic specification of open agent systems (2012)
- Dastani, Mehdi; Meyer, John-Jules; Tinnemeier, Nick: Programming norm change (2012)
- d’Inverno, Mark; Luck, Michael; Noriega, Pablo; Rodriguez-Aguilar, Juan A.; Sierra, Carles: Communicating open systems (2012) ioport
- Pitt, Jeremy; Ramirez-Cano, Daniel; Draief, Moez; Artikis, Alexander: Interleaving multi-agent systems and social networks for organized adaptation (2011) ioport
- Ågotnes, Thomas; van der Hoek, Wiebe; Rodríguez-Aguilar, Juan A.; Sierra, Carles; Wooldridge, Michael: Multi-modal CTL: completeness, complexity, and an application (2009)
- Artikis, Alexander; Sergot, Marek; Pitt, Jeremy: Specifying norm-governed computational societies (2009)
- Bromuri, Stefano; Urovi, Visara; Stathis, Kostas: Game-based e-retailing in GOLEM agent environments (2009) ioport
- Costantini, Stefania; Tocchio, Arianna; Tsintza, Panagiota: Contracts violation: justification via argumentation (2009)
- Artikis, Alexander; Sergot, Marek; Pitt, Jeremy: An executable specification of a formal argumentation protocol (2007)