Current topics in artificial intelligence : 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, Seville, Spain, November 9-13, 2009 : selected papers

• Main Authors: CAEPIA, Meseguer, Pedro, Mandow, Lawrence, Gasca, Rafael M.
• Format: eBook Book
• Language: English
• Published: Berlin Springer 2010; Springer Berlin / Heidelberg
• Edition: 1
• Series: Lecture Notes in Computer Science
• Subjects: Artificial intelligence; Artificial intelligence > Congresses; Congresses
• ISBN: 9783642142635; 364214263X

Constitutes the refereed proceedings of the 13th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2009, held in Salamanca, Spain, in November 2009, in conjunction with the Workshop on Artificial Intelligence Technology Transfer, TTIA 2009.

Table of Contents:

• Title -- Preface -- Organization -- Table of Contents -- Diagnosis -- Employing Test Suites for Verilog Fault Localization -- Introduction -- Model-Based Debugging -- Test Patterns for Improving the Diagnosis Resolution -- Empirical Results -- Related Work and Conclusion -- References -- Analyzing the Influence of Differential Constraints in Possible Conflict and ARR Computation -- Introduction -- Model-Based Diagnosis of Dynamic Systems -- Classical DX and FDI Approaches -- PCs, ARRs, and Conflicts in the BRIDGE Framework -- A Case Study -- Dealing with Temporal Information in System Description -- Inclusion of Time in PCs and ARRs Calculation -- Comparing Temporal Issues in PC and ARR Calculation -- PCs and ARRs for Dynamic Systems -- Dependency-Compilation and State Observer Design -- Application to the Case Study -- Conclusions -- References -- On the Complexity of Program Debugging UsingConstraints for Modeling the Program's Syntax and Semantics -- Introduction -- Representing Programs as Constraints -- Loop-Free Programs -- Static Single Assignment Form -- Constraint Representation -- Constraint-Based Debugging -- Experimental Results -- Conclusion -- Evolutive Algorithms and Neural Networks -- An Analysis of Particle Properties on a Multi-swarm PSO for Dynamic Optimization Problems -- Introduction -- The Multi-QPSO -- The Moving Peaks Benchmark -- Computational Experiments -- Experimental Framework -- Analysis of the Results -- Conclusions and Future Work -- References -- An Incremental Learning Method for Neural Networks Based on Sensitivity Analysis -- Introduction -- On-Line Sensitivity Learning Algorithm -- Experimental Results -- Conclusions -- References -- A Multi-objective Neuro-evolutionary Algorithm to Obtain Interpretable Fuzzy Models -- Introduction -- Improving Interpretability in TSK Fuzzy Models
• Fuzzy Models Identification -- Multi-objective Neuro-evolutionary Algorithms -- Experiments and Results -- Conclusions -- References -- Improving Isolated Handwritten Word Recognition Using a Specialized Classifier for Short Words -- Introduction -- Recognition Systems -- Hidden Markov Models -- Hybrid HMM/ANN Models -- Multilayer Perceptrons -- Experimental Framework -- IAM Corpus -- Preprocessing -- Experiments -- Experimental Results -- Holistic Models -- Classifier Ensembles -- Conclusions -- References -- Knowledge Representation and Engineering -- Closeness and Distance Relations in Order of Magnitude Qualitative Reasoning via PDL -- Introduction -- Syntax and Semantics -- Axiom System -- Decidability and Completeness -- Conclusions and Future Work -- References -- Base Belief Change for Finitary Monotonic Logics -- Introduction -- Preliminaries on Theory and Base Belief Change -- Multiple Base Revision for Finitary Monotonic Logics -- Base Belief Revision -- The Case of Graded Fuzzy Logics -- Conclusions -- References -- Common Pitfalls in Ontology Development -- Introduction -- State of the Art: Patterns and Anti-Patterns -- Identification of Patterns, Anti-Patterns and Pitfalls -- Pitfalls: Description, Classification and Examples -- Pitfalls in Relationship Modelling -- Relationships among Pitfalls -- Conclusions and Future Work -- References -- Machine Learning -- Obtaining Optimal Class Distribution for Decision Trees:Comparative Analysis of CTC and C4.5 -- Introduction -- The CTC Algorithm -- Experimental Methodology -- Experimental Results -- Conclusions and Further Work -- References -- Selecting Few Genes for Microarray Gene Expression Classification -- Introduction -- Feature Selection and Classification Techniques -- Experimental Setting -- Configurations for Individual Data Sets Based on Error -- Overall Behavior Based on Rankings
• Constraint-Based Modeling -- Item Response Theory -- Assessment Combining the IRT and CBM through Procedural Tasks -- OOPS -- Experiments -- Experiment Design -- Data Analysis -- Results -- Conclusions and Future Work -- References -- Uncertainty: Bayesian Networks -- Recursive Probability Trees for Bayesian Networks -- Introduction -- Inference in Bayesian Networks and Probability Trees -- Recursive Probability Trees -- Operations with Recursive Probability Trees -- Examples -- Conclusions and Future Work -- References -- Vision -- Generating Saliency Maps Using Human Based Computation Agents -- Introduction -- On Human Based Computation and Saliency Maps -- Proposed System -- Saliency Map Calculation with Bayesian Fusion -- Experimentation -- Experiments Design -- Saliency Maps Obtention -- Comparing Saliency Maps -- Conclusions and Future Lines -- References -- A New Contiguity-Constrained Agglomerative Hierarchical Clustering Algorithm for Image Segmentation -- Introduction -- Notation and Terminology -- Experimental Results -- Concluding Remarks and Future Work -- References -- Applications -- Classifying Sleep Apneas Using Neural Networks and a Combination of Experts -- Introduction -- Materials and Methods -- Materials -- Methods -- Committees of Experts -- A New Combination of Neural Networks Experts -- Conclusions -- References -- Expert System to Real Time Control of Machining Processes -- Introduction -- Pilot Implementation -- Production Systems -- Facts in CLIPS -- Rules in CLIPS -- The Inference Engine in CLIPS -- Description of the Expert System -- Setting the Data Level -- Setting the Data State -- Setting the Actions Associated with the Data -- Combining the Actions -- Experiments -- Conclusions and Further Works -- References -- A Flexible System for Document Processing and Text Transcription -- Introduction -- The Front-End
• Average Rankings for All the Algorithms from 10 to 250 Genes -- Average Rankings for Few Genes -- Conclusions -- References -- Sequential Pattern Mining in Multi-relational Datasets -- Introduction -- Methods and Related Work -- Algorithm Description -- Experimental Evaluation -- Experimental Configuration -- Pre-processing -- Hepatitis Problems -- Analysis of Results -- Conclusions and Future Work -- References -- CBR Outcome Evaluation for High Similar Cases:A Preliminary Approach -- Introduction -- CBR and Adaptation Step -- CBR System -- Reliance Solution Degree -- Experiments -- Conclusion -- References -- On the Suitability of Combining Feature Selection and Resampling to Manage Data Complexity -- Introduction -- Methodology -- Track Feature Extraction -- Resampling -- Feature Reduction -- Classifiers -- Performance Measures in Class Imbalance Problems -- Experimental Results -- Datasets -- Experimental Design -- Analysis of Results -- Conclusions -- References -- Automated Constraint Selection for Semi-supervised Clustering Algorithm -- Introduction -- Related Work -- Our Approach: Semi-supervised Clustering with a Constraint Selector -- Instance Selection with WITS and WIRS -- Constraint Selection upon a Ranked List of Instances -- Experimentation and Results -- Sets of Data and Constraints -- Evaluation Measurements -- Results for Experiment A -- Results for Experiment B -- Conclusion -- References -- Multiagents -- Empirical Hardness for Mixed Auctions -- Introduction -- CCIP: A Topology-Based Solver -- Empirical Hardness Models -- A Empirical Hardness Model for MMUCA -- Analysing MMUCA Problem Hardness -- Conclusions and Future Work -- References -- Developing Strategies for the ART Domain -- Introduction -- Agent Architecture -- Trust Model -- Model Components -- Forgetting Function -- Strategies for Service Requesting
• Strategies for Appraisal Requesting -- Strategies for Reputation Tests -- Strategies for Service Providing -- Results -- Conclusions -- References -- A Multiagent Solution to Adaptively Classify SOAP Message and Protect against DoS Attack -- Introduction -- Web Service Security Problem Description -- Multiagent Architecture -- Mechanism for the Classification of Malicious SOAP Messages -- Conclusions and Results -- References -- Natural Language -- Adding Morphological Information to a Connectionist Part-Of-Speech Tagger -- Motivation -- Probabilistic Model for POS Tagging -- Connectionist Model for POS Tagging -- The Penn Treebank Corpus -- Morphological Information -- Preprocessing -- Adding Morphological Information -- Training the Connectionist POS Taggers -- Connectionist POS Tagger Performance -- Discussion -- References -- Planning -- A Look-Ahead B&amp -- B Search for Cost-Based Planning -- Introduction -- The Cost-Based Planning Model -- Using Look-Ahead States in Cost-Based Planning -- A Cost-Based Heuristic -- Considerations for Computing the Look-Ahead State -- The Search Algorithm -- Experimental Results -- Conclusions -- References -- A Tabu Search Algorithm to Minimize Lateness in Scheduling Problems with Setup Times -- Introduction -- Description of the Problem -- The Disjunctive Graph Model Representation -- Tabu Search for the SDST-JSP -- Experimental Study -- Conclusions -- References -- Improving Local Search for the Fuzzy Job Shop Using a Lower Bound -- Introduction -- Job Shop Scheduling with Uncertain Durations -- Uncertain Durations -- Fuzzy Job Shop Scheduling -- Improved Local Search -- Previous Approaches -- Scheduling Neighbours -- Makespan Lower Bound -- Experimental Results -- Conclusions -- References -- Tutoring Systems -- Data-Driven Student Knowledge Assessment through Ill-Defined Procedural Tasks -- Introduction
• The Image Conditioner