MICAI 2007: Advances in Artificial Intelligence

Artificial Intelligence is a branch of computer science that studies heuristic methods of solving complex problems. Historically the first such tasks modeled human intellectual activity: reasoning, learning, seeing and speaking. Later similar methods were extended to super-complex optimization problems that appear in science, social life and industry. Many methods of Artificial Intelligence are borrowed from nature, where there occur similar super-complex problems such as those related to survival, development, and behavior of living organisms. The Mexican International Conference on Artificial Intelligence (MICAI), a yearly international conference series organized by the Mexican Society for Artificial Intelligence (SMIA), is a major international AI forum and the main event in the academic life of the country's growing AI community. 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, and 4293. Since its foundation in 2000, the conference has shown a stable growth in popularity (see Figures 1 and 3) and improvement in quality (see Fig. 2). The 25% acceptance rate milestone was passed for the first time this year.

Inhalt
Computational Intelligence.- Implementing Knowledge Update Sequences.- Generalized Fuzzy Operations for Digital Hardware Implementation.- A Novel Model of Artificial Immune System for Solving Constrained Optimization Problems with Dynamic Tolerance Factor.- A Genetic Representation for Dynamic System Qualitative Models on Genetic Programming: A Gene Expression Programming Approach.- Handling Constraints in Particle Swarm Optimization Using a Small Population Size.- Collective Methods on Flock Traffic Navigation Based on Negotiation.- A New Global Optimization Algorithm Inspired by Parliamentary Political Competitions.- Discovering Promising Regions to Help Global Numerical Optimization Algorithms.- Clustering Search Approach for the Traveling Tournament Problem.- Stationary Fokker Planck Learning for the Optimization of Parameters in Nonlinear Models.- From Horn Strong Backdoor Sets to Ordered Strong Backdoor Sets.- GIndicator: An MAry Quality Indicator for the Evaluation of Nondominated Sets.- Approximating the ?-Efficient Set of an MOP with Stochastic Search Algorithms.- A Multicriterion SDSS for the Space Process Control: Towards a Hybrid Approach.- Neural Networks.- Radial Basis Function Neural Network Based on Order Statistics.- Temperature Cycling on Simulated Annealing for Neural Network Learning.- On Conditions for Intermittent Search in Self-organizing Neural Networks.- Similarity Clustering of Music Files According to User Preference.- Complete Recall on Alpha-Beta Heteroassociative Memory.- Knowledge Representation and Reasoning.- I-Cog: A Computational Framework for Integrated Cognition of Higher Cognitive Abilities.- A Rule-Based System for Assessing Consistency Between UML Models.- Partial Satisfiability-Based Merging.- Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras.- Compiling Solution Configurations in Semiring Valuation Systems.- Implementing Knowledge Update Sequences.- On Reachability of Minimal Models of Multilattice-Based Logic Programs.- Update Sequences Based on Minimal Generalized Pstable Models.- PStable Semantics for Possibilistic Logic Programs.- Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation.- A Word Equation Solver Based on Levensthein Distance.- Simple Model-Based Exploration and Exploitation of Markov Decision Processes Using the Elimination Algorithm.- A Simple Model for Assessing Output Uncertainty in Stochastic Simulation Systems.- Agents and Multiagent Systems.- An Empirically Terminological Point of View on Agentism in the Artificial.- Inductive Logic Programming Algorithm for Estimating Quality of Partial Plans.- Modeling Emotion-Influenced Social Behavior for Intelligent Virtual Agents.- Just-in-Time Monitoring of Project Activities Through Temporal Reasoning.- Machine Learning and Data Mining.- Scaling Kernels: A New Least Squares Support Vector Machine Kernel for Approximation.- Evolutionary Feature and Parameter Selection in Support Vector Regression.- Learning Models of Relational MDPs Using Graph Kernels.- Weighted Instance-Based Learning Using Representative Intervals.- A Novel Information Theory Method for Filter Feature Selection.- Building Fine Bayesian Networks Aided by PSO-Based Feature Selection.- Two Simple and Effective Feature Selection Methods for Continuous Attributes with Discrete Multi-class.- INCRAIN: An Incremental Approach for the Gravitational Clustering.- On the Influence of Class Information in the Two-Stage Clustering of a Human Brain Tumour Dataset.- Learning Collaboration Links in a Collaborative Fuzzy Clustering Environment.- Algorithm for Graphical Bayesian Modeling Based on Multiple Regressions.- Coordinating Returns Policies and Marketing Plans for Profit Optimization in E-Business Based on a Hybrid Data Mining Process.- An EM Algorithm to Learn Sequences in the Wavelet Domain.- Assessment of Personal Importance Based on Social Networks.- Optimization Procedure for Predicting Nonlinear Time Series Based on a Non-Gaussian Noise Model.- An Improved Training Algorithm of Neural Networks for Time Series Forecasting.- Evolved Kernel Method for Time Series.- Image Processing, Computer Vision, and Robotics.- Using Ant Colony Optimization and Self-organizing Map for Image Segmentation.- Correspondence Regions and Structured Images.- The Wavelet Based Contourlet Transform and Its Application to Feature Preserving Image Coding.- Design of an Evolutionary Codebook Based on Morphological Associative Memories.- A Shape-Based Model for Visual Information Retrieval.- An Indexing and Retrieval System of Historic Art Images Based on Fuzzy Shape Similarity.- PCB Inspection Using Image Processing and Wavelet Transform.- A Single-Frame Super-Resolution Innovative Approach.- Shadows Attenuation for Robust Object Recognition.- Fuzzy Directional Adaptive Recursive Temporal Filter for Denoising of Video Sequences.- Bars Problem Solving - New Neural Network Method and Comparison.- A Coarse-and-Fine Bayesian Belief Propagation for Correspondence Problems in Computer Vision.- 3D Object Recognition Based on Low Frequency Response and Random Feature Selection.- Image Processing for 3D Reconstruction Using a Modified Fourier Transform Profilometry Method.- 3D Space Representation by Evolutive Algorithms.- Knowledge Acquisition and Automatic Generation of Rules for the Inference Machine CLIPS.- On-Line Rectification of Sport Sequences with Moving Cameras.- A New Person Tracking Method for Human-Robot Interaction Intended for Mobile Devices.- Example-Based Face Shape Recovery Using the Zenith Angle of the Surface Normal.- Feature Extraction and Face Verification Using Gabor and Gaussian Mixture Models.- Lips Shape Extraction Via Active Shape Model and Local Binary Pattern.- Continuous Stereo Gesture Recognition with Multi-layered Silhouette Templates and Support Vector Machines.- Small-Time Local Controllability of a Differential Drive Robot with a Limited Sensor for Landmark-Based Navigation.- Natural Language Processing.- Learning Performance in Evolutionary Behavior Based Mobile Robot Navigation.- Fuzzifying Clustering Algorithms: The Case Study of MajorClust.- Taking Advantage of the Web for Text Classification with Imbalanced Classes.- A Classifier System for Author Recognition Using Synonym-Based Features.- Variants of Tree Kernels for XML Documents.- Textual Energy of Associative Memories: Performant Applications of Enertex Algorithm in Text Summarization and Topic Segmentation.- A New Hybrid Summarizer Based on Vector Space Model, Statistical Physics and Linguistics.- Graph Decomposition Approaches for Terminology Graphs.- An Improved Fast Algorithm of Frequent String Extracting with no Thesaurus.- U…