Lecture Notes in Artificial Intelligence 3690 EditedbyJ.G.CarbonellandJ.Siekmann Subseries of Lecture Notes in Computer Science Michael Peˇchoucˇek Paolo Petta László Zsolt Varga (Eds.) Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005 Budapest, Hungary, September 15 – 17, 2005 Proceedings 1 3 SeriesEditors JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany VolumeEditors MichaelPeˇchoucˇek CzechTechnicalUniversityinPrague DepartmentofCybernetics CzechRepublic E-mail:[email protected] PaoloPetta MedicalUniversityofVienna InstituteofMedicalCyberneticsandArtificialIntelligence CentreforBrainResearch Austria E-mail:[email protected] LászlóZsoltVarga ComputerandAutomationResearchInstitute oftheHungarianAcademyofSciences Hungary E-mail:[email protected] LibraryofCongressControlNumber:2005932125 CRSubjectClassification(1998):I.2.11,I.2,C.2.4,D.2,H.5.3 ISSN 0302-9743 ISBN-10 3-540-29046-XSpringerBerlinHeidelbergNewYork ISBN-13 978-3-540-29046-9SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. SpringerisapartofSpringerScience+BusinessMedia springeronline.com ©Springer-VerlagBerlinHeidelberg2005 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SPIN:11559221 06/3142 543210 Preface The aim of the CEEMAS conference series is to provide a biennial forum for the presentation of multi-agent researchand development results. With its par- ticulargeographicalorientationtowardsCentralandEasternEurope,CEEMAS has become an internationally recognised event with participants from all over the world. After the successful CEEMAS conferences in St. Petersburg (1999), Cracow(2001)andPrague (2003),the 2005CEEMAS conference takes place in Budapest. The programmecommittee of the conference series consists of estab- lished researchersfrom the regionand renownedinternational colleagues,show- ing the prominent rank of CEEMAS among the leading events in multi-agent systems. In the very competitive field of agent oriented conferences and workshops nowadays(suchasAAMAS,WI/IAT,EUMAS,CIA,MATES)thespecialprofile of CEEMAS is that it is trying to bridge the gap between applied research achievements and theoretical research activities. Our ambition is to provide a forum for presenting theoretical research with an evident application potential, implemented application prototypes and their properties, as well as industrial case studies of successful (but also unsuccessful) agent technology deployments. This is why the CEEMAS proceedings volume provides a collection of research and application papers. The technical researchpaper section of the proceedings (see pages 11–499) contains pure research papers as well as research results in application settings while the application papers section (see pages 500–530) contains papers focused on application aspects. The goal is to demonstrate the real life value and commercial reality of multi-agent systems as well as to foster communication between academia and industry in this field. CEEMASisalsoveryspecialanduniqueinthefactthatitisconstantlycon- tributing to building an agent research community. The programme committee has decided to create a special collection of short papers to provide an oppor- tunity to present ongoing research work with the potential of achieving mature andhigher-impactresearchresults inthe near future.This allowsresearchersto exposetheirworkforconstructivecriticismanddiscusstheirprojectswithother experts in anearlyphase of their research.Onthe other handthis also provides the audience with fresh, innovative and highly motivating ideas that may de- serve further investigation. Short papers have been also divided into research (see pages 531–631)and application (see pages 632–664)tracks. The topics of the CEEMAS proceedings cover an enormously wide range of areas such as: abstract and specific agent architectures, methods and modelling approaches for agent oriented software engineering, agent communication and protocols, and also classical problem domains such as learning, planning, trust and reputation. Besides formal domains such as logical modelling and game- theoretical approaches to agency, substantial attention has been paid to scal- VI Preface ability, robustness and performance issues as well as methods for coordination and teamwork. CEEMAS also features papers about applications from the field of manufacturing, utility distributions, Internet trading, virtual enterprises or defence. We received 113 submissions, and each paper was reviewed by at least two independentreviewers.Ofthesubmittedpapers,48wereacceptedasfullresearch papers and 3 as full application papers. In addition, 8 short application and 25 short researchpapers were accepted. Many individuals and institutions have supported the organisation of this conference and made CEEMAS 2005 a high-quality event. Our special thanks go first to the authors and invited speakers for their invaluable and strenuous work. Also, the work of the Programme Committee members who accepted the heavy load of the two-phase review of a large number of contributions is grate- fully acknowledged.We are especially thankful to the conference department of the Computer and Automation Research Institute of the Hungarian Academy of Sciences, and in particular to Magdolna Zsivnovszki, for their excellent or- ganisational activities and the computer work related to the preparation of the electronic versions of this volume. Separate thanks go to AgentLink, the European Coordination Action for Agent-basedComputing, for the continualsupport ofthe CEEMAS conferences from their very initiation in 1999 in St. Petersburg, and to AITIA Inc., for supporting CEEMAS 2005. As a result, the present collection of papers provides a valuable resource for researchers in the field of multi-agent systems and open distributed systems in general. July 2005 Michal Pěchouček Paolo Petta László Z. Varga Organisation CEEMAS Steering Committee Barbara Dunin-Keplicz, Poland Michael Luck, UK Jörg Müller, Germany Michal Pěchouček, Czech Republic László Z. Varga, Hungary Vladimir Gorodetski, Russia Vladimír Marík, Czech Republic Edward Nawarecki,Poland Paolo Petta, Austria CEEMAS 2005 General Co-chairs General Chair: László Z. Varga, Hungary Programme Co-chair: Michal Pěchouček, Czech Republic Programme Co-chair: Paolo Petta, Austria Tutorials Chair: Andrea Omicini, Italy Industrial, Demonstrations Track Chair: Gábor Tatai, Hungary Posters Chair: Katalin Bognár, Hungary CEEMAS 2005 Programme Committee Stanislaw Ambroszkiewicz, Poland Roberto A. Flores, Italy Magnus Boman, Sweden Matjaz Gams, Slovenia Luís Botelho, Portugal Marie-Pierre Gleizes, France Monique Calisti, Switzerland Piotr Gmytrasiewicz, USA Cristiano Castelfranchi, Italy Chihab Hanachi, France Krzysztof Cetnarowicz, Poland Karin Hummel, Austria Helder Coelho, Portugal Toru Ishida, Japan Ulises Cortés, Spain Catholijn Jonker, The Netherlands Frank Dignum, The Netherlands Matthias Klusch, Germany Grzegorz Dobrowolski, Poland Jirí Lazansky, Czech Republic Danail Dochev, Bulgaria John-Jules Meyer, The Netherlands Edmund H. Durfee, USA László Monostori, Hungary Shaheen Fatima, UK Luc Moreau, UK Stephan Flake, Germany Eugenio Oliveira, Portugal Martyn Fletcher, UK Andrea Omicini, Italy VIII Organisation Mihaela Oprea, Romania Olga Stipánková, Czech Republic Sascha Ossowski, Spain Niranjan Suri, USA Marek Paralie, Slovakia Simon Thompson, UK Radoslav Pavlov, Bulgaria Robert Tolksdorf, Germany Jeremy Pitt, UK Chris van Aarts, The Netherlands Agostino Poggi, Italy Wiebe van der Hoek, The Netherlands Stefan Poslad, UK József Váncza, Hungary Omer Rana, UK Rineke Verbrugge, The Netherlands Alex Rogers, UK Filip Verhaeghe, Belgium Robert Schaefer, Poland Herbert Wiklicky, UK Onn Shehory, Israel Steven Willmott, Spain Carles Sierra, Spain Franco Zambonelli, Italy Alexander Smirnov, Russia Additional Reviewers Alexander Adrowitzer Luis Nunes Eric Andonoff Fabio Paglieri Holger Billhardt Daniel Ramirez-Cano Tibor Bosse Luis Paulo Reis Henrique Lopes Cardoso Giovanni Rimassa Mehdi Dastani Ana Paula Rocha Alberto Fernández Alexei Sharpanskykh Pierre Glize Victor Tan Mark Hoogendoorn Ivan Trencansky Bernhard Klein Peter-Paul van Maanen Francesca Marzo Giosue Vitaglione Simon Miles Pavel Vrba Nicoleta Neagu Joachim Zottl Brendan Neville CEEMAS 2005 Local Organisers Local arrangements chair: Gusztáv Hencsey, Hungary Secretariat: Magdolna Zsivnovszki, Hungary Table of Contents Invited Paper Palpable Computing and the Role of Agent Technology Giovanni Rimassa, Dominic Greenwood, Monique Calisti ........... 1 Research Papers Agent Communication, Interaction Protocols and Mechanisms A Dynamic Joint Protocols Selection Method to Perform Collaborative Tasks Jos´e Ghislain Quenum, Samir Aknine ............................ 11 A Formal Framework for Interaction ProtocolEngineering Fernando Alonso, Sonia Frutos, Genoveva L´opez, Javier Soriano .... 21 Towards a Conversational Language for Artificial Agents in Mixed Community Alexandra Berger, Sylvie Pesty .................................. 31 Adaptive Mobile Multi-agent Systems Alexandru Suna, Amal El Fallah Seghrouchni ...................... 41 Agent Models and Architectures Agent Encapsulation in a Cognitive Vision MAS Bernhard Jung, Paolo Petta ..................................... 51 A Model of Multi-agent System Based on Policies and Contracts Beishui Liao, Ji Gao ........................................... 62 Case-BasedStudent Modeling in Multi-agent Learning Environment Carolina Gonza´lez, Juan C. Burguillo, Martin Llamas .............. 72 Intelligent Virtual Environments for Training: An Agent-Based Approach Ang´elica de Antonio, Jaime Ram´ırez, Ricardo Imbert, Gonzalo M´endez ............................................... 82 X Table of Contents Patient Driven Mobile Platform to Enhance Conventional Wheelchair, with Multiagent System Supervisory Control A.B. Mart´ınez,J.Escoda, T.Benedico, U.Cort´es, R.Annicchiarico, C. Barru´e, C. Caltagirone ...................................... 92 SECMAP: A Secure Mobile Agent Platform Suat Ugurlu, Nadia Erdogan..................................... 102 What Is Context and How Can an Agent Learn to Find and Use it When Making Decisions? Oana Bucur, Philippe Beaune, Olivier Boissier .................... 112 Agent Oriented Software Engineering, Modelling and Methodologies A Formal Modelling Framework for Developing Multi-agent Systems with Dynamic Structure and Behaviour Petros Kefalas, Ioanna Stamatopoulou, Marian Gheorghe ........... 122 Discovery of Crises via Agent-Based Simulation of a Transportation System Edward Nawarecki, Jaros(cid:2)law Ko´zlak, Grzegorz Dobrowolski, Marek Kisiel-Dorohinicki ....................................... 132 Evaluating the Feasibility of Method Engineering for the Creation of Agent-Oriented Methodologies Brian Henderson-Sellers ........................................ 142 Formalizing Compatibility and Substitutability of Rolebased Interactions Components in Multi-agent Systems Nabil Hameurlain .............................................. 153 MAS Meta-models on Test: UML vs. OPM in the SODA Case Study Ambra Molesini, Enrico Denti, Andrea Omicini.................... 163 Programmingan Agent as Abstract State Machine Grzegorz Dobrowolski........................................... 173 The PASSI and Agile PASSI MAS Meta-models Compared with a Unifying Proposal Massimo Cossentino, Salvatore Gaglio, Luca Sabatucci, Valeria Seidita ................................................ 183 The Synthesis Stage in the Software Agent Development Process Fernando Alonso, Sonia Frutos, Lo¨ıc Mart´ınez, F. Javier Soriano.... 193 Table of Contents XI Use Case and Actor Driven Requirements Engineering: An Evaluation of Modifications to Prometheus Mikhail Perepletchikov, Lin Padgham............................. 203 Coordination, Teamwork, Social Knowledge and Social Reasoning Agent-Based Management of Non Urban Road Meteorological Incidents Vicente R. Tom´as, Lu´ıs A. Garc´ıa ............................... 213 Arguing and Negotiating in the Presence of Social Influences Nishan C. Karunatillake, Nicholas R. Jennings, Iyad Rahwan, Timothy J. Norman ............................................ 223 Cooperative Behavior of Agents Based on Potential Field Takashi Katoh, Kensaku Hoshi, Norio Shiratori.................... 236 The“Dance or Work”Problem: Why Do not all Honeybees Dance with Maximum Intensity Ronald Thenius, Thomas Schmickl, Karl Crailsheim................ 246 Towards an Institutional Environment Using Norms for Contract Performance Henrique Lopes Cardoso, Eug´enio Oliveira ........................ 256 Virtual Games: A New Approach to Implementation of Social Choice Rules D´aniel L. Kov´acs .............................................. 266 Formal Methods and Logic in MAS How Our Beliefs Contribute to Interpret Actions Guillaume Aucher ............................................. 276 The Effect of Flag Introduction on the Explosion of Nogood Values in the Case of ABT Family Techniques Ionel Muscalagiu............................................... 286 Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect Xinyu Zhao, Shaofeng Fan, Runjie Zhang, Anbu Yue, Zuoquan Lin .................................................. 296