MICAI 2006: Advances in Artificial Intelligence: 5th Mexican International Conference on Artificial Intelligence, Apizaco, Mexico, November 13-17, 2006, Proceedings

ISBN-13: 9783540490265 / Angielski / Miękka / 2006 / 1236 str.

Alexander Gelbukh;Carlos Alberto Reyes-Garcia

Opis

Artificial Intelligence embraces heuristic methods of solving complex problems for which exact algorithmic solutions are not known. Among them are, on the one hand, tasks related to modeling of human intellectual activity such as thinking, learning, seeing, and speaking, and on the other hand, super-complex optimization problems appearing in science, social life, and industry. Many methods of Artificial Intelligence are borrowed from nature where similar super-complex problems occur. This year is special for the Artificial Intelligence community. This year we th celebrate the 50 anniversary of the very term "Artificial Intelligence," which was first coined in 1956. This year is also very special for the Artificial Intelligence th community in Mexico: it is the 20 anniversary of the Mexican Society for Artificial Intelligence, SMIA, which organizes the MICAI conference series. The series itself also celebrates its own round figure: the fifth event. We can now see that MICAI has reached its maturity, having grown dramatically in size and quality, see Figs. 1 to 3. The proceedings of the previous MICAI events were also published in Springer's Lecture Notes in Artificial Intelligence (LNAI) series, in volumes 1793, 2313, 2972, and 3789. th This volume contains the papers presented during the oral session of the 5 Mexican International Conference on Artificial Intelligence, held on November 13-17, 2006, at the Technologic Institute of Apizaco, Mexico. The conference received for evaluation 448 submissions by 1207 authors from 42 different countries, see Tables 1 and 2.

Spis treści

Artificial Intelligence Arrives to the 21st Century.- Artificial Intelligence Arrives to the 21st Century.- Knowledge Representation and Reasoning.- Properties of Markovian Subgraphs of a Decomposable Graph.- Pre-conceptual Schema: A Conceptual-Graph-Like Knowledge Representation for Requirements Elicitation.- A Recognition-Inference Procedure for a Knowledge Representation Scheme Based on Fuzzy Petri Nets.- Inference Scheme for Order-Sorted Logic Using Noun Phrases with Variables as Sorts.- Answer Set General Theories and Preferences.- A Framework for the E-R Computational Creativity Model.- Fuzzy Logic and Fuzzy Control.- First-Order Interval Type-1 Non-singleton Type-2 TSK Fuzzy Logic Systems.- Fuzzy State Estimation of Discrete Event Systems.- Real-Time Adaptive Fuzzy Motivations for Evolutionary Behavior Learning by a Mobile Robot.- Fuzzy-Based Adaptive Threshold Determining Method for the Interleaved Authentication in Sensor Networks.- A Fuzzy Logic Model for Software Development Effort Estimation at Personal Level.- Reconfigurable Networked Fuzzy Takagi Sugeno Control for Magnetic Levitation Case Study.- Automatic Estimation of the Fusion Method Parameters to Reduce Rule Base of Fuzzy Control Complex Systems.- A Fault Detection System Design for Uncertain T-S Fuzzy Systems.- Uncertainty and Qualitative Reasoning.- An Uncertainty Model for a Diagnostic Expert System Based on Fuzzy Algebras of Strict Monotonic Operations.- A Connectionist Fuzzy Case-Based Reasoning Model.- Error Bounds Between Marginal Probabilities and Beliefs of Loopy Belief Propagation Algorithm.- Applications of Gibbs Measure Theory to Loopy Belief Propagation Algorithm.- A Contingency Analysis of LeActiveMath’s Learner Model.- Constructing Virtual Sensors Using Probabilistic Reasoning.- Solving Hybrid Markov Decision Processes.- Comparing Fuzzy Naive Bayes and Gaussian Naive Bayes for Decision Making in RoboCup 3D.- Using the Beliefs of Self-Efficacy to Improve the Effectiveness of ITS: An Empirical Study.- Qualitative Reasoning and Bifurcations in Dynamic Systems.- Evolutionary Algorithms and Swarm Intelligence.- Introducing Partitioning Training Set Strategy to Intrinsic Incremental Evolution.- Evolutionary Method for Nonlinear Systems of Equations.- A Multi-objective Particle Swarm Optimizer Hybridized with Scatter Search.- Neural Networks.- An Interval Approach for Weight’s Initialization of Feedforward Neural Networks.- Aggregating Regressive Estimators: Gradient-Based Neural Network Ensemble.- The Adaptive Learning Rates of Extended Kalman Filter Based Training Algorithm for Wavelet Neural Networks.- Multistage Neural Network Metalearning with Application to Foreign Exchange Rates Forecasting.- Genetic Optimizations for Radial Basis Function and General Regression Neural Networks.- Complexity of Alpha-Beta Bidirectional Associative Memories.- A New Bi-directional Associative Memory.- Optimization and Scheduling.- A Hybrid Ant Algorithm for the Airline Crew Pairing Problem.- A Refined Evaluation Function for the MinLA Problem.- ILS-Perturbation Based on Local Optima Structure for the QAP Problem.- Application of Fuzzy Multi-objective Programming Approach to Supply Chain Distribution Network Design Problem.- Route Selection and Rate Allocation Using Evolutionary Computation Algorithms in Multirate Multicast Networks.- A Polynomial Algorithm for 2-Cyclic Robotic Scheduling.- A New Algorithm That Obtains an Approximation of the Critical Path in the Job Shop Scheduling Problem.- A Quay Crane Scheduling Method Considering Interference of Yard Cranes in Container Terminals.- Comparing Schedule Generation Schemes in Memetic Algorithms for the Job Shop Scheduling Problem with Sequence Dependent Setup Times.- A Fuzzy Set Approach for Evaluating the Achievability of an Output Time Forecast in a Wafer Fabrication Plant.- Machine Learning and Feature Selection.- How Good Are the Bayesian Information Criterion and the Minimum Description Length Principle for Model Selection? A Bayesian Network Analysis.- Prediction of Silkworm Cocoon Yield in China Based on Grey-Markov Forecasting Model.- A Novel Hybrid System with Neural Networks and Hidden Markov Models in Fault Diagnosis.- Power System Database Feature Selection Using a Relaxed Perceptron Paradigm.- Feature Elimination Approach Based on Random Forest for Cancer Diagnosis.- On Combining Fractal Dimension with GA for Feature Subset Selecting.- Locally Adaptive Nonlinear Dimensionality Reduction.- Classification.- Fuzzy Pairwise Multiclass Support Vector Machines.- Support Vector Machine Classification Based on Fuzzy Clustering for Large Data Sets.- Optimizing Weighted Kernel Function for Support Vector Machine by Genetic Algorithm.- Decision Forests with Oblique Decision Trees.- Using Reliable Short Rules to Avoid Unnecessary Tests in Decision Trees.- Selection of the Optimal Wavebands for the Variety Discrimination of Chinese Cabbage Seed.- Hybrid Method for Detecting Masqueraders Using Session Folding and Hidden Markov Models.- Toward Lightweight Detection and Visualization for Denial of Service Attacks.- Tri-training and Data Editing Based Semi-supervised Clustering Algorithm.- Knowledge Discovery.- Automatic Construction of Bayesian Network Structures by Means of a Concurrent Search Mechanism.- Collaborative Design Optimization Based on Knowledge Discovery from Simulation.- Behavioural Proximity Approach for Alarm Correlation in Telecommunication Networks.- The MineSP Operator for Mining Sequential Patterns in Inductive Databases.- Visual Exploratory Data Analysis of Traffic Volume.- Computer Vision.- A Fast Model-Based Vision System for a Robot Soccer Team.- Statistics of Visual and Partial Depth Data for Mobile Robot Environment Modeling.- Automatic Facial Expression Recognition with AAM-Based Feature Extraction and SVM Classifier.- Principal Component Net Analysis for Face Recognition.- Advanced Soft Remote Control System Using Hand Gesture.- IMM Method Using Tracking Filter with Fuzzy Gain.- Image Processing and Image Retrieval.- Complete FPGA Implemented Evolvable Image Filters.- Probabilistic Rules for Automatic Texture Segmentation.- A Hybrid Segmentation Method Applied to Color Images and 3D Information.- Segmentation of Medical Images by Using Wavelet Transform and Incremental Self-Organizing Map.- Optimal Sampling for Feature Extraction in Iris Recognition Systems.- Histograms, Wavelets and Neural Networks Applied to Image Retrieval.- Adaptive-Tangent Space Representation for Image Retrieval Based on Kansei.- Natural Language Processing.- Distributions of Functional and Content Words Differ Radically.- Speeding Up Target-Language Driven Part-of-Speech Tagger Training for Machine Translation.- Defining Classifier Regions for WSD Ensembles Using Word Space Features.- Impact of Feature Selection for Corpus-Based WSD in Turkish.- Spanish All-Words Semantic Class Disambiguation Using Cast3LB Corpus.- An Approach for Textual Entailment Recognition Based on Stacking and Voting.- Textual Entailment Beyond Semantic Similarity Information.- On the Identification of Temporal Clauses.- Issues in Translating from Natural Language to SQL in a Domain-Independent Natural Language Interface to Databases.- Information Retrieval and Text Classification.- Interlinguas: A Classical Approach for the Semantic Web. A Practical Case.- A Fuzzy Embedded GA for Information Retrieving from Related Data Set.- On Musical Performances Identification, Entropy and String Matching.- Adaptive Topical Web Crawling for Domain-Specific Resource Discovery Guided by Link-Context.- Evaluating Subjective Compositions by the Cooperation Between Human and Adaptive Agents.- Using Syntactic Distributional Patterns for Data-Driven Answer Extraction from the Web.- Applying NLP Techniques and Biomedical Resources to Medical Questions in QA Performance.- Fast Text Categorization Based on a Novel Class Space Model.- A High Performance Prototype System for Chinese Text Categorization.- A Bayesian Approach to Classify Conference Papers.- An Ontology Based for Drilling Report Classification.- Topic Selection of Web Documents Using Specific Domain Ontology.- Speech Processing.- Speech Recognition Using Energy, MFCCs and Rho Parameters to Classify Syllables in the Spanish Language.- Robust Text-Independent Speaker Identification Using Hybrid PCA&LDA.- Hybrid Algorithm Applied to Feature Selection for Speaker Authentication.- Using PCA to Improve the Generation of Speech Keys.- Multiagent Systems.- Verifying Real-Time Temporal, Cooperation and Epistemic Properties for Uncertain Agents.- Regulating Social Exchanges Between Personality-Based Non-transparent Agents.- Using MAS Technologies for Intelligent Organizations: A Report of Bottom-Up Results.- Modeling and Simulation of Mobile Agents Systems Using a Multi-level Net Formalism.- Using AI Techniques for Fault Localization in Component-Oriented Software Systems.- Robotics.- Exploring Unknown Environments with Randomized Strategies.- Integration of Evolution with a Robot Action Selection Model.- A Hardware Architecture Designed to Implement the GFM Paradigm.- Bioinformatics and Medical Applications.- Fast Protein Structure Alignment Algorithm Based on Local Geometric Similarity.- Robust EMG Pattern Recognition to Muscular Fatigue Effect for Human-Machine Interaction.- Classification of Individual and Clustered Microcalcifications in Digital Mammograms Using Evolutionary Neural Networks.- Heart Cavity Detection in Ultrasound Images with SOM.- An Effective Method of Gait Stability Analysis Using Inertial Sensors.