Welcome to the InfoSci Platform
Reference Hub8
Dynamic Specifications for Norm-Governed Systems

Dynamic Specifications for Norm-Governed Systems

Alexander Artikis, Dimosthenis Kaponis, Jeremy Pitt
Copyright: © 2009 |Pages: 20
ISBN13: 9781605662565|ISBN10: 1605662569|EISBN13: 9781605662572
DOI: 10.4018/978-1-60566-256-5.ch019
Cite Chapter Cite Chapter

MLA

Artikis, Alexander, et al. "Dynamic Specifications for Norm-Governed Systems." Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, edited by Virginia Dignum, IGI Global, 2009, pp. 460-479. https://doi.org/10.4018/978-1-60566-256-5.ch019

APA

Artikis, A., Kaponis, D., & Pitt, J. (2009). Dynamic Specifications for Norm-Governed Systems. In V. Dignum (Ed.), Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models (pp. 460-479). IGI Global. https://doi.org/10.4018/978-1-60566-256-5.ch019

Chicago

Artikis, Alexander, Dimosthenis Kaponis, and Jeremy Pitt. "Dynamic Specifications for Norm-Governed Systems." In Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, edited by Virginia Dignum, 460-479. Hershey, PA: IGI Global, 2009. https://doi.org/10.4018/978-1-60566-256-5.ch019

Export Reference

Mendeley
Favorite

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.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.