Lecture Notes in Artificial Intelligence 2333

Transcription

1 Lecture Notes in Artificial Intelligence 2333 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen

2 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo

3 John-Jules Ch. Meyer Milind Tambe (Eds.) Intelligent Agents VIII Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001 Revised Papers 13

4 Series Editors Jaime G. Carbonell,Carnegie Mellon University, Pittsburgh, PA, USA Jörg Siekmann, University of Saarland, Saarbrücken, Germany Volume Editors John-Jules Ch. Meyer Utrecht University, Institute of Information and Computing Sciences Intelligent Systems Group, Padualaan 14 De Uithof, 3508 TB Utrecht, The Netherlands Milind Tambe University of Southern California, Information Sciences Institute Henry Salvatori Computer Center 232, Los Angeles, CA , USA Cataloging-in-Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Intelligent agents VIII : agent theories, architectures, and languages ; 8th international workshop ; revised papers / ATAL 2001, Seattle, WA, USA, August 1-3,2001. John-Jules Ch. Meyer ; Milind Tambe (ed.). - Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London ; Milan ; Paris ; Tokyo : Springer, 2002 (Lecture notes in computer science ; Vol : Lecture notes in artificial intelligence) ISBN CR Subject Classification (1998): I.2.11, I.2, C.2.4, D.2, F.3 ISSN ISBN Springer-Verlag Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer-Verlag. Violations are liable for prosecution under the German Copyright Law. Springer-Verlag Berlin Heidelberg New York a member of BertelsmannSpringer Science+Business Media GmbH Springer-Verlag Berlin Heidelberg 2002 Printed in Germany Typesetting: Camera-ready by author, data conversion by Steingräber Satztechnik GmbH, Heidelberg Printed on acid-free paper SPIN /

5 Preface This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on Agent Theories, Architectures, and Languages have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus. Specifically, ATAL addresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the more practical aspects were present, viz. Formal Theories of Negotiation, organized by Frank Dignum, and Agents for Hand-Held, Mobile, or Embedded Devices, organized by Tim Finin. There was also an extra session on RoboCup Rescue, organized and presented by Satoshi Tadokoro and Ranjit Nair. ATAL 2001 attracted 68 papers from over 20 countries all over the world, of which 30 were selected for presentation at the workshop and publication in this volume. We invited two outstanding speakers: Fausto Giunchiglia (Trento, Italy) and Tom Dean (Brown, USA). The following authors / papers were given an award, sponsored by Springer: BEST PAPER: Sadri, Toni, and Torroni, Dialogues for negotiation: agent varieties and dialogue sequences BEST STUDENT PAPER: Felix Brandt (paper written jointly with Gerhard Weiss): Antisocial agents and Vickrey auctions Finally, we would like to take this opportunity to thank all the persons involved in the realization of the workshop and this book: authors, invited speakers, PC members, additional reviewers, the associate chair, special track organizers, steering committee, the audience of the ATAL 2001 workshop, the people from Springer-Verlag, and last but not least our sponsors Springer-Verlag and the ESPRIT AgentLink2 Network of Excellence. April 2002 John-Jules Meyer Milind Tambe

6 VI Organization Workshop Organization Organizing committee John-Jules Meyer (Co-chair) Utrecht University, The Netherlands Milind Tambe (Co-chair) University of Southern California, USA David Pynadath (Associate chair) University of Southern California, USA Special track organisers Formal Theories of Negotiation : Frank Dignum Utrecht University, The Netherlands Agents for Hand-Held, Mobile, or Embedded Devices : Tim Finin University of Maryland Baltimore County, USA Steering committee Nick Jennings Yves Lesperance John-Jules Meyer Joerg Mueller Munindar Singh Milind Tambe Michael Wooldridge Southampton, UK York, Canada Utrecht, The Netherlands Siemens, Germany North Carolina State, USA USC-ISI, USA Liverpool, UK Program chair John-Jules Meyer Milind Tambe Utrecht University, The Netherlands University of Southern California, USA Program committee see listing on next page Additional reviewers Sasikanth Avancha, Jim Blythe, Harry Chen, R. Scott Cost, Esther David, Luke Hunsberger, Lalana Kagal, Vlad Korolev, Cheryl Martin, Foster McGeary, Maria Miceli, Jill Nickerson, Charlie Ortiz, Fatma Ozcan, Marek Sergot, Steven Shapiro, S. A. Terwijn, Maksim Tsvetovat, Leon van der Torre

7 Organization VII Program committee Chitta Baral Suzanne Barber Michael Beetz Cristiano Castelfranchi Lawrence Cavedon Phil Cohen Rosaria Conte Giuseppe De Giacomo Keith Decker Frank Dignum Mark d Inverno Alexis Drogoul Ed Durfee Jacques Ferber Tim Finin Klaus Fischer Michael Fisher Stan Franklin Fausto Giunchiglia Piotr Gmytrasiewicz Barbara Grosz Henry Hexmoor Wiebe van der Hoek Marc Huber Nick Jennings Anupam Joshi Hirofumi Katsuno David Kinny Sarit Kraus Ora Lassila Yves Lesperance Alessio Lomuscio Michael Luck John-Jules Meyer Joerg Mueller Hideyuki Nakashima Simon Parsons David Pynadath Anand Rao Luciano Serafini Onn Shehory Carles Sierra Munindar Singh Liz Sonenberg Arizona State Univ., USA Univ. of Texas at Austin, USA Univ. of Bonn, Germany CNR, Rome, Italy RMIT, Australia Oregon Graduate Inst., USA IP-CNR, Italy Univ. of Rome, Italy Univ. of Delaware, USA Utrecht Univ., The Netherlands Univ. of Westminster, UK Univ. of Paris VI, France Univ. of Michigan, USA Univ. of Montpellier II, France Univ. of Maryland Baltimore County DFKI, Germany Univ. of Liverpool, UK Univ. of Memphis, USA Univ. of Trento, Italy Univ. of Texas at Arlington, USA Harvard Univ., USA Univ. of North Dakota, USA Utrecht Univ., The Netherlands Intelligent Reasoning Systems, USA Univ. of Southampton, UK Univ. of Maryland, USA Tokyo Denki Univ., Japan Univ. of Melbourne, Australia Bar-Ilan Univ., Israel Nokia Research Center, Boston, USA York Univ., Toronto, Canada Imperial College, London, UK Univ. of Southampton, UK Utrecht Univ., The Netherlands (co-chair) Siemens, Germany AIST, Japan Univ. of Liverpool, UK USC-ISI, USA Mitchell Madison Group, UK Univ. of Trento, Italy IBM Haifa Res. Labs, Israel CSIC, Spain North Carolina State Univ., USA Univ. of Melbourne, Australia

8 VIII Organization Peter Stone Katia Sycara Milind Tambe Jan Treur Tom Wagner Wayne Wobcke Mike Wooldridge Peter Wurman Makoto Yokoo Eric Yu ATT Labs, USA Carnegie Mellon Univ., USA USC-ISI, USA (co-chair) Free Univ. Amsterdam, The Netherlands Univ. of Massachusetts at Amherst, USA Univ. of Melbourne, Australia Univ. of Liverpool, UK North Carolina State Univ., USA NTT Labs, Japan Univ. of Toronto, Canada

9 Table of Contents Introduction... 1 John-Jules Ch. Meyer, Milind Tambe Agent Modeling Knowledge Level Software Engineering... 6 Fausto Giunchiglia, Anna Perini, Fabrizio Sannicolò Emotions and Personality in Agent Design and Modeling Piotr J. Gmytrasiewicz, Christine L. Lisetti The Ψ Calculus: An Algebraic Agent Language David Kinny Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems Thomas Wagner, Victor Lesser Formal Specification and Verification of Agents On the Epistemic Feasibility of Plans in Multiagent Systems Specifications Yves Lespérance On Multi-agent Systems Specification via Deontic Logic Alessio Lomuscio, Marek Sergot Agents and Roles: Refinement in Alternating-Time Temporal Logic Mark Ryan, Pierre-Yves Schobbens The Computational Complexity of Agent Verification Michael Wooldridge, Paul E. Dunne Agent Architectures and Languages A Goal-Based Organizational Perspective on Multi-agent Architectures Manuel Kolp, Paolo Giorgini, John Mylopoulos MIN ERVA - A Dynamic Logic Programming Agent Architecture João Alexandre Leite, José Júlio Alferes, Luís Moniz Pereira Running AgentSpeak(L) Agents on SIM AGENT Rodrigo Machado, Rafael H. Bordini

10 X Table of Contents Agent Communication Ontological Overhearing Marco Aiello, Paolo Busetta, Antonia Donà, Luciano Serafini Agent Dialogues withconflicting Preferences Leila Amgoud, Simon Parsons An Abstract Machine for Classes of Communicating Agents Based on Deduction Pierre Bonzon A Formal Semantics for ProxyCommunicative Acts Marcus J. Huber, Sanjeev Kumar, Philip R. Cohen, David R. McGee Commitment Machines Pınar Yolum, Munindar P. Singh Collaborative Planning and Resource Allocation Generating Bids for Group-Related Actions in the Context of Prior Commitments Luke Hunsberger Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach Pragnesh Jay Modi, Hyuckchul Jung, Milind Tambe, Wei-Min Shen, Shriniwas Kulkarni Improving Optimality of n Agent Envy-Free Divisions Stephen W. Nuchia, Sandip Sen Trust and Safety Trustworthiness of Information Sources and Information Pedigrees Wei Liu, Mary-Anne Williams Revisiting Asimov s First Law: A Response to the Call to Arms David V. Pynadath, Milind Tambe Formal Theories of Negociation Formal Theories of Negotiation. Section Introduction Frank Dignum A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains Maria Victoria Belmonte, Ricardo Conejo, José Luis Pérez-de-la-Cruz, Francisco Triguero

11 Table of Contents XI Antisocial Agents and Vickrey Auctions Felix Brandt, Gerhard Weiß Formalizing a Language for Institutions and Norms Marc Esteva, Julian Padget, Carles Sierra Simple Negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies Peyman Faratin, Mark Klein, Hiroki Sayama, Yaneer Bar-Yam Optimal Negotiation Strategies for Agents withincomplete Information S. Shaheen Fatima, Michael Wooldridge, Nicholas R. Jennings Implicit Negotiation in Repeated Games Michael L. Littman, Peter Stone Dialogues for Negotiation: Agent Varieties and Dialogue Sequences Fariba Sadri, Francesca Toni, Paolo Torroni Agents for Hand-Held, Mobile, or Embdedded Devices Agents for Hand-Held, Mobile, or Embedded Devices. Section Introduction Tim Finin KSACI: A Handheld Device Infrastructure for Agents Communication Ryan L. Albuquerque, Jomi F. Hübner, Gustavo E. de Paula, Jaime S. Sichman, Geber L. Ramalho LEAP: A FIPA Platform for Handheld and Mobile Devices Federico Bergenti, Agostino Poggi FIPA-OS Agent Platform for Small-Footprint Devices Mikko Laukkanen, Sasu Tarkoma, Jani Leinonen Author Index