Intelligent Agents V: Agents Theories, Architectures, and Languages

1. Front Matter

   Pages I-XXIV

   PDF

2. Belief-Desire-Intention

   1. The Belief-Desire-Intention Model of Agency

      • Michael Georgeff, Barney Pell, Martha Pollack, Milind Tambe, Michael Wooldridge

      Pages 1-10

   2. BDI Models and Systems: Reducing the Gap

      • Michael C. Mora, Jose G. Lopes, Rosa M. Viccariz, Helder Coelho

      Pages 11-27

   3. Information-Passing and Belief Revisionin Multi-agent Systems

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

      Pages 29-45

   4. On the Relationship between BDI Logics and Standard Logics of Concurrency

      • Klaus Schild

      Pages 47-61

   5. Intention Reconsideration Reconsidered

      • Michael Wooldridge, Simon Parsons

      Pages 63-79

   6. Making SharedPlans More Concise and Easier to Reason About

      • Luke Hunsberger

      Pages 81-98

3. Theories

   1. Autonomous Norm Acceptance

      • Rosaria Conte, Cristiano Castelfranchi, Frank Dignum

      Pages 99-112

   2. Moral Sentiments in Multi-agent Systems

      • Ana L. C. Bazzan, Rafael H. Bordini, John A. Campbell

      Pages 113-131

   3. Social Structure in Artificial Agent Societies: Implications for Autonomous Problem-Solving Agents

      • Sascha Ossowski, Ana García-Serrano

      Pages 133-148

   4. The Bases of Effective Coordination in Decentralized Multi-agent Systems

      • Sudhir K. Rustogi, Munindar P. Singh

      Pages 149-161

   5. A Model Checking Algorithm for Multi-agent Systems

      • Massimo Benerecetti, Fausto Giunchiglia, Luciano Serafini

      Pages 163-176

   6. Compositional Verification of Multi-agent Systems in Temporal Multi-epistemic Logic

      • Joeri Engelfriet, Catholijn M. Jonker, Jan Treur

      Pages 177-193

   7. Emergent Mental Attitudes in Layered Agents

      • Christoph G. Jung

      Pages 195-209

4. Architectures

   1. The Right Agent (Architecture) to Do the Right Thing

      • Jörg P. Müller

      Pages 211-225

   2. Representing Abstract Agent Architectures

      • Michael Fisher

      Pages 227-241

   3. HEIR - A Non-hierarchical Hybrid Architecture for Intelligent Robots

      • Maurizio Piaggio

      Pages 243-259

   4. A-Teams: An Agent Architecture for Optimization and Decision-Support

      • John Rachlin, Richard Goodwin, Sesh Murthy, Rama Akkiraju, Fred Wu, Santhosh Kumaran et al.

      Pages 261-276

   5. Goal-Satisfaction in Large-Scale Agent Systems: A Transportation Example

      • Onn Shehory, Sarit Kraus, Osher Yadgar

      Pages 277-292

   6. Task Decomposition and Dynamic Role Assignment for Real - Time Strategic Teamwork

      • Peter Stone, Manuela Veloso

      Pages 293-308

The leading edge of computer science research is notoriously ?ckle. New trends come and go with alarming and unfailing regularity. In such a rapidly changing ?eld, the fact that research interest in a subject lasts more than a year is worthy of note. The fact that, after ?ve years, interest not only remains, but actually continues to grow is highly unusual. As 1998 marked the ?fth birthday of the International Workshop on Agent Theories, Architectures, and Languages (ATAL), it seemed appropriate for the organizers of the original workshop to comment on this remarkable growth, and re ect on how the ?eld has developed and matured. The ?rst ATAL workshop was co-located with the Eleventh European Conference on Arti?cial Intelligence (ECAI-94), which was held in Amsterdam. The fact that we chose an AI conference to co-locate with is telling: at that time, we expected most researchers with an interest in agents to come from the AI community. The workshop, whichwasplannedoverthesummerof1993,attracted32submissions,andwasattended by 55 people.ATAL was the largest workshop at ECAI-94, and the clear enthusiasm on behalfofthecommunitymadethedecisiontoholdanotherATALworkshopsimple.The ATAL-94proceedingswereformallypublishedinJanuary1995underthetitleIntelligent Agents, and included an extensive review article, a glossary, a list of key agent systems, and — unusually for the proceedings of an academic workshop — a full subject index. Thehighscienti?candproductionvaluesembodiedbytheATAL-94proceedingsappear to have been recognized by the community, and resulted inATAL proceedings being the most successful sequence of books published in Springer-Verlag s Lecture Notes in Arti?cial Intelligence series.

• Agent Technology
• Autonomous Agents
• Intelligent Agents
• Multi-Agent Systems
• Software Agents
• agents
• algorithms
• artificial intelligence
• logic
• model checking
• multi-agent system
• optimization
• programming
• robot
• verification

• John Wiley & Sons Ltd., International House, Ealing, London, UK

  Jörg P. Müller

• Mitchell Madison Group, Melbourne, Australia

  Anand S. Rao

• Department of Computer Science, North Carolina State University, Raleigh, USA

  Munindar P. Singh

Policies and ethics