Multiagent System Technologies: 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings PDF
Preview Multiagent System Technologies: 7th German Conference, MATES 2009, Hamburg, Germany, September 9-11, 2009. Proceedings
Lecture Notes in Artificial Intelligence 5774 EditedbyR.Goebel,J.Siekmann,andW.Wahlster Subseries of Lecture Notes in Computer Science Lars Braubach Wiebe van der Hoek Paolo Petta Alexander Pokahr (Eds.) Multiagent System Technologies 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings 1 3 SeriesEditors RandyGoebel,UniversityofAlberta,Edmonton,Canada JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany WolfgangWahlster,DFKIandUniversityofSaarland,Saarbrücken,Germany VolumeEditors LarsBraubach AlexanderPokahr UniversityofHamburg DistributedSystemsandInformationSystems Hamburg,Germany E-mail:{braubach,pokahr}@informatik.uni-hamburg.de WiebevanderHoek UniversityofLiverpool AgentApplications,Research,andTechnology(AgentART) Liverpool,UK E-mail:[email protected] PaoloPetta AustrianResearchInstituteforArtificialIntelligence(OFAI) IntelligentSoftwareAgentsandNewMediaGroup Vienna,Austria E-mail:[email protected] LibraryofCongressControlNumber:2009933194 CRSubjectClassification(1998):I.2,I.2.11,C.1.4,C.2.1,C.2.4,D.2,D.3,D.1.3 LNCSSublibrary:SL7–ArtificialIntelligence ISSN 0302-9743 ISBN-10 3-642-04142-6SpringerBerlinHeidelbergNewYork ISBN-13 978-3-642-04142-6SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. springer.com ©Springer-VerlagBerlinHeidelberg2009 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper SPIN:12753154 06/3180 543210 Preface The seventhGermanConferenceonMulti-AgentSystemTechnologies(MATES 2009)took place in Hamburg, Germany, during September 9–11,2009,and was colocated with the tenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA X) and the Fifth International Workshop on Modelling of Objects, Components, and Agents (MOCA 2009). MATES 2009 wasorganizedbytheGerman“GesellschaftfürInformatik” (GI)SpecialInterest Groups on “Distributed Artificial Intelligence” and “Communication and Dis- tributed Systems” in cooperation with the Steering Committee of MATES. One main aim of the MATES conference series consists in bringing together researchers from around the world and providing a fruitful discussion basis for exchanging ideas and sharing the newest scientific results. Since its inception in 2003,MATES has beencolocatedwith mainstreamsoftwareengineeringconfer- ences like the Net.ObjectDays as wellas with the GermanArtificialIntelligence Conference (KI) and has thus strivedto addressthe full range of agentresearch topics ranging from practical applications and tools for agent technology to the theoreticalfoundationsofmulti-agentsystems.Inadditiontothebroadrangeof topics covered by MATES, in recent years special areas of interest (hot topics) within the field of multi-agent systems have also been identified and have influ- enced the conference editions. In 2009 the focus was laid on complex, adaptive systems and phenomena of self-organization. The international Program Committee for MATES 2009 carefully selected among44submissionsfromallovertheworld14tobepresentedasfullpapers,10 tobepresentedasshortpapersandfinallyalsofiveexhibitionpapers.Besidesthe regular paper presentations, the exhibition papers also included a live software demonstration at the conference venue. Furthermore, the program featured an invitedtalkbythedistinguishedspeakerBirgitBurmeister(DaimlerAG)aswell as a doctoral colloquium and mentoring event. Finally, as Chairs, and in the name of all members of the Steering Com- mittee, we would like to thank all authors of submitted papers and the invited speaker for their contributions, all members of the Program Committee as well as additional reviewers for their careful, critical and constructive reviews, and the local conference organizers including student assistants as well as all others involved in helping to make MATES 2009 a success. July 2009 Lars Braubach Paolo Petta Wiebe van der Hoek Alexander Pokahr Winfried Lamersdorf Organization General Chair Winfried Lamersdorf Universität Hamburg, Germany Program Co-chairs Lars Braubach Universität Hamburg, Germany Wiebe van der Hoek University of Liverpool, UK Paolo Petta OFAI, Austria Alexander Pokahr Universität Hamburg, Germany Doctoral Consortium Chair Ingo J. Timm Goethe-Universität Frankfurt, Germany Steering Committee Hans-Dieter Burkhard Humboldt-Universität zu Berlin, Germany Stefan Kirn Universität Hohenheim, Germany Matthias Klusch DFKI, Germany Jörg P. Müller Technische Universität Clausthal, Germany Rainer Unland Universität Duisburg-Essen, Germany Gerhard Weiss SCCH Hagenberg, Austria Program Committee Klaus-Dieter Althoff Universität Hildesheim, Germany Elisabeth André Universität Augsburg, Germany Bernhard Bauer Universität Augsburg, Germany Federico Bergenti Università degli Studi di Parma, Italy Michael Berger Docuware AG, Germany Ralph Bergmann Universität Trier, Germany Rafael Bordini Federal University of Rio Grande do Sul, Brazil Hans-Dieter Burkhard Humboldt-Universität zu Berlin, Germany Keith Clark Imperial College, UK Mehdi Dastani Universiteit Utrecht, The Netherlands Jörg Denzinger University of Calgary, Canada Jürgen Dix Technische Universität Clausthal, Germany Torsten Eymann Universität Bayreuth, Germany Klaus Fischer DFKI, Germany VIII Organization Maria Ganzha Elblag University of Humanities and Economy, Poland Mike Georgeff Monash University, Australia Paolo Giorgini Università degli Studi di Trento, Italy Jos van Hillegersberg Universiteit Twente, The Netherlands Benjamin Hirsch Technische Universität Berlin, Germany Michael Huhns University of South Carolina, USA Catholijn Jonker Delft University of Technology, The Netherlands Stefan Kirn Universität Hohenheim, Germany Franziska Klügl Örebro University, Sweden Matthias Klusch DFKI, Germany Daniel Kudenko University of York, UK Gabriela Lindemann Humboldt Universität zu Berlin, Germany Stefano Lodi Università di Bologna, Italy Beatriz Lopez Universitat de Girona, Spain Viviana Mascardi Università degli Studi di Genova, Italy Mirjam Minor Universität Trier, Germany Heinz-Jürgen Müller Duale Hochschule Baden-Württemberg Mannheim, Germany Daniel Moldt Universität Hamburg, Germany Jörg P. Müller Technische Universität Clausthal, Germany Andrea Omicini Università di Bologna, Italy Marcin Paprzycki Polish Academy of Sciences, Poland Adrian Paschke Freie Universität Berlin, Germany Michal Pechoucek Czech Technical University in Prague, Czech Republic Wolfgang Renz Hochschule für Angewandte Wissenschaften Hamburg, Germany Alessandro Ricci Università di Bologna, Italy Abdel Badeh Salem Ain Shams University, Egypt Von-Wun Soo National Tsing-hua University, Taiwan Amal El Fallah Seghrouchni University Pierre and Marie Curie, France Ingo J. Timm Goethe-Universität Frankfurt, Germany Adelinde Uhrmacher Universität Rostock, Germany Rainer Unland Universität Duisburg-Essen, Germany Laszlo Zsolt Varga MTA SZTAKI, Hungary Danny Weyns Katholieke Universiteit Leuven, The Netherlands Cees Witteveen Delft University of Technology, The Netherlands Georg Weichhart Johannes Kepler Universität Linz, Austria Gerhard Weiss SCCH Hagenberg, Austria Organization IX Additional Reviewers Rashad Badawy Régis Newo Tina Balke Christoph Niemann Tristan Behrens M. Birna van Riemsdijk Petr Benda Daniel Schmalen Lawrence Cabac Peter Schuur Michael Duvigneau Michal Sindlar Jiri Hodik Bas Steunebrink Stefan König Matthias Wester-Ebbinghaus Table of Contents Invited Talk Industrial Application of Agent Systems: Lessons Learned and Future Challenges (Extended Abstract) ................................... 1 Birgit Burmeister Full Papers Multi-Agent Navigation Using Path-Based Vector Fields .............. 4 Tristan Behrens, Randolf Sch¨arfig, and Tim Winkler Verification of Epistemic Properties in Probabilistic Multi-Agent Systems ........................................................ 16 Carla Delgado and Mario Benevides GOAL as a Planning Formalism ................................... 29 Koen V. Hindriks and Tijmen Roberti Towards Pattern-Oriented Design of Agent-Based Simulation Models ... 41 Franziska Klu¨gl and Lars Karlsson Multi Criteria Decision Methods for Coordinating Case-Based Agents ......................................................... 54 Beatriz Lo´pez, Carles Pous, Pablo Gay, and Albert Pla Agent Cooperation for Monitoring and Diagnosing a MAP ............ 66 Roberto Micalizio and Pietro Torasso Strategies for Exploiting Trust Models in Competitive Multi-Agent Systems ........................................................ 79 V´ıctor Mun˜oz, Javier Murillo, Beatriz Lo´pez, and D´ıdac Busquets A Distributed Detecting Method for SYN Flood Attacks and Its Implementation Using Mobile Agents .............................. 91 Masaki Narita, Takashi Katoh, Bhed Bahadur Bista, and Toyoo Takata Agent-Based Model for Decision Support in Multi-Site Manufacturing Enterprises...................................................... 103 Zhan Sheng Ng, Aaron Yu Siang Tan, Arief Adhitya, and Rajagopalan Srinivasan Embodied Organisations in MAS Environments...................... 115 Michele Piunti, Alessandro Ricci, Olivier Boissier, and Jomi F. Hu¨bner XII Table of Contents MACSIMA: On the Effects of Adaptive Negotiation Behavior in Agent-Based Supply Networks..................................... 128 Christian Russ and Alexander Walz Towards Reactive Scheduling for Large-Scale Virtual Power Plants ..... 141 Martin Tro¨schel and Hans-Ju¨rgen Appelrath Concurrently Decomposable Constraint Systems ..................... 153 Cees Witteveen, Wiebe van der Hoek, and Nico Roos SMIZE: A Spontaneous Ride-Sharing System for Individual Urban Transit ......................................................... 165 Xin Xing, Tobias Warden, Tom Nicolai, and Otthein Herzog Short Papers Towards a Verification Framework for Communicating Rational Agents ......................................................... 177 Nils Bulling and Koen V. Hindriks Designing Organized Multiagent Systems through MDPs.............. 183 Moser Fagundes, Roberto Centeno, Holger Billhardt, and Sascha Ossowski A Reference Architecture for Modelling of Emotional Agent Systems ... 189 Julia Fix and Daniel Moldt Towards a Taxonomy of Decision Making Problems in Multi-Agent Systems ........................................................ 195 Christian Guttmann Modeling Tools for Platform Specific Design of Multi-Agent Systems ... 202 Geylani Kardas, Erdem Eser Ekinci, Bekir Afsar, Oguz Dikenelli, and N. Yasemin Topaloglu L2-SVM Training with Distributed Data ............................ 208 Stefano Lodi, Ricardo N˜anculef, and Claudio Sartori Framework for Dynamic Life Critical Situations Using Agents ......... 214 Jenny Lundberg and Anne H˚akansson Unifying JIAC Agent Development with AWE....................... 220 Marco Lu¨tzenberger, Tobias Ku¨ster, Axel Heßler, and Benjamin Hirsch Formalizing ARTIS Agent Model Using RT-Maude................... 226 Toufik Marir, Farid Mokhati, and Hassina Seridi-Bouchelaghem
The list of books you might like
