Intelligent Agents: ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8 - 9, 1994. Proceedings, Volume 1This volume coherently present 24 thoroughly revised full papers accepted for the ECAI-94 Workshop on Agent Theories, Architectures, and Languages. There is currently considerable interest, from both the AI and the mainstream CS communities, in conceptualizing and building complex computer systems as collections of intelligent agents. This book is devoted to theoretical and practical aspects of architectural and language-related design and implementation issues of software agents. Particularly interesting is the comprehensive survey by the volume editors, which outlines the key issues and indicates, via a comprehensive bibliography, topics for further reading. In addition, a glossary of key terms in this emerging field and a comprehensive subject index is included. |
Contents
A Survey | 1 |
Michael Wooldridge and Nicholas R Jennings | 22 |
Changing Attitudes | 40 |
Guarantees for Autonomy in Cognitive Agent Architecture | 56 |
the Approach and a Case Study | 71 |
Toward a Formal Model of Commitment for Resource Bounded Agents | 86 |
Compositional Formal Specification of MultiAgent Systems | 102 |
Barbara DuninKeplicz and Jan Treur | 118 |
The PLACA Agent Programming Language | 355 |
a Situated Action Approach to Organising | 371 |
Design of a Concurrent AgentOriented Language | 386 |
| 403 | |
Table of Contents | x |
Peter Řrbaek | 16 |
An Overview of Door Attribute Grammars | 31 |
Coupling Evaluators for Attribute Coupled Grammars | 52 |
Frédéric Guichard and Jacqueline Ayel | 129 |
Simulating Animal Societies with Adaptive Communicating Agents | 145 |
Geof Staniford and Ray Paton | 160 |
Architectures | 177 |
J Stuart Aitken Franz Schmalhofer and Nigel Shadbolt | 191 |
A Unified Approach to Intelligent Agency | 233 |
Bertil Ekdahl Eric Astor and Paul Davidsson | 259 |
David Moffat and Nico Frijda | 260 |
Goal Creation in Motivated Agents | 277 |
Languages | 291 |
Representing and Executing AgentBased Systems | 307 |
April Agent Process Interaction Language | 324 |
Frank G McCabe and Keith L Clark | 341 |
Functional Languages | 68 |
A Portable and Optimizing Back End for the SMLNJ Compiler | 83 |
Efficient Organization of Control Structures in Distributed Implementations | 98 |
Implementing 2DT on a Multiprocessor | 113 |
Optimization I | 128 |
Compiling Nested Loops for Limited Connectivity VLIWs | 143 |
Delayed Exceptions Speculative Execution of Trapping Instructions | 158 |
Static Analysis Abstract Interpretation | 172 |
Gerda Janssens Wim Simoens | 188 |
a Case for Agent Models 203 | 203 |
James S Uhl R Nigel Horspool | |
Other editions - View all
Common terms and phrases
abstract interpretation abstract processor achieve action semantics agent oriented agent-oriented algorithm allocation analysis application approach Artificial Intelligence attribute grammars autonomous agents behaviour beliefs binding c_unit communication compiler complex component concurrent construct context coupling evaluator defined dependence described developed distributed Distributed Artificial Intelligence domain dynamic environment example execution formal function calls GAIA global goal graph implementation input instruction intention interaction internal iteration knowledge layer logic programs loop machine mechanism mental mlrisc modules motive multi-agent systems node object operational semantics operations optimizations parallel pattern performed plans possible predictions problem Proc procedure programming language Prolog reactive reasoning representation represented result rewrite robot rules scheduling semantics sequence situation specification speculative execution speech act stack static structure superscalar symbolic syntax tree task techniques temporal logic tion transformations tuple variables virtual processes VLIW