Multi-Agent Systems and Applications III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Prague, Czech Republic, June 16–18, 2003 Proceedings PDF
Preview Multi-Agent Systems and Applications III: 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Prague, Czech Republic, June 16–18, 2003 Proceedings
Lecture Notes in Artificial Intelligence 2691 EditedbyJ.G.CarbonellandJ.Siekmann Subseries of Lecture Notes in Computer Science 3 Berlin Heidelberg NewYork Barcelona HongKong London Milan Paris Tokyo Vladim´ır Ma˘r´ık Jo¨rg Mu¨ller Michal Pe˘chouc˘ek (Eds.) Multi-Agent Systems and Applications III 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003 Prague, Czech Republic, June 16-18, 2003 Proceedings 1 3 SeriesEditors JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA Jo¨rgSiekmann,UniversityofSaarland,Saarbru¨cken,Germany VolumeEditors Vladim´ırMar˘´ık MichalPe˘chouc˘ek CzechTechnicalUniversity FacultyofElectricalEngineering,Dept.ofCybernetics 16627Praha6,CzechRepublic E-mail:{marik/pechouc}@labe.felk.cvut.cz Jo¨rgMu¨ller SiemensAG CT,IC6,Otto-Hahn-Ring6,81730Mu¨nchen,Germany E-mail:[email protected] Cataloging-in-PublicationDataappliedfor AcatalogrecordforthisbookisavailablefromtheLibraryofCongress. BibliographicinformationpublishedbyDieDeutscheBibliothek. DieDeutscheBibliothekliststhispublicationintheDeutscheNationalbibliografie; detailedbibliographicdataisavailableintheInternetat<http://dnb.ddb.de>. CRSubjectClassification(1998):I.2.11,C.2.4,D.2,H.5.3,I.2 ISSN0302-9743 ISBN3-540-40450-3Springer-VerlagBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare liableforprosecutionundertheGermanCopyrightLaw. Springer-VerlagBerlinHeidelbergNewYork, amemberofBertelsmannSpringerScience+BusinessMediaGmbH http://www.springer.de ©Springer-VerlagBerlinHeidelberg2003 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyDA-TeXGerdBlumenstein Printedonacid-freepaper SPIN:10927878 06/3142 543210 Preface Recently,the areaofagentsandmulti-agentsystemshas grownintoarespected research field and a promising technology that has already been exploited in several industrial cases. There have been many novel methods, algorithms and theories investigated and formulated. These enrich and enhance classical soft- ware engineering and computer science, the areas of distributed systems and parallel computing, various fields of robotics, collaborative systems, Internet services and technologies, and grid computing, as well as knowledge manage- ment,computer-supportedmanufacturingorcoalitionformationandteamwork. Researchershaveparticipatedinavastnumberofinternationalandnationalre- search projects which have resulted in networks of excellence, thematic clusters and large-scale standardization efforts. Even though there has been noteworthy successinapplyingtheresearchachievementsoftheareasofmulti-agentsystems and autonomous agents in design and manufacturing, transport and logistics, military and space applications, the tourism industry, e-commerce, and many other areas, there is still a gap between the state of the art achievedin the the- oretical foundations of agent technologies and their potential for industry-wide deployment. This volume continues in a successful series, ”Multi-Agent Systems and Ap- plications”, of proceedings of important international events organized by the Gerstner Laboratory, CTU, Prague under EU support within the framework of the MIRACLE Center of Excellence project (IST No. ICA1-CT-2000-70002). The first volume in this series (LNAI vol. 2086) represented the proceedings of the Joint Summer School of ECCAI – 9th ACAI2001 (Advanced Course on Artificial Intelligence) and AgentLink – 3rd EASSS2001 (European Agent Sys- tems Summer School) held in July 2001. The second volume (LNAI vol. 2322) containedselectedpapersfromHoloMAS2001(2nd International Workshop on Holonic and Multi-Agent Systems) and AEMAS2001 (International Workshop on Adaptability and Embodiment Using Multi-Agent Systems). This volume represents the official proceedings of the CEEMAS 2003 ”Cen- tral and Eastern Europe Multi-Agents Systems” international conference. Af- ter the success of two earlier workshops, namely CEEMAS 1999 (St. Peters- burg, Russia) and CEEMAS2001 (Cracow, Poland), CEEMAS2003 took place in Prague, Czech Republic on June 16–18th, 2003, having been upgraded into a form of conference. CEEMAS 2003 was really a world-wide conference event. It brought together research scientists, academics, industrial experts and key decision-makers from all over the world in one location, where world-wide tech- nological advances met the researchpotential of Central and Eastern European countries. The reputation of the conference has been enhanced by the three in- vitedkeynotespeakers,namelyJeffBradshaw(UniversityofWestFlorida,USA), Austin Tate (University of Edinburgh, UK), and Onn Shehory (IBM Research Center, Haifa, Israel). VI Preface Inthisbookwehavemanagedtocollectaselectionof58high-qualitypapers (out of 109 excellent or very good submissions) as well as three contributions fromthe keynotespeakers.Thepapers covera wide rangeoftechnologicalareas in the field of agent technologies and multi-agent systems. There are theoreti- cal papers providing formal models of various aspects of agents’ individual and collective behavior as well as papers on agents’ social behavior, meta-reasoning andreflectivity.Thepapersfromwell-knownresearchersareaimedatprotocols, policiesandinter-agentnegotiations.Theconferencecoveredtopics ofplanning, decision-making and coalition formation, but also adaptivity and evolution. A substantialpartoftheproceedingsweredevotedtoagents’knowledge,ontologies and languages. The practical balance of the proceedings is provided by a selec- tion of papers on applications of multi-agent systems in manufacturing, virtual enterprises, business processes, and the Internet. Wewouldliketothankallthecontributors,PCmembersandreferees(thefull listisattached)fortheiroutstandingcontributiontothesuccessoftheCEEMAS conference. We are especially thankful to Jiˇr´ı Hod´ık, Jaroslav Ba´rta and Aleˇs Rˇ´ıhafortheirtechnicalsupport,toMilenaZeithamlova´,ZuzanaHochmeisterov´a and Hana Krautwurmova´ for all their excellent organizational activities, and, finally,to Jiˇr´ıLaˇzansky´who carriedoutthe mainportionof the computer work related to the preparation of both the camera-ready and electronic versions of this volume. April 2003 Vladim´ır Maˇr´ık Jo¨rg P. Mu¨ller Michal Pˇechouˇcek CEEMAS 2003 Third International/Centraland Eastern European Conference on Multi-Agent Systems Multi-Agent Systems and Applications III Prague, Czech Republic, June 16–18,2003 Program Co-chairs Vladim´ır Maˇr´ık Czech Technical University, Czech Republic Jo¨rg Mu¨ller Siemens AG, Germany Michal Pˇechouˇcek Czech Technical University, Czech Republic Steering Committee Barbara Dunin-Keplicz Warsaw University, Poland Vladimir Gorodetski Russian Academy of Sciences, Russia Michael Luck University of Southampton, UK Edward Nawarecki University of Mining and Metallurgy, Poland Program Committee Stanislaw Ambroszkiewicz Polish Academy of Sciences, Poland Magnus Boman Swedish Inst. of Computer Science, Sweden Cristiano Castelfranchi Italian National Research Council, Italy Krzysztof Cetnarowicz University of Mining and Metallurgy, Poland Julius Csonto´ Technical University of Koˇsice, Slovakia Grzegorz Dobrowolski University of Mining and Metallurgy, Poland Klaus Fischer DFKI GmbH, Germany Martyn Fletcher Leeds Metropolitan University, UK Roberto A. Flores National Research Council, Italy Piotr Gmytrasiewicz University of Texas, USA Wiebe van der Hoek University of Utrecht, The Netherlands Toru Ishida Kyoto University, Japan Jozef Kelemen Silesian University, Czech Republic Matthias Klusch DFKI GmbH, Germany Jiˇr´ıLaˇzansky´ Czech Technical University, Czech Republic Viktor Mashkov Ukrainian Academy of Sciences, Ukraine Duncan McFarlane Cambridge University, UK La´szl´o Monostori Hungarian Academy of Sciences, Hungary Marek Paraliˇc Technical University of Koˇsice, Slovakia Paolo Petta Austrian Research Institute for AI, Austria VIII Organization Leonard Popyack Syracuse University, USA Stefan Poslad University of Westminster, UK Robert Schaefer Jagiellonian University, Poland Onn Shehory IBM Haifa Labs, Israel Alexander Smirnov YaroslavlState University, Russia Vadim Stefanuk Russian Academy of Sciences, Russia Olga Sˇtˇep´ankova´ Czech Technical University, Czech Republic Katia Sycara Carnegie Mellon University, USA Milind Tambe University of Southern California, USA Robert Tolksdorf Freie Universit¨at Berlin, Germany Paul Valkenaers KU Leuven, Belgium Jo´zsef V´ancza Hungarian Academy of Sciences, Hungary Rineke Verbrugge University of Groningen, The Netherlands Michael Wooldridge University of Liverpool, UK Steven Willmott Swiss Federal Inst. of Technology, Switzerland External Reviewers Jaroslav B´arta Lenka Lhotska´ Viktor Skormin Petr Beˇcv´aˇr Filip Mac˚urek Petr Sˇlechta Robert W. Brennan Petr Nova´k PavelTichy´ Michal Dob´ıˇsek Marek Obitko Jan Toˇziˇcka Jiˇr´ıHod´ık Libor Pˇreuˇcil Toma´ˇs Vlˇcek Petr Charva´t Aleˇs Rˇ´ıha Jiˇr´ıVokˇr´ınek Jiˇr´ıKubal´ık Milan Rollo PavelVrba Organizing Committee Hana Krautwurmova´ Czech Technical University, Czech Republic JaroslavB´arta Czech Technical University, Czech Republic Jiˇr´ıHod´ık Czech Technical University, Czech Republic Aleˇs Rˇ´ıha Czech Technical University, Czech Republic Jiˇr´ıVokˇr´ınek Czech Technical University, Czech Republic Zuzana Hochmeisterova´ Czech Technical University, Czech Republic Milena Zeithamlov´a Action M Agency, Czech Republic Table of Contents Invited Talks Making Agents Acceptable to People Abstract of a Key-Note Speech ........1 Jeffrey M. Bradshaw Coalition Formation: Towards Feasible Solutions Abstract of a Key-Note Speech ..................4 Onn Shehory Coalition Task Support Using I-X and <I-N-C-A> ..........................7 Austin Tate Formal Methods Towards Motivation-Based Decisions for Worth Goals ......................17 Steve J. Munroe, Michael Luck, and Mark d’Inverno Modal Structure for Agents Interaction Based on Concurrent Actions ......29 Mat´ıas Alvarado and Leonid Sheremetov A Multi-agent Modal Language for Concurrency with Non-communicating Agents ...........................................40 Stefano Borgo Self-Synchronization of Cooperative Agents in a Distributed Environment ..51 Sergio Ilarri, Eduardo Mena, and Arantza Illarramendi MIP-Nets: A Compositional Model of Multiagent Interaction ...............61 Sea Ling and Seng Wai Loke Social Knowledge & Meta-Reasoning Calibrating Collective Commitments .......................................73 Barbara Dunin-K¸eplicz and Rineke Verbrugge Abstract Architecture for Meta-reasoning in Multi-agent Systems ..........84 Michal Pˇechouˇcek, Olga Sˇtˇep´ankov´a, Vladim´ır Maˇr´ık, and Jaroslav Ba´rta Balancing Individual Capabilities and Social Peer Pressure for Role Adoption ........................................................100 Xin Zhang and Henry Hexmoor From Social Agents to Multi-agent Systems: Preliminary Report ..........111 Maria Fasli
The list of books you might like
