Dynamics of Control

Authors
Matteo Turilli
Oxford University
Abstract
This paper proposes a notion, 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 Ambit  Control Closure  Software specification  Formal methods  Refinement  Multi-agent systems
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 34,938
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

The Ethics of Information Transparency.Matteo Turilli & Luciano Floridi - 2009 - Ethics and Information Technology 11 (2):105-112.

Add more citations

Similar books and articles

Analytics

Added to PP index
2010-02-14

Total downloads
8 ( #578,920 of 2,273,307 )

Recent downloads (6 months)
2 ( #216,635 of 2,273,307 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature