Abstract | ||
---|---|---|
This article advocates the need for a radical rethink of software agent technology by investigating the mechanisms through which knowledge, deliberation, action and control interact to form truly intelligent autonomous agents, be they deliberative, intentional or purely reactive automata/ particles/actors. Using sound logical formal modelling techniques, this work attempts to propose a unified model of multi-agency, which integrates and consolidates various proposed software agent models including; deliberative, cognitive, collectivist and individualist agent perspectives. In particular, the paper focuses on the formal semantics of model-based and emergent regulatory structure of autonomic self-regenerative systems, agents or particles (swarm intelligence). In addition, the paper uses our new scripting language – Neptune and associated development environment, which transforms formal require-ments models of a given agency to executable code. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11964995_6 | WRAC |
Keywords | Field | DocType |
control interact,intelligent autonomous agent,autonomic self-regenerative system,logical formal modelling technique,various proposed software agent,individualist agent perspective,formal require-ments model,emergent autonomy,associated development environment,software agent technology,unified model,programmable matter,formal semantics,particle swarm,development environment,software agent,scripting language,autonomous agent | Deliberation,Autonomous agent,Autonomic computing,Situation calculus,Computer science,Software agent,Human–computer interaction,Artificial intelligence,Programmable matter,Executable,Scripting language | Conference |
Volume | ISSN | ISBN |
3825 | 0302-9743 | 3-540-69265-7 |
Citations | PageRank | References |
0 | 0.34 | 11 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Martin Randles | 1 | 108 | 6.80 |
A. Taleb-Bendiab | 2 | 383 | 48.64 |
P. Miseldine | 3 | 16 | 2.08 |