DocumentCode
2850633
Title
Dynamics of Control
Author
Sanders, J.W. ; Turilli, Matteo
Author_Institution
United Nations Univ., Macau
fYear
2007
fDate
6-8 June 2007
Firstpage
440
Lastpage
449
Abstract
This paper proposes a , the "ambit\´ of an action, that allows the degree of distribution of an action in a multiagent system to be quantified without regard to its functionality. It demonstrates the use of that notion in the design, analysis and implementation of dynamically-reconfigurable multi-agent systems. It distinguishes between the extensional (or system) view and intensional (or agent-based) view of such a system and shows how, using the notion of ambit, the step-wise derivation paradigm of formal methods can be used to derive the latter from the former. In closing it addresses the manner in which these ideas inform studies in the ethics of systems of artificial agents.
Keywords
formal specification; multi-agent systems; ambit notion; dynamically-reconfigurable multiagent system; formal method; step-wise derivation paradigm; Buildings; Control systems; Distributed computing; Dynamic programming; Ethics; Functional programming; Information technology; Laboratories; Multiagent systems; Personal digital assistants;
fLanguage
English
Publisher
ieee
Conference_Titel
Theoretical Aspects of Software Engineering, 2007. TASE '07. First Joint IEEE/IFIP Symposium on
Conference_Location
Shanghai
Print_ISBN
978-0-7695-2856-4
Type
conf
DOI
10.1109/TASE.2007.21
Filename
4239987
Link To Document