KI 2010: Advances in Artificial Intelligence: 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings PDF
Preview KI 2010: Advances in Artificial Intelligence: 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings
Lecture Notes in Artificial Intelligence 6359 EditedbyR.Goebel,J.Siekmann,andW.Wahlster Subseries of Lecture Notes in Computer Science Rüdiger Dillmann Jürgen Beyerer Uwe D. Hanebeck Tanja Schultz (Eds.) KI 2010: Advances in Artificial Intelligence 33rd Annual German Conference on AI Karlsruhe, Germany, September 21-24, 2010 Proceedings 1 3 SeriesEditors RandyGoebel,UniversityofAlberta,Edmonton,Canada JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany WolfgangWahlster,DFKIandUniversityofSaarland,Saarbrücken,Germany VolumeEditors RüdigerDillmann KIT InstituteforAnthropomatics Karlsruhe,Germany E-mail:[email protected] JürgenBeyerer KIT LehrstuhlfürInteraktiveEchtzeitsysteme(IES) Karlsruhe,Germany E-mail:[email protected] UweD.Hanebeck KIT LehrstuhlfürIntelligenteSensor-Aktor-Systeme(ISAS) Karlsruhe,Germany E-mail:[email protected] TanjaSchultz KIT CognitiveSystemsLab(CSL) Karlsruhe,Germany E-mail:[email protected] LibraryofCongressControlNumber:2010935082 CRSubjectClassification(1998):I.2,H.4,F.1,H.2.8,I.2.6,H.5.2 LNCSSublibrary:SL7–ArtificialIntelligence ISSN 0302-9743 ISBN-10 3-642-16110-3SpringerBerlinHeidelbergNewYork ISBN-13 978-3-642-16110-0SpringerBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable toprosecutionundertheGermanCopyrightLaw. springer.com ©Springer-VerlagBerlinHeidelberg2010 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India Printedonacid-freepaper 06/3180 Preface The 33rd Annual German Conference on Artificial Intelligence (KI 2010) took place at the Karlsruhe Institute of Technology KIT, September 21–24, 2010, under the motto “Anthropomatic Systems.” In this volume you will find the keynote paper and 49 papers of oral and poster presentations. The papers were selected from 73 submissions, resulting in an acceptance rate of 67%. As usual at the KI conferences, two entire days were allocated for targeted workshops—seventhisyear—andonetutorial.Theworkshopandtutorialmate- rials are not contained in this volume, but the conference website, www.ki2010.kit.edu,will provideinformationandreferencesto theircontents. Recent trends in AI research have been focusing on anthropomatic systems, whichaddresssynergiesbetweenhumansandintelligentmachines.Thistrendis emphasized through the topics of the overall conference program. They include learning systems, cognition, robotics, perception and action, knowledge repre- sentation and reasoning, and planning and decision making. Many topics deal with uncertainty in various scenarios and incompleteness of knowledge. Summarizing, KI 2010 provides a cross section of recent research in modern AI methods and anthropomatic system applications. We areverygratefulthatJos´edelMilla´n,Hans-HellmutNagel,CarlEdward Rasmussen, and David Vernon accepted our invitation to give a talk. Wecordiallythankallcolleagueswhoacceptedourinvitationsandsubmitted workshop and tutorial proposals and papers. We gratefully acknowledge the work and support of all chairs, especially the area chairs. We would also like to thank the technical committee for their dedication in reviewing the papers. We greatly appreciate the efforts and hard work of the organizing team. Steering meetings to compile the technical program and to organize the conference as a whole were time consuming. The conference management system PaperPlaza was employed, which significantly facilitated the organization of the event from an administrative point of view. We thank all companies and institutions listed on the following pages, who sponsoredthisconference.Withouttheirsupport,the KI2010conferencewould not have been possible. We thank KIT and Fraunhofer Institute of Optronics, System Technologies and Image Exploitation IOSB for hosting the conference. Finally,wewouldliketothankthepublishersfortheirgreatsupportinpreparing and printing this volume. July 2010 Ru¨diger Dillmann Ju¨rgen Beyerer Uwe D. Hanebeck Tanja Schultz Organization Organization Committee General Chairs Ru¨diger Dillmann Ju¨rgen Beyerer ProgramChairs Uwe D. Hanebeck Tanja Schultz Workshop and Tutorial Rainer Stiefelhagen Chairs Marius Zo¨llner Publicity Chairs Rudi Studer Alex Waibel Exhibition Chair Heinz Wo¨rn Local Chair Fernando Puente Leo´n Administrative Consulting Christine Harms Local Arrangements Kristine Back Dominic Heger Felix Sawo Patrick Dunau Rainer Ja¨kel Elena Simperl Ioana Gheta Martin Lo¨sch Marcus Strand Area Chairs Michael Beetz Technical University of Munich Kasten Berns Technical University Kaiserslautern Susanne Biundo University of Ulm Crist´obal Curio MPI for Biological Cybernetics Tu¨bingen Christian Freksa University of Bremen Joachim Hertzberg University of Osnabru¨ck Rainer Malaka University of Bremen Bernhard Nebel University of Freiburg Gerhard Rigoll Technical University Munich Helge Ritter Bielefeld University Lutz Schro¨der DFKI Bremen VIII Organization Program Committee Saleh Al-Takrouri Claudio Gori Giorgi Sven Albrecht El Hadji Amadou Gning Klaus-Dieter Althoff Horst-Michael Gross Dejan Arsic Martin Gu¨nther Arthur Asuncion Martin Ha¨gele Amit Banerjee Fred Hamker Daniel Beauchˆene Ronny Hartanto Sven Behnke Malte Helmert Vaishak Belle Dominik Henrich Brandon Bennett Joachim Hertzberg Martin Berchtold Otthein Herzog Ralph Bergmann Martin Hofmann Bettina Bl¨asing Eyke Huellermeier Daniel Borrajo Christian Igel Gerhard Brewka Joris Ijsselmuiden Werner Brockmann Winfried Ilg Holger Burbach Dominik Jain Wolfram Burgard Yaochu Jin Martin Butz Eugen Ka¨fer Marc Cavazza Moritz Kaiser Lawrence Cayton Gabriele Kern-Isberner Daniel Cernea Alexander Kleiner Girija Chetty Jens Kober Eliseo Clementini Roman Kontchakov Daniel Cremers Oliver Kramer Kerstin Dautenhahn Peter Krauthausen Klaus Dra¨ger Ralf Krestel Patrick Dunau Torsten Kroeger Frank Dylla Rudolf Kruse Stefan Edelkamp Kai-Uwe Ku¨hnberger Norbert Elkmann Sebastian Kupferschmidt Dominik Endres Sabine Kuske David Engel Bogdan Kwolek Nicholas Evans Gerhard Lakemeyer Florian Eyben Tobias Lang Amir Massoud Farahmand Nicolas Lehment Yvonne Fischer Benedikt Loewe Stefan Funke Volker Lohweg Johannes Fu¨rnkranz Martin Lo¨sch Thomas G¨artner Bernd Ludwig Dirk Gehrig Robert Mattmu¨ller Christopher Geib B¨arbel Mertsching Ioana Gheta Bernd Michaelis Organization IX Ralf Mo¨ller Jan-Georg Smaus Meinard Mu¨ller Luciano Spinello Heiko Neumann Jochen Sprickerhof Hannes Nickisch Steffen Staab Oliver Niggemann Andreas Starzacher Sandra Paterlini Rainer Stiefelhagen Angelika Peer Jo¨rg Stu¨ckler Justus Piater Ingo Timm Robert Porzel Volker Tresp Felix Putze Rudolph Triebel David Pynadath Thomas Villmann Marco Ragni Frank Wallhoff Anita Raja Toby Walsh Olaf Ronneberger Matthias Westphal Thomas Ruehr Thomas Wiemann Jose M. Sabater Heinz W¨orn Alessandro Saffiotti Christian Wo¨hler Jan Salmen Stefan Wo¨lfl Malte Schilling Dirk Wollherr Ute Schmid Diedrich Wolter Tim Schmidt Florentin Wo¨rgo¨tter Ulrich Schmucker Andreas Zell Carsten Schu¨rmann Christoph Zetzsche Emrah Akin Sisbot Jianwei Zhang Invited Talks Jos´e del Milla´n E´cole Polytechnique F´ed´eralede Lausanne Hans-Hellmut Nagel Karlsruhe Institute of Technology Carl Edward Rasmussen University of Cambridge David Vernon Sponsors ontoprise GmbH, Karlsruhe PTV Planung Transport Verkehr AG, Karlsruhe Springer Verlag, Heidelberg Partners Fakulta¨t fu¨r Informatik, Karlsruher Institut fu¨r Technologie (KIT) Fraunhofer-Institut fu¨r Optronik, Systemtechnik und Bildauswertung (IOSB) FZI Forschungszentrum Informatik Gesellschaft fu¨r Informatik e.V. (GI) Table of Contents Cognition Vision, Logic, and Language – Toward Analyzable Encompassing Systems ........................................................ 1 Hans-Hellmut Nagel A Computational Model of Human Movement Coordination........... 23 Thorsten Stein, Christian Simonidis, Wolfgang Seemann, and Hermann Schwameder BiosignalsStudio: A Flexible Framework for Biosignal Capturing and Processing ...................................................... 33 Dominic Heger, Felix Putze, Christoph Amma, Michael Wand, Igor Plotkin, Thomas Wielatt, and Tanja Schultz Local Adaptive Extraction of References ............................ 40 Peter Kluegl, Andreas Hotho, and Frank Puppe Logic-BasedTrajectory Evaluation in Videos ........................ 48 Nicola Pirlo and Hans-Hellmut Nagel Human-Machine Interaction A Testbed for Adaptive Human-Robot Collaboration ................. 58 Alexandra Kirsch and Yuxiang Chen Human Head Pose Estimation using Multi-Appearance Features ....... 66 Norbert Schmitz, Gregor Zolynski, and Karsten Berns Online Full Body Human Motion Tracking Based on Dense Volumetric 3D Reconstructions from Multi Camera Setups ...................... 74 Tobias Feldmann, Ioannis Mihailidis, Sebastian Schulz, Dietrich Paulus, and Annika Wo¨rner On-line Handwriting Recognition with Parallelized Machine Learning Algorithms...................................................... 82 Sebastian Bothe, Thomas Ga¨rtner, and Stefan Wrobel Planning Cooperative Motions of Cognitive Automobiles Using Tree Search Algorithms ............................................... 91 Christian Frese and Ju¨rgen Beyerer Static Preference Models for Options with Dynamic Extent ........... 99 Thomas Bauereiß, Stefan Mandl, and Bernd Ludwig XII Table of Contents Towards User Assistance for Documents via Interactional Semantic Technology...................................................... 107 Andrea Kohlhase Knowledge Flexible Concept-Based Argumentation in Dynamic Scenes............ 116 J¨orn Sprado, Bjo¨rn Gottfried, and Otthein Herzog Focused Belief Revision as a Model of Fallible Relevance-Sensitive Perception ...................................................... 126 Haythem O. Ismail and Nasr Kasrin Multi-context Systems with Activation Rules ........................ 135 Stefan Mandl and Bernd Ludwig Pellet-HeaRT– Proposal of an Architecture for Ontology Systems with Rules........................................................... 143 Grzegorz J. Nalepa and Weronika T. Furman´ska Putting People’s Common Sense into Knowledge Bases of Household Robots ......................................................... 151 Lars Kunze, Moritz Tenorth, and Michael Beetz RecognitionandVisualizationofMusicSequencesUsingSelf-Organizing Feature Maps.................................................... 160 Tobias Hein and Oliver Kramer Searching for Locomotion Patterns that Suffer from Imprecise Details ......................................................... 168 Bjo¨rn Gottfried World Modeling for Autonomous Systems........................... 176 Ioana Ghe¸ta, Michael Heizmann, Andrey Belkin, and Ju¨rgen Beyerer Machine Learning and Data Mining A Probabilistic MajorClust Variant for the Clustering of Near-Homogeneous Graphs........................................ 184 Oliver Niggemann, Volker Lohweg, and Tim Tack AccelerationofDBSCAN-BasedClusteringwithReducedNeighborhood Evaluations ..................................................... 195 Andreas Thom and Oliver Kramer Adaptive ε-greedy Exploration in Reinforcement Learning Based on Value Differences ................................................ 203 Michel Tokic Table of Contents XIII LearningtheImportanceofLatentTopicstoDiscoverHighlyInfluential News Items ..................................................... 211 Ralf Krestel and Bhaskar Mehta Methods for Automated High-Throughput Toxicity Testing Using Zebrafish Embryos ............................................... 219 Ru¨diger Alshut, Jessica Legradi, Urban Liebel, Lixin Yang, Jos van Wezel, Uwe Stra¨hle, Ralf Mikut, and Markus Reischl Visualizing Dissimilarity Data Using Generative Topographic Mapping........................................................ 227 Andrej Gisbrecht, Bassam Mokbel, Alexander Hasenfuss, and Barbara Hammer Planing and Reasoning An Empirical Comparison of Some Multiobjective Graph Search Algorithms...................................................... 238 Enrique Machuca, Lorenzo Mandow, Jose L. P´erez de la Cruz, and Amparo Ruiz-Sepu´lveda Completeness for Generalized First-Order LTL....................... 246 Norihiro Kamide Instantiating General Games Using Prolog or Dependency Graphs ..... 255 Peter Kissmann and Stefan Edelkamp Plan Assessment for Autonomous Manufacturing as Bayesian Inference........................................................ 263 Paul Maier, Dominik Jain, Stefan Waldherr, and Martin Sachenbacher Positions, Regions, and Clusters: Strata of Granularity in Location Modelling....................................................... 272 Hedda R. Schmidtke and Michael Beigl Soft Evidential Update via Markov Chain Monte Carlo Inference....... 280 Dominik Jain and Michael Beetz Strongly Solving Fox-and-Geese on Multi-Core CPU.................. 291 Stefan Edelkamp and Hartmut Messerschmidt The Importance of Statistical Evidence for Focussed Bayesian Fusion... 299 Jennifer Sander, Jonas Krieger, and Ju¨rgen Beyerer The Shortest Path Problem Revisited: Optimal Routing for Electric Vehicles ........................................................ 309 Andreas Artmeier, Julian Haselmayr, Martin Leucker, and Martin Sachenbacher
The list of books you might like
