KI 2010: Advances in Artificial Intelligence: 33rd Annual German Conference on AI, Karlsruhe, Germany, September 21-24, 2010. Proceedings

457 Pages·2010·10.245 MB·English

by  Hans-Hellmut Nagel (auth.), Rüdiger Dillmann, Jürgen Beyerer, Uwe D. Hanebeck, Tanja Schultz (eds.)

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