KI 2011: Advances in Artificial Intelligence
34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings
Published on 1. October 2011
XIV, 370 pages
978-3-642-24455-1 (ISBN)
Description
This book constitutes the refereed proceedings of the 34th Annual German Conference on Artificial Intelligence, KI 2011, held in Berlin, Germany, in October 2011.
The 32 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 81 submissions. The papers are divided in topical sections on computational learning and datamining, knowledge representation and reasonings, augmented reality, swarm intelligence; and planning and scheduling.
More details
Other editions
Additional editions
Joscha Bach | Stefan Edelkamp
KI 2011: Advances in Artificial Intelligence
34th Annual German Conference on AI, Berlin, Germany, October 4-7,2011, Proceedings
Book
09/2011
1st Edition
Springer
€53.49
Shipment within 7-9 days
Content
- Title page
- Preface
- Organization
- Table of Contents
- Everything You Always Wanted to Know about Planning (But Were Afraid to Ask)
- Planning? What's that?
- What is it good for?
- Does it work?
- Is it interesting to do research in?
- How do heuristics relate to each other?
- Under what circumstances does a given heuristic work well?
- And now, what?
- References
- Why We Need Evolutionary Semantics
- Introduction
- The Nature of Conceptualisation
- Conceptualization Relies on Cognitive Operations
- Conceptualization Is Strongly Context-Dependent
- Human Languages Use Inferential Coding
- Conceptualization Is Language and Culture Specific
- An Evolutionary Approach
- Language Games
- Internal Representations
- Diagnostics and Repairs
- Alignment
- Conclusions
- References
- General Game Playing in AI Research and Education
- Introduction
- The Research Landscape of General Game Playing
- Knowledge Representation and Reasoning
- Search
- Planning
- Learning
- Further Relevant Research Areas
- General Game Playing in AI Education
- Problem Solving
- Knowledge and Reasoning
- Planning
- Teaching Resources
- Conclusion
- References
- Conversational Agents in a Virtual World
- Introduction
- Application Scenarios
- Interaction Data
- Knowledge Representation and Acquisition
- Furniture Ontology
- Information Extraction and Data Merging
- Dialogue Management
- Dialogue Act Recognition Using Syntactic and Semantic Relations
- Question Answering
- Generation of Optimal Answers
- Spatial Model and Spatial Expressions
- Conclusion and Future Work
- References
- Dependency Graphs as a Generic Interface between Parsers and Relation Extraction Rule Learning
- Introduction
- Related Work
- DARE: Minimally Supervised Rule Learning for Relation Extraction
- Parsers
- Dependency Graph as Interface
- Experiments and Evaluation
- Data and Experiment Setup
- Evaluation
- Conclusion and Future Work
- References
- Evaluation and Comparison Criteria for Approaches to Probabilistic Relational Knowledge Representation
- Introduction
- Background: Probabilistic Relational Approaches
- Language Aspects
- Strict and Propositional Knowledge
- Individuals and Universes
- Conclusion and Future Work
- References
- Segmentation of Action Streams Human Observers vs. Bayesian Binning
- Introduction
- Kinematical Data
- Human Action Segmentation
- Bayesian Binning for Action Segmentation
- The Bin Boundary Prior
- Observation Models P(D|{km}) for Action Streams
- Results
- Conclusion
- References
- Speedy Local Search for Semi-Supervised Regularized Least-Squares
- Introduction
- Related Work and Contribution
- Notations
- Semi-Supervised Regularized Least-Squares
- Regularized Least-Squares Classification
- Semi-Supervised Extension
- Local Search Revisited
- Local Search
- Convex Intermediate Tasks
- Efficient Matrix Updates
- Experiments
- Experimental Setup
- Results
- Conclusions and Outlook
- References
- Model-Based Object Recognition from 3D Laser Data
- Introduction
- Related Work
- Model-Based Object Recognition
- Geometric Primitive Detection
- Object Hypothesis Generation
- Object Hypothesis Verification
- Experimental Results
- Hypothesis Generation
- Hypothesis Verification and Model Replacement
- Summary and Future Work
- References
- Swarm Intelligence for Medical Volume Segmentation: The Contribution of Self-reproduction
- Introduction
- Motivation and Related Work
- Ant Colony Optimization
- The Proposed Method
- Regulating Population Size
- Experimental Setup
- Results
- Discussion
- Conclusion
- References
- Efficient Sequential Clamping for Lifted Message Passing
- Introduction
- Lifted Message Passing
- Lifted Decimation
- Lifted Sequential Inference
- Experiments
- Conclusion
- References
- BetterRelations: Using a Game to Rate Linked Data Triples
- Introduction
- Related Work
- The Game
- BetterRelations
- Game Data Acquisition and Preprocessing
- Evaluation
- Conclusion
- References
- Generic Performance Metrics for Continuous Activity Recognition
- Introduction
- Performance Metrics
- Event and Segment Analysis
- Visual Analysis
- Conclusion
- References
- Bayesian Logic Networks and the Search for Samples with Backward Simulation and Abstract Constraint Learning
- Introduction
- From Bayesian to Mixed Networks
- Bayesian Logic Networks
- Sampling Techniques
- Fundamental Sampling Techniques
- Backward SampleSearch
- SampleSearch with Abstract Constraint Learning
- Experiments
- Conclusion
- References
- Transformation Rules for First-Order Probabilistic Conditional Logic Yielding Parametric Uniformity
- Introduction
- Background: FO-PCL in a Nutshell
- Parametric Non-uniformity and FO-PCL Interactions
- FO-PCL Transformation Rules
- Transformation Rules for Interaction Removing
- Simplification Rules
- Properties of FO-PCL Transformation Rules
- Correctness
- Termination
- Completeness
- Confluence
- Conclusions and Further Work
- References
- Variance Scaling for EDAs Revisited
- Introduction
- Estimation of Distribution Algorithms
- Variance Scaling
- No Variance Scaling
- Silverman Variance Adaptation
- s-Self-Adaptation
- Estimation of the Hessian
- Conclusion
- References
- Hierarchically Structured Energy Markets as Novel Smart Grid Control Approach
- Introduction
- Related Work
- Benefits of Hierarchy and Structure
- Modeling the Physical Structure of the Grid
- Modeling the Logical Structure of the Grid
- Case Studies for Hierarchical Markets
- Energy-Mix in a City
- Electricity Market
- Simulated Scenario
- Smart Grid Architecture
- Agent Types and Their Characteristics
- Agent Strategies
- Load Prediction
- Trading Rounds
- Balancing Adjacent Markets
- Empirical Evaluation
- Conclusion
- References
- Compiling AI Engineering Models for Probabilistic Inference
- Introduction
- PHCA-Based Plan Assessment
- Solving Plan Assessment
- Hypothesis Enumeration
- Probabilistic Inference
- Translation Correctness
- Solving Plan Assessment with Probabilistic Reasoning Tools and Methods
- Evaluation
- Conclusion
- References
- Smooth Conditional Transition Paths in Dynamical Gaussian Networks
- Introduction
- Gaussian Network
- Formation Redeployment
- Transitions between Animations
- Implementation
- Conclusions
- References
- HTN-Style Planning in Relational POMDPs Using First-Order FSCs
- Introduction
- Background
- MDPs and POMDPs
- HTN Planning
- First-Order FSCs
- Hierarchical Relational POMDPs
- Algorithm
- Costs and Heuristics
- Properties
- Conclusion and Future Work
- References
- Gates for Handling Occlusion in Bayesian Models of Images: An Initial Study
- Introduction
- The Gated Convolutional Model
- Results and Conclusion
- References
- TGA-Based Controllers for Flexible Plan Execution
- Introduction
- Plan-Based Robot Control
- Timeline-Based Planning and Execution
- Timed Game Automata and Controllers
- The Encoding as nTGA Model
- Synthesizing Controllers
- Empirical Results
- Conclusion
- References
- A Metric to Evaluate a Cluster by Eliminating Effect of Complement Cluster
- Introduction
- Proposed Method
- First Step: Producing of the Primary Clusters
- Second Step: Stability Computation
- Third Step: Stability-Based Selection
- Forth Step: Consensus Function and Obtaining Final Partition
- Experimental Results
- Conclusion and Future Works
- References
- Predicting Numbers: An AI Approach to Solving Number Series
- Introduction
- Using a Dynamic Learning Approach
- Empirical Results
- Testing the Online Encyclopedia of Integer Sequences
- Discussion
- References
- Prediction of Classifier Training Time Including Parameter Optimization
- Introduction
- Meta-Learning
- Run-Time of a Grid Search
- Methodology
- Traditional Meta-Features
- Time-Based Meta-Features
- Evaluation
- Correlation
- Normalized Absolute Error
- Correlation between Features and Target Variable
- Conclusion
- References
- Human-Machine Corpus Analysis for Generation and Interaction with Spoken Dialog Systems
- Introduction
- Related Work
- Human-Machine Corpus Analysis
- User Input Generation
- User Simulation Experiments
- Conclusion
- References
- Comparison of Laser-Based Person Tracking at Feet and Upper-Body Height
- Introduction
- Tracker
- Feet Tracker
- Upper-Body Tracker
- Experiments
- Experimental Setup
- Precision Measure
- Results Feet Tracker
- Results Upper-Body Tracker
- Comparison and Discussion
- Conclusion
- References
- Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection
- Introduction
- Restricted Higher-Order Anti-Unification
- Complexity of Substitutions
- Reuse of Substitutions
- Restricting Mapping between Symbols
- Anti-Unification with Sorts
- Conclusion
- References
- Linkless Normal Form for $ALC$ Concepts and TBoxes
- Introduction
- Preliminaries
- Normal Forms
- Linkless Concepts
- Properties of Linkless Concepts
- Tractable Subsumption Checking
- Uniform Interpolation
- Linkless TBoxes
- Conclusion / Future Work
- References
- Shape Retrieval with Qualitative Relations: The Influence of Part-Order and Approximation Precision on Retrieval Performance and Computational Effort
- Introduction
- Shape Description with Qualitative Spatial Relations
- Qualitative Bipartite Arrangement Relations
- Part-Order Preserving Bipartite Arrangement Matrix
- Part-Order Abandoning Bipartite Arrangement Histogram
- Appropriate Precision of Approximation
- Evaluation
- Shape Retrieval Performance
- Computational Effort for Shape Retrieval
- Research Questions Revisited
- Influence of the Shape Part-Order
- Influence of the Approximation Precision
- Significance of Qualitative Position Information
- Summary and Outlook
- References
- Classification of Semantic Concepts to Support the Analysis of the Inter-cultural Visual Repertoires of TV News Reviews
- Analysis of Visual Repertoires in Media and Communication Sciences
- Computational Approaches
- Experimental Results
- References
- Shaking Hands in Latent Space Modeling Emotional Interactions with Gaussian Process Latent Variable Models
- Introduction
- Model
- Results and Conclusion
- References
- Value-Difference Based Exploration: Adaptive Control between Epsilon-Greedy and Softmax
- Introduction
- Methodology
- Learning the Q Function by On- and Off-Policy Methods
- Basic Exploration/Exploitation Strategies
- Value-Difference Based Exploration
- VDBE-Softmax
- Experiments in the Cliff-Walking Task
- Experiment Setup
- Results
- Experiments in the Bandit-World Task
- Experiment Setup
- Results
- Discussions and Conclusions
- References
- Calculating Meeting Points for Multi User Pedestrian Navigation Systems
- Introduction
- Towards Multi User Pedestrian Navigation
- Pedestrian Navigation
- Steiner Tree Problem
- Meeting Problem
- Practical Problem Formulation
- Formal Definition: Meeting Tree Problem (MTP)
- Two Approaches
- Solving MTP in the Street Network
- Solving MTP Geometrically
- Evaluation
- Comparing ESP and SPN
- Meeting Points for Two Persons
- Subjective Evaluation
- Conclusion
- References
- Algorithmic Debugging to Support Cognitive Diagnosis in Tutoring Systems
- Introduction
- Background
- Multi-column Subtraction
- Error Analysis in Multi-column Subtraction
- Shapiro's Algorithmic Debugging
- Algorithmic Debugging in Tutoring
- Example
- Single Error Tracking
- Tracking Multiple Errors
- Practical Use in Tutoring
- Graphical User Interface - Exercise Sheet
- Implementing the Oracle
- Discussion and Related Work
- Conclusion and Future Work
- References
- Author Index
