Affiliation:
1. NCSR “Demokritos” Athens, Greece and Imperial College London, UK
2. Imperial College London, UK
Abstract
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.
Funder
EU ALFEBIITE
Engineering and Physical Sciences Research Council
Publisher
Association for Computing Machinery (ACM)
Subject
Computational Mathematics,Logic,General Computer Science,Theoretical Computer Science
Reference93 articles.
1. Representing the Zoo World and the Traffic World in the language of the Causal Calculator
2. Artikis A. 2003. Executable specification of open norm-governed computational systems. Ph.D. thesis University of London. http://www.iit.demokritos.gr/~a.artikis/publications/artikis-phd.pdf (also available from the author). Artikis A. 2003. Executable specification of open norm-governed computational systems. Ph.D. thesis University of London. http://www.iit.demokritos.gr/~a.artikis/publications/artikis-phd.pdf (also available from the author).
3. Animated specifications of computational societies
4. An executable specification of a formal argumentation protocol
Cited by
94 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献