Intelligents Agents V : Agent Theories, Architectures and Languages: 5th International Workshop, Atal'98: Paris, France, July 4-7,1998: Proceedings

by Muller, Jorg P.; Singh, Munindar P.; Rao, Anand S.

• ISBN13: 9783540657132
• ISBN10: 3540657134
• Format: Paperback
• Copyright: 1999-03-01
• Publisher: Springer Verlag

Summary

This book is the fifth in the successful line of Intelligent Agents volumes published in LNAI. It is based on the fifth workshop on Agent Theories, Architectures, and Languages (ATAL'98) held during the Agents World conference in Paris in July 1998. The 25 revised full papers included were selected from a total of 90 submissions during two rounds of reviewing. Also included are an introduction by the volume editors, two summaries of panel discussions held at the workshop, a classification of all papers published so far in the five Intelligent Agents books, and a subject index. This state-of-the art survey is essential reading for anyone interested in agent technology.

Table of Contents

Introduction	xv
Section I: Belief-Desire-Intention
The Belief-Desire-Intention Model of Agency	1	(10)
Mike Georgeff
Barney Pell
Martha Pollack
Milind Tambe
Mike Wooldridge
BDI Models and Systems: Bridging the Gap	11	(18)
Michael Mora
Jose Lopes
Rosa Viccari
Helder Coelho
Information-Passing and Belief Revision in Multi-Agent Systems	29	(18)
Rogier van Eijk
Frank de Boer
Wiebe van der Hoek
John-Jules Ch. Meyer
On the Relationship Between BDI Logics and Standard Logics of Concurrency	47	(16)
Klaus Schild
Intention Reconsideration Reconsidered	63	(18)
Mike Wooldridge
Simon Parsons
Making Shared Plans More Concise and Easier to Reason About	81	(18)
Luke Hunsberger
Section II: Theories
Autonomous Norm Acceptance	99	(14)
Rosaria Conte
Cristiano Castelfranchi
Frank Dignum
Moral Sentiments in Multi-Agent Systems	113	(20)
Ana Bazzan
Rafael Bordini
John Campbell
Social Structure in Artificial Agent Societies: Implications for Autonomous Problem-Solving Agents	133	(16)
Sascha Ossowski
Ana Garcia-Serrano
The Bases of Effective Coordination in Decentralized Multi-Agent Systems	149	(14)
Sudhir Rustogi
Munindar Singh
A Model Checking Algorithm for Multiagent Systems	163	(14)
Massimo Benerecetti
Fausto Giunchiglia
Luciano Serafini
Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic	177	(18)
Joeri Engelfriet
Catholijn Jonker
Jan Treur
Emergent Mental Attitudes in Layered Agents	195	(16)
Christoph Jung
Section III: Architectures
The Right Agent (Architecture) to do the Right Thing	211	(16)
Jorg P. Muller
Representing Abstract Agent Architectures	227	(16)
Michael Fisher
HEIR-A Non Hierarchical Hybrid Architecture for Intelligent Robots	243	(18)
Maurizio Piaggio
A-Teams: An Agent Architecture for Optimization and Decision Support	261	(16)
John Rachlin
Richard Goodwin
Sesh Murthy
Rama Akkiraju
Fred Wu
Santhosh Kumaran
Raja Das
Goal Satisfaction in Large Scale Agent-Systems: A Transportation Example	277	(16)
Onn Shehory
Sarit Kraus
Osher Yadgar
Task Decomposition and Dynamic Role Assignment for Real-Time Strategic Teamwork	293	(16)
P. Stone
M. Veloso
Section IV: Languages
Agent Languages and Their Relationship to Other Programming Paradigms	309	(8)
John-Jules Ch. Meyer
A Survey of Agent-Oriented Methodologies	317	(14)
Carlos Iglesias
Mercedes Garrijo
Jose Gonzalez
The Agentis Agent Interaction Model	331	(14)
David Kinny
Content-Based Routing as the Basis for Intra-Agent Communication	345	(18)
Nikolaos Skarmeas
Keith Clark
Agent Communication Language: Toward a Semantics Based on Success, Satisfaction, and Recursion	363	(18)
Brahim Chaib-draa
Daniel Vanderveken
Control Structures of Rule-Based Agent Languages	381	(16)
Koen Hindriks
Frank de Boer
Wiebe van der Hoek
John-Jules Ch. Meyer
A Reactive Approach for Solving Constraint Satisfaction Problems	397	(16)
Arnaud Dury
Florence Le Ber
Vincent Chevrier
Increasing Resource Utilization and Task Performance by Agent Cloning	413	(14)
Onn Shehory
Katia Sycara
Prasad Chalasani
Somesh Jha
A Classification Schema to Volumes 1 to 5 of the Intelligent Agents Series	427	(16)
Mike Wooldridge
Jorg P. Muller
Index	443