Intelligent Agents VII: Agent Theories Architectures and Languages : 7th International Workshop, Atal 2000, Boston, Ma, Usa, July 7-9, 2000 Proceedings

by Atal 2000; Castelfranchi, Cristiano; Lesperace, Yves

• ISBN13: 9783540424222
• ISBN10: 3540424229
• Format: Paperback
• Copyright: 2001-08-01
• Publisher: Springer Verlag

Summary

This book is the seventh in the successful line of Intelligent Agents volumes published in LNAI. It is based on the seventh workshop on Agent Theories, Architectures, and Languages, ATAL '99, held in Boston, MA, USA in July 1999. The 21 revised full papers included were selected from a total of 71 submissions during two rounds of reviewing. Also included are one panel summary and the statements of panelists participating in another panel held during ATAL 2000. The book is divided into topical sections on agent theories; agent development tools and platforms; models of agent communication and coordination; autonomy and models of agent coordination; agent languages; and planning, decision making, and learning. This state-of-the-art survey is essential reading for anyone interested in agent technology.

Table of Contents

Section I: Agent Theories I
Optimistic and Disjunctive Agent Design Problems	1	(14)
Michael Wooldridge
Paul E. Dunne
Updating Mental States from Communication	15	(16)
A.F. Drgoni
P. Giorgini
L. Serafini
Sensing Actions, Time, and Concurrency in the Situation Calculus	31	(15)
Stephen Zimmerbaum
Richard Scherl
Section II: Agent Development Tools and Platforms
Developing Multiagent Systems with agentTool	46	(15)
Scott A. DeLoach
Mark Wood
Layered Disclosure: Revealing Agents' Internals	61	(12)
Patrick Riley
Peter Stone
Manuela Veloso
Architectures and Idioms: Making Progress in Agent Design	73	(16)
Joanna Bryson
Lynn Andrea Stein
Developing Multi-agent Systems with JADE	89	(15)
Fabio Bellifemine
Agostino Poggi
Giovanni Rimassa
Section III: Agent Theories II
High-Level Robot Control through Logic	104	(18)
Murray Shanahan
Mark Witkowski
Determining the Envelope of Emergent Agent Behaviour via Architectural Transformation	122	(14)
Oswaldo Teran
Bruce Edmonds
Steve Wallis
Section IV: Models of Agent Communication and Coordination
Delegation and Responsibility	136	(14)
Timothy J. Norman
Chris Reed
Agent Theory for Team Formation by Dialogue	150	(17)
Frank Dignum
Barbara Dunin-Keplicz
Rineke Verbrugge
Task Coordination Paradigms for Information Agents	167	(15)
Marian Nodine
Damith Chandrasekara
Amy Unruh
Section V: Autonomy and Models of Agent Coordination
Plan Analysis for Autonomous Sociological Agents	182	(16)
Michael Luck
Mark d'Inverno
Multiagent Bidding Mechanisms for Robot Qualitative Navigation	198	(15)
Carles Sierra
Ramon Lopez de Mantaras
Didac Busquets
Performance of Coordinating Concurrent Hierarchical Planning Agents Using Summary Information	213	(15)
Bradley J. Clement
Edmund H. Durfee
Section VI: Agent Languages
Agent Programming with Declarative Goals	228	(16)
Koen V. Hindriks
Frank S. de Boer
Wiebe van der Hoek
John-Jules Ch. Meyer
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application	244	(16)
Steven Shapiro
Yves Lesperance
Generalised Object-Oriented Concepts for Inter-agent Communication	260	(15)
Rogier M. van Eijk
Frank S. de Boer
Wiebe van der Hoek
John-Jules Ch. Meyer
Specification of Heterogeneous Agent Architectures	275	(15)
Simone Marini
Maurizio Martelli
Viviana Mascardi
Floriano Zini
Section VII: Planning, Decision Making, and Learning
Improving Choice Mechanisms within the BVG Architecture	290	(15)
Luis Antunes
Joao Faria
Helder Coelha
Planning-Task Transformations for Soft Deadlines	305	(15)
Sven Koenig
An Architectural Framework for Integrated Multiagent Planning, Reacting, and Learning	320	(11)
Gerhard Weib
Section VIII: Panel Summary: Agent Development Tools
Panel Summary: Agent Development Tools	331	(8)
Joanna Bryson
Keith Decker
Scott A. DeLoach
Michael Huhns
Michael Wooldridge
Section IX: Panel Summary: Autonomy - Theory, Dimensions, and Regulation
Again on Agents' Autonomy: A Homage to AlanTuring-Panel Chair's Statement	339	(4)
Cristiano Castelfranchi
Autonomy as Decision-Making Control	343	(3)
K. Suzanne Barber
Cheryl E. Martin
Autonomy: Theory Dimensions, and Regulation	346	(3)
Rino Falcone
Situated Autonomy	349	(2)
Henry Hexmoor
Autonomy: A Nice Idea in Theory	351	(3)
Michael Luck
Mark d'Inverno
Adjustable Autonomy: A Response	354	(3)
Miling Tambe
David Pynadath
Paul Scerri
Author Index	357