This book constitutes the refereed proceedings of the 6th Mexican International Conference on Artificial Intelligence, MICAI 2008, held in Atizapán de Zaragoza, Mexico, in October 2008.
The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. The papers are organized in topical sections on logic and reasoning, knowledge-based systems, knowledge representation and acquisition, ontologies, natural language processing, machine learning, pattern recognition, data mining, neural networks, genetic algorithms, hybrid intelligent systems, computer vision and image processing, robotics, planning and scheduling, uncertainty and probabilistic reasoning, fuzzy logic, intelligent tutoring systems, multi-agent systems and distributed ai, intelligent organizations, bioinformatics and medical applications, as well as applications.
Klappentext
The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intel- gence (SMIA), is a major international AI forum and the main event in the academic life of the country's growing AI community. In 2008 Mexico celebrates the 50th an- versary of development of computer science in the country: in 1958 the first computer was installed at the National Autonomous University of Mexico (UNAM). Nowadays, computer science is the country's fastest growing research area. The proceedings of the previous MICAI events were published by Springer in its Lecture Notes in Artificial Intelligence (LNAI) series, vol. 1793, 2313, 2972, 3789, 4293, and 4827. Since its foundation in 2000, the conference has been growing in popularity, and improving in quality. This volume contains the papers presented at the oral session of the 7th Mexican International Conference on Artificial Intelligence, MICAI 2008, held October 27-31, 2008, in Atizapán de Zaragoza, Mexico. The conference received for evaluation 363 submissions by 1,032 authors from 43 countries (see Tables 1 and 2). This volume contains revised versions of 94 papers by 308 authors from 28 countries selected - cording to the results of an international reviewing process. Thus the acceptance rate was 25.9%. The book is structured into 20 thematic fields representative of the main current areas of interest for the AI community, plus a section of invited papers:
Inhalt
Invited Papers.- Heuristic Methods for Hypertree Decomposition.- Nonlinear Bayesian Filters for Training Recurrent Neural Networks.- Logic and Reasoning.- QuBIS: An (In)complete Solver for Quantified Boolean Formulas.- Strength Two Covering Arrays Construction Using a SAT Representation.- A New Framework for Local Belief Revision.- Finding Good Starting Points for Solving Nonlinear Constrained Optimization Problems by Parallel Decomposition.- Knowledge-Based Systems, Knowledge Representation and Acquisition.- An Early Warning System for the Prediction of Criminal Careers.- Comparing Distance Measures with Visual Methods.- Ontologies.- Semantic Annotation and Question Answering of Statistical Graphs.- Towards a Methodology to Conceptualize the Geographic Domain.- Natural Language Processing.- Effect of Preprocessing on Extractive Summarization with Maximal Frequent Sequences.- Text Summarization by Sentence Extraction Using Unsupervised Learning.- Spanish Nested Named Entity Recognition Using a Syntax-Dependent Tree Traversal-Based Strategy.- Question/Answering Clarification Dialogues.- Using Graphs for Shallow Question Answering on Legal Documents.- Two Proposals of a QA Answer Extraction Module Based on Semantic Roles.- A Misclassification Reduction Approach for Automatic Call Routing.- Spanish Temporal Expressions: Some Forms Reinforced by an Adverb.- A Soundex-Based Approach for Spoken Document Retrieval.- Textual Entailment Recognition Based on Structural Isomorphism.- Machine Learning.- On-Line Modeling Via Fuzzy Support Vector Machines.- Reinforcement Learning with Markov Logic Networks.- Learning the Filling Policy of a Biodegradation Process by Fuzzy Actor-Critic Learning Methodology.- INDIE: An Artificial Immune Network for On-Line Density Estimation.- Learning Probability Densities of Optimization Problems with Constraints and Uncertainty.- Pattern Recognition.- Pattern Classification Based on Conformal Geometric Algebra and Optimization Techniques.- Automatic Classification of Three-Phase Flow Patterns of Heavy Oil in a Horizontal Pipe Using Support Vector Machines.- Wavelets Based on Atomic Function Used in Detection and Classification of Masses in Mammography.- The Effect of Repeated Measurements on Bayesian Decision Regions for Class Discrimination of Time-Dependent Biological Systems.- Data Mining.- Global Classifier for Confidential Data in Distributed Datasets.- Undecimated Wavelet Based Autoregressive Model for Anchovy Catches Forecasting.- Neural Networks.- Neural Processor as a Dynamic Power Manager for Digital Systems.- Tank Model Coupled with an Artificial Neural Network.- Feature Selection Using Artificial Neural Networks.- Composite Kernels for Support Vector Classification of Hyper-Spectral Data.- Genetic Algorithms.- A Constraint-Handling Genetic Algorithm to Power Economic Dispatch.- Using Genetic Fuzzy Algorithms to Model the Evolution of Climate Variables at San Jorge Gulf Area.- Digital Filters Using Adjacency Matrix Representation.- Using Hyper-heuristics for the Dynamic Variable Ordering in Binary Constraint Satisfaction Problems.- Optimal Design of Multiproduct Batch Plants under Imprecise Demand.- A Set of Test Cases for Performance Measures in Multiobjective Optimization.- Some Demonstrations about the Cardinality of Important Sets of Non-dominated Sets.- Looking Inside Particle Swarm Optimization in Constrained Search Spaces.- An Approach to Searching for Two-Dimensional Cellular Automata for Recognition of Handwritten Digits.- Hybrid Intelligent Systems.- Prediction of Pediatric Risk Using a Hybrid Model Based on Soft Computing Techniques.- Cell Formation with Alternative Routings and Capacity Considerations: A Hybrid Tabu Search Approach.- Fault Diagnosis of a Vehicle with Soft Computing Methods.- Hybridization of PSO and a Discrete Position Update Scheme Techniques for Manufacturing Cell Design.- Estimation of Parameters in Cox's Proportional Hazard Model: Comparisons between Evolutionary Algorithms and the Newton-Raphson Approach.- Gravitational Fuzzy Clustering.- Computer Vision and Image Processing.- A Fuzzy Approach to Skin Color Detection.- To Boldly Split: Partitioning Space Filling Curves by Markov Chain Monte Carlo Simulation.- Impulse Denoising Using Fuzzy and Directional Processing on a DSP.- A Motion Planning Strategy for Rapidly Finding an Object with a Mobile Manipulator in 3-D Environments.- Extraction and Specialization of Geo-spatial Objects in Geo-images Using Semantic Compression Algorithm.- A Hybrid Rough K-Means Algorithm and Particle Swarm Optimization for Image Classification.- Robotics.- Monocular Model-Based 3D Location for Autonomous Robots.- A Robust Iterative Closest Point Algorithm with Augmented Features.- Multi-robot Exploration and Mapping Using Self Biddings and Stop Signals.- Rhythmic Locomotion Control of Humanoid Robot.- Planning and Scheduling.- Strong Probabilistic Planning.- Parametric Algorithms for Cyclic Scheduling Problems with Applications to Robotics.- Solving a School Timetabling Problem Using a Bee Algorithm.- An Efficient Simulated Annealing Algorithm for Feasible Solutions of Course Timetabling.- Uncertainty and Probabilistic Reasoning.- On the Definition of Essential and Contingent Properties of Subjective Belief Bases.- Some Properties of Aggregated Distributions over Expected Values.- Fuzzy Logic.- Generators of Fuzzy Operations for Hardware Implementation of Fuzzy Systems.- Quantitative Possibilistic Networks: Handling Interventions and Asc…