Interactions are generative to the extent that they allow for the emergence of new capabilities to handle complexity, notably the increased complexity of signals from the environment. They are used to gain additional knowledge and insight. The value of interactions is rising because their generative function has become the solution to increasingly challenging organizational problems that go far beyond coordination needs (Morieux et al, 2005).
Published in Chapter:
Dynamic Specifications for Norm-Governed Systems
Alexander Artikis (National Centre for Scientific Research “Demokritos”, Greece), Dimosthenis Kaponis (Imperial College London, UK), and Jeremy Pitt (Imperial College London, UK)
Copyright: © 2009
|Pages: 20
DOI: 10.4018/978-1-60566-256-5.ch019
Abstract
We have been developing a framework for executable specification of norm-governed multi-agent systems. In this framework, specification is a design-time activity; moreover, there is no support for run-time modification of the specification. Due to environmental, social, or other conditions, however, it is often desirable, or even necessary, to alter the system specification during the system execution. In this chapter we extend our framework by allowing for “dynamic specifications”, that is, specifications that may be modified at run-time by the members of a system. The framework extension is motivated by Brewka’s “dynamic argument systems”—argument systems in which the rules of order may become the topic of the debate. We illustrate our framework for dynamic specifications by presenting: (i) a dynamic specification of an argumentation protocol, and (ii) an execution of this protocol in which the participating agents modify the protocol specification.