• 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