AI 2010: Advances in Artificial Intelligence

Name: AI 2010: Advances in Artificial Intelligence | 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings

Jiuyong Li(Herausgeber*in)

Springer (Verlag)

Erschienen am 23. November 2010

XVII, 528 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-17432-2 (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

Title Page
Preface
Conference Organization
Table of Contents
Knowledge Representation and Reasoning
Pushing the Envelope: General Game Players Prove Theorems
Introduction
Background
Game Description Language
Formalising and Encoding Temporal Game Properties
Proving Multiple Temporal Game Properties at Once
Expressiveness and Correctness of the Proof Method
Experimental Results
Summary
References
Temporal Belief-Change: $?$-functions Approach
Introduction
Temporal Ranking Function: Temporal Belief Framework
Temporal and AGM Revision
Temporal and KM Belief Update
Discussion and Conclusion
References
Resource-Sensitive Reasoning with Sequential Information
Introduction
Sequence-Indexed Linear Logic
Main Theorems
Applications
References
Frame-Based Dialogue Management Automated Error Recovery Approach
Introduction
Journaling System and Causality Tracking Mechanism
Journaling System
Causality Tracking Mechanism
Example
Future Work
Conclusion
References
Characterizing Relevant Belief Revision Operators
Introduction
Preliminaries
Belief Revision Issue
Prime Implicants Based Revision
Incorporating Prime Implicants
Preference Ordering over Terms
Prime Implicant Based Revision
Relevant Revision
Conclusion
References
Belief Erasure Using Partial Imaging
Introduction
Background
Partial Imaging
Probabilistic Removal Functions
Variants of Imaging
Selective Imaging
Selective Partial Imaging
Discussion and Conclusion
References
The Impact of Qualification on the Application of Qualitative Spatial and Temporal Reasoning Calculi
Introduction
A General Definition of QSTR Applications
Selecting QSTR Calculi
Qualification When Input Is a Consistent Atomic Network
Qualification When Input Is a Consistent Non-Atomic Network
Qualification When Input Is an Inconsistent Network
Properties of QSTR Applications
Conclusions
References
Two Methods for Constructing Horn Contractions
Introduction and Background
Contractions under Horn Logic
Transitively Relational Partial Meet Horn Contraction
Connections between EEHC and TRPMHC
Conclusion
References
Data Mining and Knowledge Discovery
Database Normalization as a By-product of Minimum Message Length Inference
Introduction
Minimum Message Length
A Typical Normalization Procedure - An Example
MML Interpretation of Normalization
Conclusion and Future Work
References
A Heuristic on Effective and Efficient Clustering on Uncertain Objects
Introduction
Related Work
Clustering Uncertain Objects with Expected Squared Euclidean Distance
Reduce UK-means to K-means
Approximate UK-means
Experimental Evaluation
Execution Time
Clustering Results
Conclusion
References
A New Supervised Term Ranking Method for Text Categorization
Introduction
A New Feature Ranking Method
Term-Category Weighting
Maximum Gap
Experiments
Experimental Results
Conclusion
References
A Comparative Study of a Practical Stochastic Clustering Method with Traditional Methods
Introduction
Traditional Clustering Methods
Practical Stochastic Clustering Method
Experiments and Results
Concluding Remarks
References
An Effective Pattern Based Outlier Detection Approach for Mixed Attribute Data
Introduction
Patterns and Outliers in Mixed Attribute Data
Pattern Based Outlier Detection Algorithm
Experimental Results and Comparison
Synthetic Data
Real World Data
Conclusions
References
Incremental Projection Vector Machine: A One-Stage Learning Algorithm for High-Dimension Large-Sample Dataset
Introduction
Related Work
The SVD in Data Mining
Single Hidden Layer Feed Forward Networks (SLFNs)
Extreme Learning Machine
Projection Vector Machine
The Proposed Algorithm: Incremental Projection Vector Machine
Performance Evaluation
Selections of Parameters
Experimental Results and Analysis
Conclusions and Future Work
References
Machine Learning
Model-Based Viewpoint Invariant Human Activity Recognition from Uncalibrated Monocular Video Sequence
Introduction
Related Work
Contributions
Human Pose Estimation
Human Activity Recognition
Experiments
Conclusion and Future Work
References
On Optimizing $Locally$ Linear Nearest Neighbour Reconstructions Using Prototype Reduction Schemes
Introduction
An Overview : LLR and PRS
Schema for the Proposed Solution
Experimental Set-Up, Results and Evaluation
Conclusions
References
Efficient Two Stage Voting Architecture for Pairwise Multi-label Classification
Introduction
Preliminaries
Two Stage Voting Architecture (TSVA)
Experimental Results
Conclusion
References
Newton Trees
Introduction
Notation and Previous Work
Notation
Related Work
Stochastic Distance-Based Probability Estimation Trees
Gravitational Partitions
Tree Generation
Stochastic Probability Calculation
Experiments
Conclusions and Future Work
References
Learning Parse-Free Event-Based Features for Textual Entailment Recognition
Introduction
Feature Space Engineering
Lexical and Syntactic Features
Semantic Features
Event-Based Features
Other Features
Empirical Analysis
Data
Experiments
Classification Model Reverse Engineering
Concluding Remarks
References
A Gradient-Based Metric Learning Algorithm for k-NN Classifiers
Introduction
Related Work
Approach
Experimental Results
Conclusion
References
Statistical Learning
Dimensionality Reduction for Classification through Visualisation Using L1SNE
Introduction
SNE and t-SNE
Formulation of SNE
t-Distributed SNE
Laplacian-distrubted (L1) SNE
Experimental Results
Handwritten Digits
Photographs of Faces
Conclusions
References
Review of Modern Logistic Regression Methods with Application to Small and Medium Sample Size Problems
Introduction
Logistic Regression Algorithms
Stepwise Regression
Penalized Logistic Regression
Ridge Regression
Least Absolute Shrinkage and Selection Operator
Elastic Net
Bayesian Logistic Regression
Empirical Comparison
A Simulation Study
Real Data Examples
Conclusion
References
The Behaviour of the Akaike Information Criterion When Applied to Non-nested Sequences of Models
Introduction
Akaike's Information Criterion
Models and Nested Model Sequences
Model Fitting and Goodness of Fit
Akaike's Information Criterion
The Bias in AIC for Multiple Selection
Discussion and Impact
Theorem 1 as an Upper Bound
Forward Selection of Regression Features
Application: Signal Denoising by Wavelet Thresholding
Conclusion
References
Unbounded Knowledge Acquisition Based upon Mutual Information in Dependent Questions
Introduction
The Knowledge Base
The Entity-Attribute Truth Table
Acquisition
A Question-Question Correspondence Matrix
Question Selection and Knowledge Acquisition
The Procedure
Remarks
References
Evolutionary Computation
A Comparison of Classification Strategies in Genetic Programming with Unbalanced Data
Introduction
GP Framework and Classification Strategies
GP Fitness Functions
Experimental Parameters, Setup and Data Sets
Experimental Results and Analysis
Conclusions
References
An Encoding Scheme for Cooperative Coevolutionary Feedforward Neural Networks
Introduction
The Neuron Based Subpopulation
Preliminaries
The New Encoding Scheme: Neuron Based Subpopulation (NSP)
Simulation and Analysis
Real-World Problems and Neural Network Configuration
Number of Generations in Subpopulation
Analysis and Discussion
Conclusions and Future Work
References
Evolving Cooperation in the Spatial N-player Snowdrift Game
Introduction
The N-player Snowdrift Game
The Model
Strategy Representation
Strategy Update
Experiments and Results
Conclusion and Future Work
References
Sampling Methods in Genetic Programming for Classification with Unbalanced Data
Introduction
Background
New Sampling Methods
Experimental Design
Experimental Results
Conclusions
References
Evolutionary Non Photo-Realistic Animations with Triangular Brushstrokes
Introduction
Related Work
Evolutionary Art
Non Photo-Realistic Rendering
Configuration of Genetic Programming
Fitness Function:
Open and Closed Triangular Strokes
Different Stroke Placement Strategies
Experimental Results
Open vs. Closed Triangular Brushstrokes
Different Size of Triangles
Different Stroke Placement Modes
Conclusion
References
Cellular Differential Evolution Algorithm
Introduction
Cellular Genetic Algorithm (cGA)
Differential Evolution (DE)
Cellular Differential Evolution (cDE)
Empirical Study
Experimental Study
Experimental Setup
Results and Analysis
Conclusion
References
A Comparative Study of CMA-ES on Large Scale Global Optimisation
Introduction
Background
Cooperative Co-evolution
Covariance Matrix Adaptation Evolution Strategy
Experimental Results and Analysis
Conclusion and Future Works
References
Particle Swarm Optimization
Hybrid Particle Swarm Optimisation Algorithms Based on Differential Evolution and Local Search
Introduction
Background
Particle Swarm Optimisation
Differential Evolution
Related Work of Hybrid PSO for Multi-modal Functions
New Hybrid PSO Algorithms
Hybrid PSO Algorithm Based on Differential Evolution
Hybrid PSO Algorithm Based on Differential Evolution and Local Search
Discussion
Experimental Design
Multi-modal and High-Dimensional Functions
Parameter Setting
Experimental Results and Discussion
Conclusions
References
Edge and Corner Extraction Using Particle Swarm Optimisation
Introduction
Background
Particle Swarm Optimisation
Previous Approaches to Edge Detection
Corner Detection as Interest Point Detection
PSO for Low Level Feature Extraction
PSO-Based Algorithm for Edge Detection
New PSO-Based Algorithm for Corner Detection
Experimental Design
Results and Discussion
Conclusions
References
Fuzzy Adaptive Artificial Fish Swarm Algorithm
Introduction
Proposed Algorithms
Fuzzy Uniform Fish (FUF)
Fuzzy Autonomous Fish (FAF)
Experimental Results
Conclusion
References
Intelligent Agent
The Honourable Negotiator: When the Relationship IsWhat Matters
Introduction
Information-Based Agency That Handles Relationships
An Architecture to Enable Relationships
Valuing Dialogues
Relationship Strategies and Tactics
Providing Agents with Information from External Sources
Conclusions
References
Tuning Java to Run Interactive Multiagent Simulations over Jason
Introduction and Related Work
Test Description
Java Tuning
Performance Evaluation
Conclusions and Future Work
References
Emergence of Cooperation in a Bio-inspired Multi-agent System
Background
Altruism of Army Ants
Defining the Problem
Judgment Criteria for Entering Altruism State
Hypotheses
Experiment to Verify the Hypotheses
Judgment Criteria with Reference to Chain Formation
What Is Chain Formation?
Experiment to Verify the Chain Formation System
Changes in Strategy Based on Numbers of Agents
Deciding Group Behavior of Army Ants
Comparative Experiment
Simulation with Fixed Role Assigned
Conclusion
References
An Efficient Approach for Ordering Outcomes and Making Social Choices with CP-Nets
Introduction
CP-Net Overview
Reasoning with CP-Net Topologically
The Topological Order of Variables
Generating the Preference Order over the Outcome Space Using RA-Tree
Making Social Choices with RA-Trees
Conclusion and Future Work
References
Real-Time Coordination of Concurrent Multiple Bilateral Negotiations under Time Constraints
Introduction
Related Work
Formal Description
The Coordination Process
Empirical Evaluation
Conclusions and Future Work
References
A Logic for Reasoning about Actions and Explicit Observations
Introduction and Motivation
A Logic for Actions and Observations
Syntax
Semantics
Specifying Domains in LAO
Tableaux for LAO
Discussion and Related Work
Concluding Remarks
References
Search and Planning
Taking Learning Out of Real-Time Heuristic Search for Video-Game Pathfinding
Introduction
Problem Formulation
Related Work
Intuition for Our Approach
Implementation Details
Offline Stage
Online Stage
Theoretical Analysis
Results
Database Generation
Online Performance
Conclusion and Future Work Directions
References
Heuristic Planning with SAT: Beyond Uninformed Depth-First Search
Introduction
Preliminaries
The Variable Selection Scheme
Heuristics for Variable Selection
Goal Ordering
Computation of Several Actions
Discussion
Evaluation
Conclusions and Future Work
References
Performance of Infeasibility Empowered Memetic Algorithm (IEMA) on Engineering Design Problems
Introduction
Infeasibility Driven Evolutionary Algorithm (IDEA)
Infeasibility Empowered Memetic Algorithm (IEMA)
Numerical Experiments
Experimental Setup
Results
Summary and Future Work
References
Natural Language Processing
Short-Text Similarity Measurement Using Word Sense Disambiguation and Synonym Expansion
Introduction
Word Sense Disambiguation and Synonym Expansion
The Role of Word Sense Disambiguation (WSD)
Increasing Semantic Context through Synonym Expansion
Word Sense Disambiguation
Word-to-Word Semantic Similarity
Empirical Results
Paraphrase Recognition
Textual Entailment Recognition
30-Sentences Dataset
Conclusion
References
LEXA: Towards Automatic Legal Citation Classification
Introduction
Related and Prior Work
Creating our Corpus of Legal Citations
Building Legal Citation Classification Systems
Experimental Results
Conclusions and Future Work
References
Hazardous Document Detection Based on Dependency Relations and Thesaurus
Introduction
Related Works
Proposed Algorithms
Generation of Keyword Set
Expansion with a Thesaurus
Generation of Segment Pairs
Performance Evaluation
Experimental Environments
Experimental Results
Conclusion
References
Improving Sentence Similarity Measurement by Incorporating Sentential Word Importance
Introduction
Sentence Similarity Measures
Word-to-Word Semantic Similarity Measures
Graph-Based Word Importance Ranking
Modified Sentence Similarity Measures
Empirical Results
Famous Quotations Dataset
Spectral Clustering
Clustering Evaluation Criteria
Results
Conclusion
References
AI Applications
Collaborative Filtering for People to People Recommendation in Social Networks
Introduction
Recommender Systems
People to People Recommendation
Bilateral Collaborative Filtering
A Prototypical Collaborative Filtering Algorithm
Collaborative Filtering for Social Networks
Experimental Evaluation
Experiment Setup
Evaluation Metrics
Results of Recommendation
Concluding Remarks
References
Head X: Customizable Audiovisual Synthesis for a Multi-purpose Virtual Head
Introduction
Background
System Design
Face Synthesis
Speech Synthesis
Speech Animation
External Interfaces
Applications
Conclusions
References
Diagnosing Component Interaction Errors from Abstract Event Traces
Introduction
Motivating Example
Diagnosis Model
Diagnosis Computation
Evaluation
Related Work
Conclusion
References
Evaluating Sequential Single-Item Auctions for Dynamic Task Allocation
Introduction
Multi-robot Co-ordination
Dynamic Task Allocation
Experimental Setting
Experimental Results and Evaluation
Conclusions and Further Work
References
Maximal Matching for Double Auction
Introduction
Preliminaries
The Market Model
Objectives Considered in Double Auction Mechanism Design
Matching Algorithm
Equilibrium Matching
Maximal Matching
Properties of Maximal Matching
Maximizing the Number of Transactions
Maximizing Sell/Buy-Volume
Maximizing Profit
Maximizing Social Welfare
Experimental Results
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken