KI 2015: Advances in Artificial Intelligence

Name: KI 2015: Advances in Artificial Intelligence | 38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

38th Annual German Conference on AI, Dresden, Germany, September 21-25, 2015, Proceedings

Steffen Hölldobler Markus Krötzsch Rafael Peñaloza Sebastian Rudolph(Herausgeber*in)

Springer (Verlag)

Erschienen am 29. September 2015

XIX, 368 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-24489-1 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

Intro
Preface
Organization
Sponsors and Patronage
Keynotes
Declarative Probabilistic Programming
Automating Chemistry and Biology Using Robot Scientists
Safety Constraints and Ethical Principles in Collective Decision Making Systems
Contents
Keynote
Safety Constraints and Ethical Principles in Collective Decision Making Systems
1 Introduction
2 Which Ethical Principles for Intelligent Agents?
3 Designing Ethical Agents
4 Preferences and Ethical Principles in Collective Decision Making Systems
5 Safety Constraints vs. Ethical Principles
6 Concluding Remarks
References
Full Technical Papers
Complexity of Interval Relaxed Numeric Planning
1 Motivation
2 Basics
2.1 Numeric Planning with Instantaneous Actions
2.2 Interval Arithmetic
3 Delete Relaxation
4 Interval Relaxation
5 Conclusion and Future Work
References
Oddness-Based Classifiers for Boolean or Numerical Data
1 Introduction
2 Heterogeneity of an Item with Respect to a Triple
2.1 Heterogeneous Proportions
2.2 An Oddness Measure for Boolean Data
2.3 Extension to Numerical Data
3 Oddness of an Item with Respect to a Class
3.1 Oddness with Respect to Subsets of Various Size
3.2 Oddness Measure for Vectors
3.3 Global Oddness Measure
4 An Oddness-Based Classifier
4.1 Algorithm
5 Experimentations and Discussion
6 Conclusion
References
Packing Irregular-Shaped Objects for 3D Printing
1 Introduction
2 Sphere-Tree Construction
3 Robustness Considerations
4 Cost Functions and Global Optimization
5 Complexity Considerations
6 Experimental Results
7 Conclusion and Outlook
References
Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL-TBoxes
1 Introduction
2 Preliminaries
3 Normal Form Computation
3.1 Step 1
3.2 Step 2
3.3 Step 3
4 Simulation
5 Conclusion and Discussion
References
Towards a More Efficient Computation of Weighted Conditional Impacts for Relational Probabilistic Knowledge Bases Under Maximum Entropy Semantics
1 Introduction
2 Background
3 Basic Case: WCI of a Single Conditional
4 Computing WCI Using Combinatorics
5 Practical Algorithm and Evaluation
6 Conclusions and Future Work
References
Assisting with Goal Formulation for Domain Independent Planning
1 Introduction
2 Background
3 Building References
3.1 Referencing Objects
3.2 Referencing Goals
4 Generating Goals
4.1 Generating References
4.2 Finding Successor References
4.3 Beyond Atomic Goals
5 Evaluation
6 Related Work
7 Conclusion and Future Work
References
Short-Term Wind Power Prediction with Combination of Speed and Power Time Series
1 Introduction
2 Related Work
3 Wind Power Prediction with Machine Learning
3.1 Spatio-Temporal Regression Model
3.2 Nearest Neighbors Regression
3.3 Support Vector Regression
3.4 Random Forest Regression
4 Comparison of Input Patterns
4.1 Comparing Speed and Power Features
4.2 Combining Speed and Power Features
5 Ensemble Combination
5.1 Combination of Predictors Based on Different Time Series
5.2 Combination of Predictors Based on All Available Features
6 Conclusions
References
A Serendipity Model for News Recommendation
1 Introduction
2 A Serendipity Model
2.1 Deriving an Unexpectedness Model
2.2 Word Specificity Estimation: sp(zi,boldsymbold)
2.3 Topic Dissimilarity Determination: dis(zi, zj)
2.4 Limitation of Small Topics' Influence: c(zi, zj,boldsymbold)
2.5 Topic Variety Normalization: norm(d, ZtexttextitMain(boldsymbold))
2.6 Corpus Exploration
3 Evaluation
3.1 Ranking Algorithms
3.2 User Study
3.3 Results
3.4 A Combined Serendipity Model
4 Related Work
5 Conclusion
References
Axiomatization of General Concept Inclusions in Probabilistic Description Logics
1 Introduction
2 The Description Logics P01 and PQ
3 Translation between P01 and
4 Construction of a Base of GCIs in P01
5 Translation between PQ and Q
6 Construction of a Base of GCIs in PQ
7 Probabilistic Model-Based Most-Specific Concept Descriptions
8 Choice of Semantics
9 Complexity of Base Construction
10 Conclusion
References
Kernel Feature Maps from Arbitrary Distance Metrics
1 Introduction
2 Related Work
2.1 Kernel Approximations
2.2 Nyström's Feature Map
3 Distance Based Feature Maps
4 Experimental Results
4.1 Discrete Fréchet Distance
4.2 Hellinger Distance
4.3 Bhattacharyya Distance
5 Conclusion
References
A Doppelkopf Player Based on UCT
1 Introduction
2 Doppelkopf
2.1 Game Play
2.2 Game Evaluation
2.3 Discussion
3 The UCT Algorithm
3.1 UCT for Doppelkopf
3.2 Variants
4 The Card Assignment Problem
5 Experiments
5.1 Exploration in the UCT Algorithm
5.2 Influence of Announcements and Monte Carlo Simulations
5.3 Ensemble-UCT versus Single-UCT
5.4 Game Analysis Against a Human
5.5 Discussion
6 Conclusion
References
An Empirical Case Study on Symmetry Handling in Cost-Optimal Planning as Heuristic Search
1 Introduction
2 Background
2.1 Structural Symmetries and Orbit Space Search
2.2 Factored Symmetries and Merge-and-Shrink
2.3 Symmetrical Lookups
3 Experimental Study
3.1 Symmetries in Common Planning Benchmarks
3.2 Setup of the Study
3.3 Symmetrical Lookups and BPMX
3.4 Results for Merge-and-Shrink Heuristic
3.5 Results for iPDB and CEGAR Heuristics
4 Discussion
References
Necessary Observations in Nondeterministic Planning
1 Introduction
2 Preliminaries
3 Necessary Observations
3.1 Bottom-Up Search
3.2 Observation Minimization
4 Experiments
5 Conclusion and Future Work
References
Analogical Representation of RCC-8 for Neighborhood-Based Qualitative Spatial Reasoning
1 Introduction
2 Qualitative Representation of Space
3 Analogical Representation for RCC-8
3.1 Conceptual Neighborhood Transitions
3.2 Constructing the Representation
4 Algorithmic Realization
4.1 Experimental Evaluation
5 Conclusions
References
Grid-Based Angle-Constrained Path Planning
1 Introduction
2 Angle Constrained Path Planning Problem on Square Grid
3 Algorithms for the Angle Constrained Path Planning
3.1 wTheta*-LA
3.2 LIAN
3.3 D-LIAN
4 Experimental Analysis
5 Conclusions and Future Work
References
Technical Communications
Efficient Axiom Pinpointing with EL2MCS
1 Introduction
2 Preliminaries
2.1 Lightweight Description Logics
2.2 Propositional Satisfiability
3 Computation Technique and Tool Overview (EL2MCS)
3.1 Horn Formula Encoding
3.2 MinAs as MUSes
3.3 Axiom Pinpointing Using MaxSAT
3.4 EL2MCS Tool
4 Experimental Evaluation
5 Conclusions and Future Work
References
Abducing Hypotheses About Past Events from Observed Environment Changes
1 Motivation
2 Abducing the Cause of Environment Changes
3 Real World Experiment
4 Related Work
5 Conclusion and Future Work
References
A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics
1 Introduction
2 Background: Abstract Argumentation Systems and Labelings
3 Overview of the LabSAT System
4 Evaluation
5 Conclusions and Future Work
References
On the KL Divergence of Probability Mixtures for Belief Contraction
1 Introduction
2 Background
3 Information Theory and Probabilistic Belief Contraction
4 and KL Divergence
5 Conclusion
References
A Critical Review on the Symbol Grounding Problem as an Issue of Autonomous Agents
1 From Searle's CRA to Harnad's SGP
2 A Solution: Adaptive Language Games
3 Concretizing the Problem: The Z Condition
4 Core Problems of the Z Condition
5 Consciousness at the Root of the Matter
6 Conclusion
References
Accurate Online Social Network User Profiling
1 Introduction
2 Problem Definition
3 The Proposed PGPI+ Algorithm
4 Experimental Evaluation
5 Conclusion
References
LewiSpace: An Educational Puzzle Game Combined with a Multimodal Machine Learning Environment
1 Introduction
2 Related Work
3 LewiSpace: An Educational Puzzle Game
4 Experiment and Data Preprocessing
5 Results
6 Conclusions and Future Work
References
Event Detection in Marine Time Series Data
1 Introduction
2 Time Series Event Definition
3 Related Work
4 Experimental Analysis
4.1 Acquiring Labels For Evaluation
4.2 Results and Further Improvement
5 Conclusion
References
A Componentwise Simulated Annealing EM Algorithm for Mixtures
1 Introduction
2 Overview of EM Algorithm
3 Stochastic Exploration Initialization Approach
4 Component-Wise Simulated Annealing EM for Mixtures
5 Experiments
5.1 Results of Stochastic Exploration Initialization Approach
5.2 Results of CSAEM2
6 Conclusion
References
The Polylingual Labeled Topic Model
1 Introduction
2 Related Work
3 The Polylingual Labeled Topic Model
4 Evaluation
5 Discussion and Conclusions
References
Improving Heuristics On-the-fly for Effective Search in Plan Space
1 Introduction
2 Background
2.1 Heuristics for POCL Planning
3 Improved Heuristics for POCL Planning
3.1 Improvement Heuristic
4 Empirical Evaluation
4.1 Experimentation
5 Future Work
References
Hierarchical Hybrid Planning in a Mobile Service Robot
1 Introduction
2 Related Work
3 Approach
4 Performance Example
5 Conclusion and Outlook
References
Towards Episodic Memory Support for Dementia Patients by Recognizing Objects, Faces and Text in Eye Gaze
1 Introduction
2 Related Work
3 Approach
4 Preliminary Experiment
5 Conclusion
References
Deriving a Primal Form for the Quadratic Power Kernel
1 Introduction
2 The Power Kernel
3 Evaluation and Discussion
References
Doctoral Consortium Contributions
Towards an Expert System for the Field of Neurology Based on Fuzzy Logic
1 Introduction
2 Related Work
3 NeuroRec Approach
3.1 NeuroRec Knowledge Base
3.2 NeuroRec Software
4 Summary and Further Procedure
References
Dynamics of Belief: Horn Knowledge Base and Database Updates
1 Introduction
2 Motivation
3 Conclusion
References
Rock, Paper, Scissors What Can I Use in Place of a Hammer?
1 Motivation
2 Research Question
2.1 How to Acquire and Represent a Knowledge About a Tool?
2.2 How to Determine a Reasonable Substitute?
3 Related Work
4 Computational Framework
5 Conclusion and Future Work
References
Abductive Reasoning Using Tableau Methods for High-Level Image Interpretation
1 Introduction
2 Background and Related Work
3 Abductive Reasoning Using Tableau Method
4 Conclusions and Perspectives
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken