Intelligent Agents IV: Agent Theories, Architectures, and Languages: 4th International Workshop, ATAL'97, Providence, Rhode Island, USA, July 24-26, 1997, ProceedingsMunindar P. Singh, Anand Rao, Michael J. Wooldridge This carefully edited book constitutes the strictly refereed post-workshop proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages, ATAL'97, held in Providence, Rhode Island, USA, in July 1997. The 25 revised full papers presented were selected from a total of 76 submissions. The book is divided into sections on methodologies, architectures and infrastructures, coordination planning and monitoring, formal methods, theories, and architectures and methodologies. Like its predecessors published in the Intelligent Agents series, this volume specifically focuses on the relationships between the theory and the applications of agents. |
Contents
Methodologies for MultiAgent Systems | 1 |
Designing Embedded Agents to Optimize EndUser Objectives | 3 |
Agent Architecture as Object Oriented Design | 15 |
Architecture Based on the LanguageAction Perspective | 31 |
Toward the Specification and Design of Industrial Synthetic Ecosystems | 45 |
Bidding Mechanisms for Data Allocation in MultiAgent Environments | 61 |
Distributed Storage of Replicated Beliefs to Facilitate Recovery of Distributed Intelligent Agents | 77 |
A Customizable Coordination Service for Autonomous Agents | 93 |
Semantics for an Agent Communication Language | 209 |
Formal Semantics for an Abstract Agent Programming Language | 215 |
Intentional Agents and Goal Formation | 231 |
Processes | 245 |
Approximate Reasoning about Combined Knowledge | 259 |
On the Epistemic Foundations of Agent Theories | 275 |
The InfoSleuth Infrastructure | 281 |
Competition for Attention | 297 |
A Preliminary Report | 107 |
On Explicit Plan Languages for Coordinating Multiagent Plan Execution | 113 |
Social Comparison for Failure Detection and Recovery | 127 |
MultiAgent Coordination through Coalition Formation | 143 |
A Formal Specification of dMARS | 155 |
A Framework for ArgumentationBased Negotiation | 177 |
Agent Modelling in METATEM and DESIRE | 193 |
Analysis and Design of Multiagent Systems Using MASCommonKADS | 313 |
Multi Agent Systems as Open Societies A Design Framework | 329 |
A Scripting Tool for Building Agents | 339 |
| 345 | |
Common terms and phrases
achieve actions active agent architecture agent communication Agent Communication Language agent model agent plans agent program agent systems algorithm application approach Artificial Intelligence atoms behavior module belief updates bidding capabilities coalition formation complexity component Concurrent METATEM context coordination dataset defined denote described detect distributed dMARS domain dynamic environment evaluate example failure formal formulae framework function Grafcet Greedy illocutions imperative programming implementation InfoSleuth instance Intelligent Agents intention interaction interface internal interpretation knowledge base KQML language logical clock mechanism methodology multi-agent systems negotiation ontology operational semantics operators performance practical reasoning rules primitive problem Procedural Reasoning System Proceedings proposed protocol query reactive reactive plan relevant robot semantics server situation software agents specification speech acts structure subgoal task temporal logic theory tion transition trigger utility variables vector clock