The Fourth international Joint Conference on Autonomous Agents & Multi Agent Systems Utrecht University, The Netherlands July 25-29,2005 AAMAS 05 Welcome Welcome to the printed from CD-rom version of the AAMAS 2005 Proceedings. This publication includes the volumes of the proceedings and industrial track publications. Editors: Frank Dignum, Virginia Dignum Sven Koenig, Sarit Kraus Michal Pechoucek, Munindar Singh Donald Steiner, Simon Thompson Michael Wooldridge With the collaboration of: ACM-SIGART The International Foundation for Multiagent Systems (IFMAS) The International Workshop on Agents, Theories Architectures and Languages (ATAL) Volume 3 Printed from CD-ROM with permission of ACM by: Curran Associates, Inc. 57 Morehouse Lane Red Hook, NY 12571 www.proceedinqs.com CSIN: 9999900069 TIB/UB Hannover 128 304 553 89
Transcript
The Fourth international Joint Conference on
Autonomous Agents & Multi Agent SystemsUtrecht University, The Netherlands July 25-29,2005
AAMAS 05 Welcome
Welcome to the printed from CD-rom version of the AAMAS 2005Proceedings. This publication includes the volumes of the proceedings and
industrial track publications.
Editors:
Frank Dignum, Virginia DignumSven Koenig, Sarit Kraus
Michal Pechoucek, Munindar SinghDonald Steiner, Simon Thompson
Michael Wooldridge
With the collaboration of:
ACM-SIGARTThe International Foundation for Multiagent Systems (IFMAS)
The International Workshop on Agents, Theories Architectures and Languages(ATAL)
Volume 3
Printed from CD-ROM with permission of ACM by:
Curran Associates, Inc.57 Morehouse Lane
Red Hook, NY 12571www.proceedinqs.com
CSIN: 9999900069
TIB/UB Hannover128 304 553
89
The Fourth International Joint Conference on
Autonomous Agents & Multi Agent SystemsUtrecht University, The Netherlands JuJy 25-29,2005
SESSION 1a: embodied, emotional and believable agents I
Humans and Agents in 3D Electronic Institutions (page 1093)Anton Bogdanovych (University of Technology Sydney), Helmut Berger, Carles Sierra, Simeon Simoff
Design and Evaluation of Expressive Gesture Synthesis for Embodied Conversational Agents (page1095)Bjoern Hartmann (Stanford University IUT Montreuil University of Paris 8), Maurizio Mancini, Stephanie Buisine,Catherine Pelachaud
Controlling the Focus of Perceptual Attention in Embodied Conversational Agents (page 1097)Youngjun Kim (USC / Institute for Creative Technologies), Randall Hill, David Traum
Evaluating the Interaction with Synthetic Agents Using Attention and Affect Tracking (page 1099)Helmut Prendinger (National Institute of Informatics), Chunling Ma, Jin Yingzi, Kushida Kazutaka, Mitsuru Ishizuka
SESSION 1b: learning
Adaptive Agent's Integration in a New Environment: Interactions as a Source of Learning (page 1103)Isabelle Jars (LASS), Nadia Kabachi, Michel Lamure
Coordinated Exploration in Multi-Agent Reinforcement Learning: An Application to Load-balancing(page 1105)Katja Verbeeck (Vrije Universiteit Brussel), Ann Nowe, Karl Tuyls
Sharing Information for Qlearningbased Network Bandwidth Estimation and Network FailureDetection (page 1107)Partha Dutta (University of Southampton), Nicholas Jennings, Luc Moreau
GACS an Evolutionary Approach to the Spatial Coordination of Agents (page 1109)Fabien Flacher (AnimatLab-LIP6 Paris France Dassault-Aviation St-Cloud France), Olivier Sigaud
Automatic Computer Game Balancing: A Reinforcement Learning Approach (page 1111)Gustavo Andrade (Geraldo Vanderlei de Andrade Leticia Danzi de Andrade), Geber Ramalho, Hugo Santana, VincentCorruble
SESSION 1c: ACL and protocols
Communication Management Using Abstraction in Distributed Bayesian Networks (page 1115)Jiaying Shen (Department of Computer Science University of Massachusetts Amherst), Victor Lesser
A Software Tool for the Development of MAS Communication Protocols based on Conversations(page 1117)Madieyna Lamine Fall (Universite du Quebec a Trois-Rivieres), Sylvain Delisle
Reliable Group Communication and Institutional Action in a Multi-Agent Trading Scenario (page1119)Stephen Cranefield (University of Otago)
Hermes: A Methodology for GoalOriented Agent Interactions (page 1121)Christopher Cheong (RMIT University), Michael Winikoff
An Integrated Framework for Adaptive Reasoning About Conversation Patterns (page 1123)Michael Rovatsos (University of Edinburgh), Felix Fischer, Gerhard Weiss
SESSION 1d: logical foundations I
Temporal Logics for Normative Agent Communication Protocols (page 1127)Ulle Endriss (Imperial College London)
11
Bounded Model Checking Knowledge and Branching Time in Synchronous Multiagent Systems(page 1129)Xiangyu Luo (Dept. of Computer Science Sun Yat-sen Univ.), Kaile Su, Abdul Sattar, Qingliang Chen, Guanfeng Lv
Model Generation for PRS-like Agents (page 1131)Wayne Wobcke (University of New South Wales), Marc Chee, Krystian Ji
Recognition of the Intention to Perform a Procedure: a Method Based on Probabilities (page 1133)Robert Demolombe (ONERA Toulouse), Ana Maria Otermin Fernandez
A Logic of Reasoning, Communication and Cooperation with Syntactic Knowledge (page 1135)Thomas Agotnes (Department of informatics University of Bergen), Michal Walicki
SESSION 2a: collective and emergent behavior
Emergent Programming Feasibility Study using SelfOrganizing InstructionAgents (page 1139)Jean-Pierre George (IRIT), Marie-Pierre Gleizes
Using Decision-Theoretic Models to Enhance Agent System Survivability (page 1141)Anthony Cassandra (Telcordia Technologies), Marian Nodine, Shilpa Bondale, Steve Ford, David Wells
Stability and Control of Agent Ecosystems (page 1143)Maxim Peysakhov (Drexel University), Robert Lass, William Regli
SESSION 2b: cooperation I
Study of Virtual Organizations Using MultiAgent System (page 1147)Qinhe Zheng (University of Massachusetts at Dartmouth), Xiaoqin (Shelley) Zhang
A Hybrid Transfer of Control Model for Adjustable Autonomy Multiagent Systems (page 1149)Michael Cheng (University of Waterloo School of Computer Science), Robin Cohen
Agent-Based Virtual Organisations for the Grid (page 1151)Jigar Patel (University Of Southampton), Luke Teacy, Nicholas Jennings, Michael Luck, Stuart Chalmers, Nir Oren,Timothy J. Norman, Alun Preece, Peter M. D. Gray, Gareth Shercliff, Patrick J. Stockreisser, Jianhua Shao, W. AlexGray, Nick J. Fiddian, Simon Thompson
SESSION 2c: AOSE I
From Concepts to Agents: Towards a Framework for Multi-Agent System Modelling (page 1155)Richard Hill (Sheffield Hallam University), Simon Polovina, Martin Beer
Multi-agent Concepts as Basis for Dynamic Plug-in Software Architectures (page 1157)Lawrence Cabac (University of Hamburg), Michael Duvigneau, Daniel Moldt, Heiko Rolke
Comparative Analysis of Top-Down and Bottom-up Methodologies for Multi-Agent System Design(page 1159)Valentino Crespi (California state university los angeles), Aram Galstyan, Kristina Lerman
i l l
SESSION 2d: negotiation and agreement I
A RealWorld Approach to Secure and Trusted Negotiation in MASs (page 1163)Roberto Bianchi (Parma University), Andrea Fontana, Federico Bergenti
A Verifiable Protocol for Arguing about Rejections in Negotiation (page 1165)Jelle van Veenen (Tilburg University), Henry Prakken
Negotiating Agents: From Full Autonomy to Dynamic Degrees of Delegation (page 1167)Diemo Urbig (Humboldt-Universitat zu Berlin), Kay Schroter
SESSION 3a: learning and emergent behavior
Pheromone Model: Application to Traffic Congestion Prediction (page 1171)Osamu Masutani (Denso IT Laboratory Inc. Research and Development Group), Hiroshi Sasaki, Hirotoshi Iwasaki,Yasushi Ando, Yoshiaki Fukazawa, Shinichi Honiden
Simulating Data Dissemination Techniques for Local Reputation Systems (page 1173)Andreas Schlosser (Darmstadt University of Technology), Marco Voss
On Decentralised Clustering in Self-monitoring Networks (page 1175)Piraveenan Mahendra (University of Adelaide), Mikhail Prokopenko, Peter Wang, Don Price
Discovering Strategic Multi-Agent Behavior in a Robotic Soccer Domain (page 1177)Andraz Bezek (Jozef Stefan Institute)
Intelligent Agents for Wireless Sensor Networks (page 1179)Richard Tynan (UCD), David Marsh, Donal O'Kane, Gregory O'Hare
SESSION 3b: cooperation II
Task and Social Coordination in Agent Organizations (page 1183)Virginia Dignum (Utrecht University), Frank Dignum
Towards a Formal Model for Task Allocation via Coalition Formation (page 1185)Leila Amgoud (IRIT - CNRS)
Reducing Coalition Structures via Agreement Specification (page 1187)Guido Boella (dipartimento informatica universita di torino), Sauro Luigi, Leon van der Torre
An Organisation Infrastructure for Multi-Agent Systems based on Agent Coordination Contexts(page 1189)Mirko Viroli (DEIS Universita di Bologna), Alessandro Ricci, Andrea Omicini
A Framework for Specifying Group Decision-Making Mechanisms (page 1191)Luke Hunsberger (Vassar College)
SESSION 3c: voting
Strategy/Falsename Proof Protocols for Combinatorial Multi-Attribute Procurement Auction: HandlingArbitrary Utility of the Buyer (page 1195)Takayuki Suyama (NTT Communication Science Laboratories), Makoto Yokoo
IV
Cooperation In Stochastic Games Through Communication (page 1197)Raghav Aras (Loria \ Inria-Lorraine), Alain Dutech, Francois Charpillet
Using Tags to Evolve Trust and Cooperation Between Groups (page 1199)Aviv Zohar (The Hebrew University Jerusalem Israel), Jeffrey Rosenschein
An analysis of the Shapley value and its uncertainty for the voting game (page 1201)Shaheen Fatima (University of Liverpool), Michael Wooldridge, Nicholas Jennings
Optimizing Auctioneer's Revenues in Expanding Multi-Unit Auctions (page 1203)Onn Shehory (IBM Haifa Research Labs), Eran Dror
Computing the Communication Costs of Item Allocation (page 1205)Timothy Rauenbusch (SRI International), Stuart Shieber, Barbara Grosz
SESSION 3d: negotiation and agreement II
Experimental Analysis of Negotiation Meta Strategies (page 1209)Raquel Ros Espinoza (Artificial Intelligence Research Institute CSIC), Carles Sierra
A Negotiation Model for Autonomous Agents: Key Features and Comparison with Existing Models(page 1211)Fernando Lopes (INETI), Nuno Mamede, Augusto Novais, Helder Coelho
A Decentralized Bargaining Protocol on Dependent Continuous Multi-Issue for Approximate ParetoOptimal Outcomes (page 1213)Nicola Gatti (Politecnico di Milano DEI), Francesco Amigoni
Balancing Conflict and Cost in the Selection of Negotiation Opponents (page 1217)Steve Munroe (University of Southampton), Michael Luck
SESSION 4a: coordination and planning
Coordination of Quantum Internet Agents (page 1221)Matthias Klusch (DFKI)
A Simulator for Multi-Agent Partnership Formation Based on Dependence Graphs (page 1223)Julio Monteiro (Escola Politecnica da USP), Jaime Sichman
Buyer's Coalition for Optimal Search (page 1225)David Same (Bar-Ilan University), Sarit Kraus
Individual Beliefs and Group Acceptances within Agent Organizations (page 1227)Ioannis Partsakoulakis (University of the Aegean), George Vouros
The DEFACTO System for Human Omnipresence to Coordinate Agent Teams: The Future of DisasterResponse (page 1229)Nathan Schurr (University of Southern California), Janusz Marecki, Nikhil Kasinadhuni, J.P. Lewis, Milind Tambe, PaulScerri
SESSION 4b: agent applications
Untraceability of Mobile Agents (page 1233)Rafal Leszczyna (Joint Research Centre), Janusz Gorski
Access Control with Safe Role Assignment for Mobile Agents (page 1235)Guillermo Navarro (Universitat Autonoma de Barcelona), Joan Borrell, Jose Antonio Ortega-Ruiz, Sergi Robles
Just in Time Mobile Agent Generation and Management (page 1237)Glenn Jayaputera (Computer Science and Software Enggineering Monash University), Seng Loke, Arkady Zaslavsky
Attacking the Migration Bottleneck of Mobile Agents (page 1239)Peter Braun (Swinburne University of Technology), Steffen Kern, Ingo Mueller, Ryszard Kowalczyk
Efficient Information Retrieval Using Mobile Agents (page 1241)Irene Sygkouna (National Technical University of Athens NTUA), Miltiades Anagnostou
SESSION 4c: trust and reputation I
Formalising Trust for Online Communities (page 1245)Ali Shaikh Ali (Cardiff University School of Computer Science), Omer Rana
Fuzzy Number Approach to Trust in Coalition Environment (page 1247)Martin Rehak (Department Of Cybernetics Czech Technical University), Michal Pechoucek, Petr Benda
Trusted Intermediating Agents in Electronic Trade Networks (page 1249)Tomas B. Klos (Center for Mathematics and Computer Science), Floortje Alkemade
Trust-Based Contracting in Supply Chains (page 1251)Sandip Sen (University of Tulsa Department of Mathematical & Computer Science), Sabyasachi Saha, DipyamanBanerjee
A Framework for Decomposing Reputation in MAS into Competence and Integrity (page 1253)Michael Smith (UMBC), Marie des Jardins
SESSION 4d: argumentation and dialog
Law-Governed Linda as a Semantics for Agent Dialogue Protocols (page 1257)Sylvie Doutre (University of Liverpool), Peter McBurney, Michael Wooldridge
Liberalizing Protocols for Argumentation in Multi-agent Systems (page 1259)Gerard A.W. Vreeswijk (Utrecht University)
Generating Intentions Through Argumentation (page 1261)Katie Atkinson (Department of Computer Science University of Liverpool), Trevor Bench-Capon, Peter McBurney
A Drosophila for Computational Dialectics (page 1263)Simon Wells (Division of Applied Computing University of Dundee), Chris Reed
VI
SESSION 5a: AOSE II
Agent Synthesis: Partnership and Agreement in Cooperative Mobile Agents (page 1267)Fuyuki Ishikawa (The University of Tokyo), Nobukazu Yoshioka, Yasuyuki Tahara, Shinichi Honiden
Integrating a MAS and a Pandemonium: the Open-Source Framework AKIRA (page 1269)Giovanni Pezzulo (ISTC-CNR), Calvi Gianguglielmo, Rino Facone
SEAGENT: A Platform for Developing Semantic Web Based Multi Agent Systems (page 1271)Oguz Dikenelli (Ege University Computer Eng. Department), Riza Cenk Erdur, Ozgur Gumus, Erdem Eser Ekinci,Onder Gtircan, Geylani Karda, Inane Seylan, Ali Murat Tiryaki
SESSION 5b: information agents, brokering and matchmaking
Handling Information Overload:A MAS Architecture For Distributed Information Brokering (page1275)Klaus Stein (Uni Bamberg), Christoph Schlieder
Agent-based Matchmaking of Mathematical Web Services (page 1277)Simone Ludwig (School of Computer Science Cardiff Universit), Omer Rana, Bill Naylor, Julian Padget
SESSION 5c: auctions and mechanism design
Usability of Dial-a-Ride Systems (page 1281)Itsuki Noda (AIST JAPAN), Masayuki Ohta, Yoichiro Kumada, Kosuke Shinoda, Hideyuki Nakashima
SESSION 5d: norms, social laws and social structures
Agent-Oriented Context-Aware Platforms Supporting Communities of Practice in Health Care (page1287)Luiz Olavo Silva Santos (Universita degli Studi di Trento), Renata Guizzardi, Marten van Sinderen
An Operational Approach to Norms in Artificial Institutions (page 1289)Francesco Vigano' (Universita' della Svizzera italiana), Nicoletta Fornara, Marco Colombetti
Norm Compliance of Protocols in Electronic Institutions (page 1291)Huib Aldewereld (Utrecht University), Javier Vazquez-Salceda, Frank Dignum, John-Jules Meyer
SESSION 6a: logical foundations II
A BDI Architecture for Goal Deliberation (page 1295)Alexander Pokahr (University of Hamburg Distributed Systems and Information Systems), Lars Braubach, WinfriedLamersdorf
Towards An Agent Oriented Programming Language with Caste and Scenario Mechanisms (page1297)Ji Wang (National Lab for P&D), Rui Shen, Hong Zhu
Vll
On the Metaphysics of Agents (page 1299)Paul Davidsson (Blekinge Institute of Technology School of engineering), Stefan Johansson
Game Theoretic Golog under Partial Observability (page 1301)Alberto Finzi (TU Wien), Thomas Lukasiewicz
How Local Is That Optimum? k-Optimality for DCOP (page 1303)Jonathan Pearce (University of Southern California), Rajiv Maheswaran, Milind Tambe
SESSION 6b: task and resource allocation I
A Decentralized Variable Ordering Method for Distributed Constraint Optimization (page 1307)Anton Chechetka (The Robotics Institute Carnegie Mellon University), Katia Sycara
Allocation Of Indivisible Goods: A General Model And Some Complexity Results (page 1309)Sylvain Bouveret (ONERA-DCSD), Helene Fargier, Jerome Lang, Michel Lemaitre
Adaptive A* (page 1311)Sven Koenig (University of Southern California Computer Science Department), Maxim Likhachev
An Autonomous Performance Control Framework for Distributed Multi-Agent Systems: A QueueingTheory Based Approach (page 1313)Nathan Gnanasambandam (Pennsylvania State University), Seokcheon Lee, Soundar R.T. Kumara, Natarajan Gautam,Wilbur Peng, Vikram Manikonda, Marshall Brinn, Mark Greaves
SESSION 6c: ontologies
OWL Ontology Translation based on the O3F Framework (page 1317)Luis Mota (ISCTE), Luis Botelho
Coordinating Change of Agents' States in Situated Agents Models (page 1319)Giuseppe Vizzari (University of Milan-Bicocca), Stefania Bandini
Observation-Based Proactive Communication in Team Cooperation (page 1321)Yu Zhang (Trinity University), Richard A. Volz, Thomas R. Ioerger
Layered Message Semantics using Social Commitments (page 1323)Roberto Flores (Christopher Newport University Dept. of Physics Computer Science & Eng), Philippe Pasquier, BrahimChaib-draa
Engineering Agent Interactions from ACL-based Reusable Connectors (page 1325)Juan Manuel Serrano (University Rey Juan Carlos), Sascha Ossowski, Sergio Saugar
SESSION 7a: argumentation and dialog
Protocol Synthesis with Dialogue Structure Theory (page 1329)Jarred McGinnis (University of Edinburgh), David Roberston, Chris Walton *~
ArgumentBased Negotiation in a Social Context (page 1331)Nishan Karunatillake (University of Southampton), Nicholas Jennings, Iyad Rahwan, Timothy Norman
Vlll
SESSION 7b: multi-agent plans and planning
Real-time Dense Communication among Agents for Active Tracking (page 1335)Norimichi Ukita (Nara Institute of Science and Technology)
Multiagent Planning through Plan Repair (page 1337)Roman van der Krogt (Delft University of Technology), Mathijs de Weerdt, Nico Roos, Cees Witteveen
Data Storage in Unreliable Multiagent Networksn (page 1339)Filip Miletic (Delft University of Technology Circuits and Systems Group), Patrick Dewilde
Service-Based Computing for Agents on Disruption and Delay Prone Networks (page 1341)Joseph Kopena (Secure Wireless Agent Testbed College of Engineering; Drexel University), Guarav Naik, MaximPeysakhov, Evan Sultanik, William Regli, Moshe Kam
SESSION 7c: task and resource allocation II
Agent-Based Integration of Web Services with Workflow Management Systems (page 1345)Bastin Tony Roy Savarimuthu (Department of Information Science University of Otago), Maryam Purvis, Martin Purvis,Stephen Cranefield
Evaluating the Minority Game Strategy in Agent Role Assignments (page 1347)Tingting Wang (Dept.of Computer Science HKBU), Jiming Liu
SESSION 7d: robotics
Construction of Numerical Potential Fields with Reactive Agents (page 1351)Olivier Simonin (Systems and Transportation laboratory (SeT) University of Technology Belfort-Montbeliard)
Physical Deployment of Digital Pheromones Through RFID Technology (page 1353)Marco Mamei (DISMI - Univ. Modena & Reggio Emilia), Franco Zambonelli
Towards Flexible Teamwork in Behavior-Based Robots: Extended Abstract (page 1355)Gal Kaminka (Bar Ilan University), Inna Frenkel
SESSION 7e: embodied, emotional and believable agents II
Intentional Adequacy of Computer Programs as the Experimental Reference of Agent-Based SocialSimulation (page 1359)Nuno David (ISCTE/ADETTI), Jaime Sichman, Helder Coelho
An Artificial Maieutic Approach for Eliciting Experts' Knowledge in Multi-agenfSimulations (page1361)Francois Sempe (IFI), Minh Nguyen-Due, Alain Boucher, Alexis Drogoul
IX
TACOP: A Cognitive Agent for a Naval Training Simulation Environment (page 1363)Willem van Doesburg (TNO Human Factors Vrije Universiteit), Egon van den Broek, Annerieke Heuvelink
Validation of an Agent Based System Using Petri Nets (page 1365)Thomas Moncion (UMR 8042 of CNRS), Guillaume Hutzler, Patrick Amar
The Fourth International Joint Conference on
Autonomous Agents & Multi Agent SystemsUtrecht University, The Netherlands July 25-29,2005
A Framework for Building Adaptive Mobile Agents (page 1369)Nejla Amara-Hachmi (Universite Paris 13)
A Proposal for an Organizational MAS Methodology (page 1370)Estefania Argente Villaplana (Technical University of Valencia)
On the Performance of On-line Concurrent Reinforcement Learners (page 1371)Bikramjit Banerjee (Tulane University)
Local Replanning in a Team of Cooperative Agents (page 1372)Olivier Bonnet-Torres (Onera-Cert / DCSD SupAero)
A Knowledge-Based Approach to the Specification and Verification of MAS Design (page 1373)Ana Alves Franco Brandao (PUC-Rio)
Engineering Distributed Protocols for Multi-Agent Interactions using Game Theory (page 1374)Rajdeep Dash (University of Southampton)
A Multi Agent Methodology for Holonic Manufacturing Systems (page 1375)Adriana Giret (Universidad Polit 'ecnica de Valencia)
Survivability of Multi-Agent Systems (page 1376)Nathan Gnanasambandam (Pennsylvania State University Marcus Dept. of Industrial & Mfg Engineering)
Monitoring Large-Scale Multi-Agent Systems using OverhearingGery Gutnik (Bar Ilan University)
(page 1377)
ETAPP: A Framework of Agent Collaboration under Conditions of Uncertainty Regarding TeamMembers (page 1378)Christian Guttmann (Monash University Computer Science and Software Engineering)
Model-based Diagnosis of Multi-agent Systems (page 1379)Meir Kalech (Bar Ilan University)
Polymorphic Self-* Agents using Game Theory for Large-Scale Complex SystemsDerek Messie (Syracuse University)
The Induction of Communication Protocols (page 1381)Nik Nailah Binti Abdullah (LIRMM:Universite Montpellier II)
(page 1380)
XI
Learning Team Behaviors with Adaptive Heterogeneity (page 1382)Liviu Panait (Department of Computer Science George Mason University)
Market-Based Task Allocation and Control for Distributed Logistics (page 1383)Valentin Robu (Dutch National Center for Mathematics and CS)
Logic and Game Theory for Social Mechanisms (page 1384)Sieuwert van Otterloo (University of Liverpool Department of Computer Science)
Cognitive Agent Programming (page 1385)M. Birna van Riemsdijk (Utrecht University)
Improving Reinforcement Learning Function Approximators via Neuroevoiution (page 1386)Shimon Whiteson (University of Texas at Austin)
Towards Fault Tolerance For Multiagent Systems (page 1387)Yingqian Zhang (University of Manchester)
