Advances in Artificial Intelligence

Name: Advances in Artificial Intelligence | 25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012, Proceedings
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

25th Canadian Conference on Artificial Intelligence, Canadian AI 2012, Toronto, ON, Canada, May 28-30, 2012, Proceedings

Leila Kosseim Diana Inkpen(Herausgeber*in)

Springer (Verlag)

Erschienen am 26. Mai 2012

XVI, 398 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-642-30353-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

Title
Preface
Organization
Invited Talks
A New Semantics: Merging Propositional and Distributional Information
Table of Contents
Long Papers
Applying Latent Semantic Analysis to Tag-Based Community Recommendations
Introduction
Related Work
A Latent Semantic Model for Community Recommendations
Representing Communities in Latent Semantic Space
Representing User Preferences in Latent Semantic Space
Top-n Community Recommendations
Experimental Evaluation
Evaluation Methodology
Experiments with k Approximations
Effect of Tag Weights
Comparison with Other Methods
Conclusions and Future Work
References
Macro Learning in Planning as Parameter Configuration
Introduction
Background
Classical Planning
Learning Macros
Parameter Configuration
Macro Learning as Parameter Configuration
Experiments
Experimental Set-up
Experiment 1: Fixed Macro Set Learning
Experiment 2: Instance-Specific Macro Learning
Discussion and Analysis
Conclusion
References
Efficient Pairwise Classification Using Local Cross Off Strategy
Introduction
Related Work
The Proposed LCO Method
Modified K-Nearest Neighbor Method
Experimental Comparison
Experimental Settings
Experimental Results
Experimental Result Analysis
Conclusions
References
Learning Sentiments from Tweets with Personal Health Information
Introduction
Tweets with Personal Health Information
Sentiment Annotation
Assessment of the Annotation
Sentiment Classification Results
Discussion and Future Work
References
Searching for Poor Quality Machine Translated Text: Learning the Difference between Human Writing and Machine Translations
Introduction
Related Work
DataandMethods
Hansard Data
Government of Canada Data
Government of Ontario Data
Evaluation
Hansard Data
Government of Canada Data
Government of Ontario Data
Conclusions and Further Research
References
Mining Top-K Association Rules
Introduction
Problem Definition and Preliminary Definitions
The TopKRules Algorithm
Evaluation
Conclusion
References
Cost-Sensitive Self-Training
Introduction
A Cost-Sensitive Self-Training Algorithm
Experiments and Results
Datasets
Experimental Settings
Results on 13 UCI Datasets
Results on Three Text Datasets
Conclusions and Future Work
References
An Empirical Study of Encodings for Group MaxSAT
Introduction
The Group MaxSAT Problem
Encoding Group MaxSAT as Standard MaxSAT
Modeling Problems as Group MaxSAT
Experimental Evaluation
Related Work
Conclusions and Future Work
References
Actions, Preferences, and Logic Programs
Introduction
Contributions
Overview
Preliminaries
States and Actions
Preferences
From Preference on States to Preference on Actions
Fixed Path Length
Admissible Mappings
General Results
Computing Preference Orderings
State-Respecting Action Policies
Logic Programs for Preferences
Actions as States: Extending the Vocabulary
Discussion
References
Preference-Based Planning via MaxSAT
Introduction
PBP as Partial Weighted MaxSAT
Preference-Based Planning
A SAS+ Based Encoding
Planning with MaxSAT
Implementation and Evaluation
Concluding Remarks
References
Getting Emotional about News Summarization
Introduction
Text Analysis Conference
Our Motivation
Identifying Emotion
Emotions by Category
The System
Module 1: Clustering
Module 2: Sentence Ranking
The Final Systems
TAC Evaluation
Discussion and Conclusion
References
Exploiting the Probability of Observation for Efficient Bayesian Network Inference
Introduction
Background and Previous Work
The Probability of Observation and Thresholding
Weighted Edge Elimination Algorithms
Experimental Evaluation
Conclusion
References
A Strategic Reputation-Based Mechanism for Mobile AdHoc Networks
Introduction
Related Work
The Description of the Proposed Model
Credibility Measurement Mechanism
Determination of the Forwarding Behaviours
Experimental Results
Conclusion and Future Work
References
Domain Adaptation Techniques forMachine Translation and Their Evaluation in a Real-World Setting
Introduction
Baseline Translation System
Domain Adaptation
Experimental Results
BLEU Score Evaluation of Domain Adaptation Techniques
Human Evaluation: Methods and Results
Conclusion and Future Work
References
Applying Least Angle Regression to ELM
Introduction
Previous Work
Brief of ELM
Recent Variants
Proposed Approach
Outlier Detection
Adaptive Lasso
Least Angle Regression
Experimental Set Up and Results
Benchmarking Regression
SinC Function Approximation
Conclusion and Future Work
References
Clustering Based One-Class Classification for Compliance Verification of the Comprehensive Nuclear-Test-Ban Treaty
Introduction
Related Work
Framework: Description and Analysis
Mathematical Analysis
Description of the Data Sets
Experimental Framework
Experimental Results
Conclusion and Directions for the Future
References
Image Morphing: Transfer Learning between Tasks That Have Multiple Outputs
Introduction
Background
Multiple Task Learning
Context-Sensitive Multiple Task Learning
Extending MTL to Tasks with Multiple Outputs
Learning Image Morphing Tasks
Empirical Studies
Task Domain
Objective
Method
Results
Conclusions and Future Work
Future Work
References
A Formal Study on the Dualities in Temporal Projection Problems
Introduction
Preliminaries
Situation Calculus
Event Systems
A Theory of Event Systems
Two Example Dualities
Nebel and B¨ackstr¨om's Duals
Dean and Boddy's Duals
On Alternative Negations
Kambhampati and Nau's Formalisms
Complete versus Partial Negation
Summary
References
Predicting Good Propagation Methodsfor Constraint Satisfaction
Introduction
Methodology
Results
Information Value of CSP Attributes
Solving Method Prediction Accuracy
Relative Importance of Individual Problem Instances
Feasibility of Metareasoning for CSPs
Conclusions and Future Work
References
Analysis of Important Factors for Measuring Similarity of Symbolic Music Using n-gram-Based, Bag-of-Words Approach
Introduction
Background
Previous Work
Datasets
MIREX SMS Evaluation Framework
Methodology
Granularity of Melodic and Rhythmic Features
n-gram Length
Similarity Measure
Term Weighting Method
Results
MIREX 2011 Evaluation
Conclusions
References
Multiagent Decision by Partial Evaluation
Introduction
Background
Single Decision Variable
Multiple Decision Variables
Multiple Utility Variables
Utility Message by Leaf Agent
Utility Message from Non-leaf
Decision Message Distribution
Case Study in MAE
Conclusion
References
A Study of Recommending Locations on Location-Based Social Network by Collaborative Filtering
Introduction
Related Works
Check-in Data on LBSN
Data Collection
Data Utilization
Location Recommenders on LBSN
Memory-Based Recommenders
Model-Based Recommender
Experiments
Conclusions and Future Work
References
Role Assignment for an Agent Group in Consideration of Conflicts among Agents
Introduction
Problem Formalization
An Initial Algorithm
An Algorithm Adapted from the Algorithm for Problem 1
Efficiency Comparison
Related Work
Conclusions
References
Short Papers
Learning Observation Models for Dialogue POMDPs
Introduction
Capturing a Dialogue MDP Model for SmartWheeler
Learning the Observation Model for the Dialogue POMDP
Experiments
Conclusion and Future Work
References
A Genetic and Social Computational Model for the Emergence of Skill-Based Agent Specialization
Introduction and Background
Weight-Allocated Social Pressure System
Model Outline and Agent Attributes
Agent Inhibition, Interaction, and Updates
HybridModel
Experiments and Results
Conclusion
References
Improvements to AdaBoost Dynamic
Introduction
Looking for the "Best" Weak Classifier
Logistic Loss and AdaBoost Dynamic
Results
Conclusion
References
Mining Sequential Rules Common to Several Sequences with the Window Size Constraint
Introduction
Mining Sequential Rules with RuleGrowth
The TRuleGrowth Algorithm
Conclusion
References
Mining Administrative Data to Predict Falls in the Elderly Population
Introduction
Data
Analysis
Results
Conclusion and Future Work
References
Text Similarity Using Google Tri-grams
Introduction
Related Work
ProposedMethod
n-Gram Word Similarity
Overall Text Similarity
Evaluation and Experimental Results
Conclusion
References
Mining the Hidden Structure of Inductive Learning Data Sets
Introduction
The Proposed Approach
Components of Our Approach
Mining the Hidden Structures of UCI Domains
Results
Conclusions and Future Work
References
Curriculum Learning for Motor Skills
Introduction
Related Work
Motor Control and Curriculum Learning
Results
Conclusions
References
Bayesian Multiple Imputation Approaches for One-Class Classification
Introduction
Bayesian Multiple Imputation
One-Class Classification
Proposed Approaches
Average BMI
Ensemble BMI
Experimental Analysis
Methodology and Results
Conclusions and Future Work
References
A Three-Level Cognitive Architecture for the Simulation of Human Behaviour
Introduction
The Stroop Task and Its Computer Simulations
The Cognitive Architecture
Results and Discussion
"Color-Word" Interference Stroop Task
Semantic Stroop Task
Conclusion and Future Work
References
Anomaly Detection via Coupled Gaussian Kernels
Introduction
OCSVM Algorithm for Anomaly Detection
Centralized GRBF
Coupled Ensemble-Kernels
Experiments
Conclusion and Future Work
References
Formal Verification of Temporal Questions in the Context of Query-Answering Text Summarization
Introduction
Pre-processing and Logical Translation
FormalModelVerification
Evaluation and Results
Conclusion
References
DSHARP: Fast d-DNNF Compilation with sharpSAT
Introduction
Preliminaries
DSHARP
Experimental Analysis
Concluding Remarks
References
A Multiagent System to Solve JSSP Using a Multi-Population Cultural Algorithm
Introduction
Related Work
Proposed Multi-Population Cultural Algorithm
Results
Conclusions
References
Modeling Local Belief Revision in a Dynamic Reasoning System
Introduction
Dynamic Reasoning Systems
Compartmentalization Example Revisited
References
Exploiting Semantic Roles for Asynchronous Question Answering in an Educational Setting
Introduction
Asynchronous QA System Architecture
The Trouble with Time
The QA System Components
The Asynchronous QA Model
Prototype Test Results and Discussion
The QA Prototype
Preliminary Results
Related Works
Conclusions
References
Selected Papers from the Graduate Student Symposium
Managing Concurrent Negotiations in Multi-agent Systems
Introduction
Solution Approach
Coordination Scenarios
Future Work
References
Generalizing and Executing Plans
The Problem Addressed
Proposed Research Plan
Progress to Date
Future Work
Conclusion
References
Semantic A nalysis of Functional and Non-Functional Requirements in Software Requirements Specifications
Introduction
Research Plan
SRS Classifier
Corpus
Training
Evaluation
Related Work
Conclusions
References
Populating a Knowledge Base from a Dictionary
Introduction
Knowledge Extraction
TowardtheThesis
Conclusion
References
Author Index

Systemvoraussetzungen

Als PDF speichern Als Link merken