DMCA
Animated specifications of computational societies (2002)
| Venue: | IN AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS CONFERENCE 2002, C. CASTELFRANCHI AND |
| Citations: | 86 - 18 self |
BibTeX
@INPROCEEDINGS{Artikis02animatedspecifications,
author = {Alexander Artikis and Jeremy Pitt and Marek Sergot},
title = {Animated specifications of computational societies},
booktitle = {IN AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS CONFERENCE 2002, C. CASTELFRANCHI AND},
year = {2002},
pages = {1053--1062},
publisher = {ACM Press}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
E-markets and negotiation protocols are two types of application domains that can be viewed as open computational societies. Key characteristics of such societies are agent heterogeneity, conflicting individual goals and limited trust. The risk that members of such societies will not conform to specifications imposes the need for a framework that will facilitate the designers to determine to what extent it is desirable to deploy their agents in such societies. We address this need by presenting a formal framework for specifying, animating, and ultimately reasoning about and verifying the properties of open computational systems. We view computational systems from an external perspective, aiming to account for the institutional and social aspects of these systems. We identify the key concepts and illustrate how they are used by formalising an example employing the contract net protocol. The framework and associated logical inferences have been implemented as a software platform that provides automated animation of the global states of an open system (society) during its execution. Simulations have demonstrated that the implementation of the framework establishes a foundation for a rich, formal representation of open computational societies.
Keyphrases
animated specification computational society open computational society individual goal limited trust key concept key characteristic agent heterogeneity social aspect automated animation global state formal representation external perspective computational system formal framework application domain negotiation protocol associated logical inference open system contract net protocol software platform open computational system
