This book constitutes the thoroughly refereed proceedings of the 32nd Annual German Conference on Artificial Intelligence, KI 2009, held in Paderborn, Germany, in September 2009.
The 76 revised full papers presented together with 15 posters were carefully reviewed and selected from 126 submissions. The papers are divided in topical sections on planning and scheduling; vision and perception; machine learning and data mining; evolutionary computing; natural language processing; knowledge representation and reasoning; cognition; history and philosophical foundations; AI and engineering; automated reasoning; spatial and temporal reasoning; agents and intelligent virtual environments; experience adn knowledge management; and robotics.
Klappentext
The 32nd Annual German Conference on Arti?cial Intelligence, KI 2009 (KI being the German acronym for AI), was held at the University of Paderborn, Germany on September 15-18, 2009, continuing a series of successful events. Starting back in 1975 as a national meeting, the conference now gathers - searchers and developers from academic ?elds and industries worldwide to share their research results covering all aspects of arti?cial intelligence. This year we received submissions from 23 countries and 4 continents. Besides the inter- tional orientation, we made a major e?ort to include as many branches of AI as possible under the roof of the KI conference. A total of 21 area chairs represe- ing di?erent communities within the ?eld of AI selected further members of the program committee and helped the local organizers to acquire papers. The new approach appealed to the AI community: we had 126 submissions, which cons- tuted an increase of more than 50%, and which resulted in 14 parallel sessions on the following topics agents and intelligent virtual environments AI and engineering automated reasoning cognition evolutionary computation Robotics experience and knowledge management history and philosophical foundations knowledge representation and reasoning machine learning and mining natural language processing planning and scheduling spatial and temporal reasoning vision and perception o?ering cutting edge presentations and discussions with leading experts. Thirty-one percent of the contributions came from outside German-speaking countries.
Inhalt
Planning and Scheduling.- Solving Fully-Observable Non-deterministic Planning Problems via Translation into a General Game.- Planning with h ?+? in Theory and Practice.- A Framework for Interactive Hybrid Planning.- A Memory-Efficient Search Strategy for Multiobjective Shortest Path Problems.- Perfect Hashing for State Spaces in BDD Representation.- On the Benefit of Fusing DL-Reasoning with HTN-Planning.- Flexible Timeline-Based Plan Verification.- Solving Non-deterministic Planning Problems with Pattern Database Heuristics.- An Exploitative Monte-Carlo Poker Agent.- Vision and Perception.- Interaction of Control and Knowledge in a Structural Recognition System.- Attention Speeds Up Visual Information Processing: Selection for Perception or Selection for Action?.- Real-Time Scan-Line Segment Based Stereo Vision for the Estimation of Biologically Motivated Classifier Cells.- Occlusion as a Monocular Depth Cue Derived from Illusory Contour Perception.- Fast Hand Detection Using Posture Invariant Constraints.- A Novel and Efficient Method to Extract Features and Vector Creation in Iris Recognition System.- What You See Is What You Set - The Position of Moving Objects.- Parameter Evolution: A Design Pattern for Active Vision.- Machine Learning and Data Mining.- Clustering Objects from Multiple Collections.- Generalized Clustering via Kernel Embeddings.- Context-Based Clustering of Image Search Results.- Variational Bayes for Generic Topic Models.- Evolutionary Computation.- Surrogate Constraint Functions for CMA Evolution Strategies.- Rake Selection: A Novel Evolutionary Multi-Objective Optimization Algorithm.- A Comparison of Neighbourhood Topologies for Staff Scheduling with Particle Swarm Optimisation.- Controlling a Four Degree of Freedom Arm in 3D Using the XCSF Learning Classifier System.- An Evolutionary Graph Transformation System as a Modelling Framework for Evolutionary Algorithms.- Natural Language Processing.- Semi-automatic Creation of Resources for Spoken Dialog Systems.- Correlating Natural Language Parser Performance with Statistical Measures of the Text.- Comparing Two Approaches for the Recognition of Temporal Expressions.- Meta-level Information Extraction.- Robust Processing of Situated Spoken Dialogue.- iDocument: Using Ontologies for Extracting and Annotating Information from Unstructured Text.- Behaviorally Flexible Spatial Communication: Robotic Demonstrations of a Neurodynamic Framework.- SceneMaker: Automatic Visualisation of Screenplays.- Knowledge Representation and Reasoning.- A Conceptual Agent Model Based on a Uniform Approach to Various Belief Operations.- External Sources of Axioms in Automated Theorem Proving.- Presenting Proofs with Adapted Granularity.- On Defaults in Action Theories.- Analogy, Paralogy and Reverse Analogy: Postulates and Inferences.- Cognition.- Early Clustering Approach towards Modeling of Bottom-Up Visual Attention.- A Formal Cognitive Model of Mathematical Metaphors.- Hierarchical Clustering of Sensorimotor Features.- P300 Detection Based on Feature Extraction in On-line Brain-Computer Interface.- Human Perception Based Counterfeit Detection for Automated Teller Machines.- History and Philosophical Foundations.- Variations of the Turing Test in the Age of Internet and Virtual Reality.- A Structuralistic Approach to Ontologies.- AI Viewed as a "Science of the Culture".- Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles.- Behavioural Congruence in Turing Test-Like Human-Computer Interaction.- AI and Engineering.- Machine Learning Techniques for Selforganizing Combustion Control.- Constraint-Based Integration of Plan Tracking and Prognosis for Autonomous Production.- Fault Detection in Discrete Event Based Distributed Systems by Forecasting Message Sequences with Neural Networks.- Fuzzy Numerical Schemes for Hyperbolic Differential Equations.- Model-Based Test Prioritizing - A Comparative Soft-Computing Approach and Case Studies.- Automated Reasoning.- Comparing Unification Algorithms in First-Order Theorem Proving.- Atomic Metadeduction.- Spatial and Temporal Reasoning.- Toward Heterogeneous Cardinal Direction Calculus.- The Scared Robot: Motivations in a Simulated Robot Arm.- Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning.- Assessing the Strength of Structural Changes in Cooccurrence Graphs.- Maximum a Posteriori Estimation of Dynamically Changing Distributions.- Agents and Intelligent Virtual Environments.- Kinesthetic Bootstrapping: Teaching Motor Skills to Humanoid Robots through Physical Interaction.- To See and to Be Seen in the Virtual Beer Garden - A Gaze Behavior System for Intelligent Virtual Agents in a 3D Environment.- Requirements and Building Blocks for Sociable Embodied Agents.- Modeling Peripersonal Action Space for Virtual Humans by Learning a Tactile Body Schema.- Hybrid Control for Embodied Agents Applications.- Towards System Optimum: Finding Optimal Routing Strategies in Time-Dependent Networks for Large-Scale Evacuation Problems.- Formalizing Joint Attention in Cooperative Interaction with a Virtual Human.- Towards Determining Cooperation Based on Multiple Criteria.- Experience and Knowledge Management.- The SEASALT Architecture and Its Realization within the docQuery Project.- Case Retrieval in Ontology-Based CBR Systems.- Behaviour Monitoring and Interpretation.- Automatic Recognition and Interpretation of Pen- and Paper-Based Document Annotations.- Robotics.- Self-emerging Action Gestalts for Task Segmentation.- Prediction and Classification of Motion Trajectories Using Spatio-Temporal NMF.- A Manifold Rep…