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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1109/TASE.2007.21 | TASE |
Keywords | Field | DocType |
step-wise derivation paradigm,formal methods,multiagent system,dynamically-reconfigurable multi-agent system,artificial agent,information technology,formal specification,multi agent systems,control systems,formal method,functional programming,ethics,software specification,dynamic programming,distributed computing,multi agent system,refinement,multiagent systems | Dynamic programming,Functional programming,Information technology,Computer science,Theoretical computer science,Formal specification,Multi-agent system,Control system,Formal methods,Software requirements specification | Conference |
ISBN | Citations | PageRank |
0-7695-2856-2 | 0 | 0.34 |
References | Authors | |
6 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
J. W. Sanders | 1 | 607 | 109.64 |
Matteo Turilli | 2 | 84 | 16.21 |