Intelligent Agents VI. Agent Theories, Architectures, and Languages

1. Front Matter

   PDF

2. Section I: Agent Theories

   1. Reasoning about Visibility, Perception, and Knowledge

      • Michael Wooldridge, Alessio Lomuscio

      Pages 1-12

   2. A Spectrum of Modes of Knowledge Sharing between Agents

      • Alessio Lomuscio, Mark Ryan

      Pages 13-26

   3. Observability-based Nested Belief Computation for Multiagent Systems and Its Formalization

      • Hideki Isozaki, Hirofumi Katsuno

      Pages 27-41

   4. On the Correctness of PRS Agent Programs

      • Wayne Wobcke

      Pages 42-56

   5. Incorporating Uncertainty in Agent Commitments

      • Ping Xuan, Victor R. Lesser

      Pages 57-70

3. Section II: Agent and System Architectures

   1. Rational Cognition in OSCAR

      • John L. Pollock

      Pages 71-90

   2. Agents for Information Broadcasting

      • Esther David, Sarit Kraus

      Pages 91-105

   3. On the Evaluation of Agent Architectures

      • Henry Hexmoor, Marcus Huber, Jörg P. Müller, John Pollock, Donald Steiner

      Pages 106-116

   4. Toward a Methodology for AI Architecture Evaluation: Comparing Soar and CLIPS

      • Scott A. Wallace, John E. Laird

      Pages 117-131

   5. Reactive-System Approaches to Agent Architectures

      • Jaeho Lee

      Pages 132-146

   6. A Planning Component for RETSINA Agents

      • Massimo Paolucci, Onn Shehory, Katia Sycara, Dirk Kalp, Anandeep Pannu

      Pages 147-161

   7. A Scalable Agent Location Mechanism

      • Onn Shehory

      Pages 162-172

4. Section III: Agent Languages

   1. Reactivity in a Logic-Based Robot Programming Framework

      • Yves Lespérance, Kenneth Tam, Michael Jenkin

      Pages 173-187

   2. Extending ConGolog to Allow Partial Ordering

      • Chitta Baral, Tran Cao Son

      Pages 188-204

   3. Operational Semantics of Multi-Agent Organizations

      • Jacques Ferber, Olivier Gutknecht

      Pages 205-217

   4. Open Multi-Agent Systems: Agent Communication and Integration

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

      Pages 218-232

   5. Toward Team-Oriented Programming

      • David V. Pynadath, Milind Tambe, Nicolas Chauvat, Lawrence Cavedon

      Pages 233-247

5. Section IV: Agent-Oriented Software Engineering

   1. Agent-Oriented Software Engineering

      • Stefan Bussmann, Paolo Ciancarini, Keith Decker, Michael Huhns, Michael Wooldridge

      Pages 248-249

   2. Multiagent System Engineering: The Coordination Viewpoint

      • Paolo Ciancarini, Andrea Omicini, Franco Zambonelli

      Pages 250-259

Intelligent agents are one of the most important developments in computer science in the 1990s. 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 aspects of agent technology. Speci?cally, ATAL addresses issues such as th- ries of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for developing and evaluating agent systems. One of the strengths of the ATAL workshop series is its emphasis on the synergies between theories, infrastructures, architectures, methodologies, formal methods, and languages. This year’s workshop continued the ATAL trend of attracting a large n- ber of high-quality submissions. In more detail, 75 papers were submitted to the ATAL-99 workshop, from 19 countries. After stringent reviewing, 22 papers wereacceptedforpresentationattheworkshop.Aftertheworkshop,thesepapers were revised on the basis of comments received both from the original reviewers and from discussions at the workshop itself. This volume contains these revised papers.

• Cluster
• Intelligent agents
• Scala
• agent architectures
• agent languages
• agent-based decision making
• agent-oriented software engineering
• autonomous agents
• cognition
• multi-agent system
• multi-agent systems
• programming
• robot
• semantics
• uncertainty

• School of Electronics and Computer Science, University of Southampton, Southampton, UK

  Nicholas R. Jennings

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

  Yves Lespérance

Policies and ethics