Intelligent Agents VII. Agent Theories Architectures and Languages

1. Front Matter

   Pages I-XVII

   PDF

2. Agent Theories I

   1. Optimistic and Disjunctive Agent Design Problems

      • Michael Wooldridge, Paul E. Dunne

      Pages 1-14

   2. Updating Mental States from Communication

      • A.F. Dragoni, P. Giorgini, L. Serafini

      Pages 15-30

   3. Sensing Actions, Time, and Concurrency in the Situation Calculus

      • Stephen Zimmerbaum, Richard Scherl

      Pages 31-45

3. Agent Development Tools and Platforms

   1. Developing Multiagent Systems with agentTool

      • Scott A. De Loach, Mark Wood

      Pages 46-60

   2. Layered Disclosure: Revealing Agents’ Internals

      • Patrick Riley, Peter Stone, Manuela Veloso

      Pages 61-72

   3. Architectures and Idioms: Making Progress in Agent Design

      • Joanna Bryson, Lynn Andrea Stein

      Pages 73-88

   4. Developing Multi-agent Systems with JADE

      • Fabio Bellifemine, Agostino Poggi, Giovanni Rimassa

      Pages 89-103

4. Agent Theories II

   1. High-Level Robot Control through Logic

      • Murray Shanahan, Mark Witkowski

      Pages 104-121

   2. Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation

      • Oswaldo Terán, Bruce Edmonds, Steve Wallis

      Pages 122-135

5. Models of Agent Communication and Coordination

   1. Delegation and Responsibility

      • Timothy J. Norman, Chris Reed

      Pages 136-149

   2. Agent Theory for Team Formation by Dialogue

      • Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbrugge

      Pages 150-166

   3. Task Coordination Paradigms for Information Agents

      • Marian Nodine, Damith Chandrasekara, Amy Unruh

      Pages 167-181

6. Autonomy and Models of Agent Coordination

   1. Plan Analysis for Autonomous Sociological Agents

      • Michael Luck, Mark d’Inverno

      Pages 182-197

   2. Multiagent Bidding Mechanisms for Robot Qualitative Navigation

      • Carles Sierra, Ramon de López Màntaras, Dídac Busquets

      Pages 198-212

   3. Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information

      • Bradley J. Clement, Edmund H. Durfee

      Pages 213-227

7. Agent Languages

   1. Agent Programming with Declarative Goals

      • Koen V. Hindriks, Frank S. de Boer, Wiebe van der Hoek, John-Jules Ch. Meyer

      Pages 228-243

   2. Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application

      • Steven Shapiro, Yves Lespérance

      Pages 244-259

   3. Generalised Object-Oriented Concepts for Inter-agent Communication

      • Rogier M. van Eijk, Frank S. de Boer, Wiebe van der Hoek, John-Jules Meyer

      Pages 260-274

   4. Specification of Heterogeneous Agent Architectures

      • Simone Marini, Maurizio Martelli, Viviana Mascardi, Floriano Zini

      Pages 275-289

Intelligent agents are one of the most important developments in computer science of the past decade. Agents are of interest in many important application areas, ranging from human-computer interaction to industrial process control. The ATAL workshop series aims to bring together researchers interested in the core/micro aspects of agent technology. Speci?cally, ATAL addresses issues such as theories of agency, software architectures for intelligent agents, methodologies and programming languages for r- lizing agents, and software tools for applying and evaluating agent systems. One of the strengthsoftheATALworkshopseriesisitsemphasisonthesynergiesbetweentheories, languages, architectures, infrastructures, methodologies, and formal methods. This year s workshop continued the ATAL trend of attracting a large number of high quality submissions. In more detail, 71 papers were submitted to the ATAL 2000 workshop, from 21 countries. After stringent reviewing, 22 papers were accepted for publication and appear in these proceedings. As with previous workshops in the series, we chose to emphasize what we perceive asimportantnewthemesinagentresearch. Thisyear sthemeswerebothassociatedwith the fact that the technology of intelligent agents and multi-agent systems is beginning to migrate from research labs to software engineering centers. As agents are deployed in applications such as electronic commerce, and start to take over responsibilities for their human users, techniques for controlling their autonomy become crucial. As well, the availability of tools that facilitate the design and implementation of agent systems becomes an important factor in how rapidly the technology will achieve widespread use.

• Intelligent agent
• agent architectures
• agent coordination
• agent languages
• agent learning
• agent-based computing
• agent-oriented software engineering
• agents
• artificial intelligence
• autonomous agents
• learning
• multi-agent systems
• robot systems
• structured analysis

• Department of Communication Sciences, “Cognitive Science”, University of Siena, Siena, Italy

  Cristiano Castelfranchi

• Department of Computer Science, York University, Toronto, Canada

  Yves Lespérance

Policies and ethics