MICAI 2005 : advances in artificial intelligence : 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005 : proceedings

This book constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held in Monterrey, Mexico, in November 2005. The 120 revised full papers presented were carefully reviewed and selected from 423 submissions. The papers are organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, computer vision and pattern recognition, machine learning and data mining, evolutionary computation and genetic algorithms, neural networks, natural language processing, intelligent interfaces and speech processing, bioinformatics and medical applications, robotics, modeling and intelligent control, and intelligent tutoring systems. Front Matter....Pages - Modelling Human Intelligence: A Learning Mechanism....Pages 1-10 Compilation of Symbolic Knowledge and Integration with Numeric Knowledge Using Hybrid Systems....Pages 11-20 The Topological Effect of Improving Knowledge Acquisition....Pages 21-30 Belief Revision Revisited....Pages 31-40 Knowledge and Reasoning Supported by Cognitive Maps....Pages 41-50 Temporal Reasoning on Chronological Annotation....Pages 51-60 EventNet: Inferring Temporal Relations Between Commonsense Events....Pages 61-69 Multi Agent Ontology Mapping Framework in the AQUA Question Answering System....Pages 70-79 A Three-Level Approach to Ontology Merging....Pages 80-89 Domain and Competences Ontologies and Their Maintenance for an Intelligent Dissemination of Documents....Pages 90-97 Modelling Power and Trust for Knowledge Distribution: An Argumentative Approach....Pages 98-108 Application of ASP for Agent Modelling in CSCL Environments....Pages 109-118 Deductive Systems’ Representation and an Incompleteness Result in the Situation Calculus....Pages 119-131 Geometric Aspects Related to Solutions of # k SAT....Pages 132-141 A Syntactical Approach to Belief Update....Pages 142-151 A Fuzzy Extension of Description Logic $\mathcal{ALCH}$ ....Pages 152-161 An Approach for Dynamic Split Strategies in Constraint Solving....Pages 162-174 Applying Constraint Logic Programming to Predicate Abstraction of RTL Verilog Descriptions....Pages 175-184 Scheduling Transportation Events with Grouping Genetic Algorithms and the Heuristic DJD....Pages 185-194 Radial Search: A Simple Solution Approach to Hard Combinatorial Problems....Pages 195-203 Rough Sets and Decision Rules in Fuzzy Set-Valued Information Systems....Pages 204-213 Directed Cycles in Bayesian Belief Networks: Probabilistic Semantics and Consistency Checking Complexity....Pages 214-223 Fuzzeval: A Fuzzy Controller-Based Approach in Adaptive Learning for Backgammon Game....Pages 224-233 Analysis of Performance of Fuzzy Logic-Based Production Scheduling by Simulation....Pages 234-243 Agent-Based Simulation Replication: A Model Driven Architecture Approach....Pages 244-253 Effects of Inter-agent Communication in Ant-Based Clustering Algorithms: A Case Study on Communication Policies in Swarm Systems....Pages 254-263 Coordination Through Plan Repair....Pages 264-274 Enabling Intelligent Organizations: An Electronic Institutions Approach for Controlling and Executing Problem Solving Methods....Pages 275-286 An Extended Behavior Network for a Game Agent: An Investigation of Action Selection Quality and Agent Performance in Unreal Tournament....Pages 287-296 Air Pollution Assessment Through a Multiagent-Based Traffic Simulation....Pages 297-306 A Noise-Driven Paradigm for Solving the Stereo Correspondence Problem....Pages 307-317 Invariant Descriptions and Associative Processing Applied to Object Recognition Under Occlusions....Pages 318-327 Real Time Facial Expression Recognition Using Local Binary Patterns and Linear Programming....Pages 328-336 People Detection and Tracking Through Stereo Vision for Human-Robot Interaction....Pages 337-346 Mapping Visual Behavior to Robotic Assembly Tasks....Pages 347-358 Multilevel Seed Region Growth Segmentation....Pages 359-368 A CLS Hierarchy for the Classification of Images....Pages 369-378 Performance Evaluation of a Segmentation Algorithm for Synthetic Texture Images....Pages 379-385 Image Retrieval Based on Salient Points from DCT Domain....Pages 386-395 Selection of the Optimal Parameter Value for the ISOMAP Algorithm....Pages 396-404 Proximity Searching in High Dimensional Spaces with a Proximity Preserving Order....Pages 405-414 A Neurobiologically Motivated Model for Self-organized Learning....Pages 415-424 Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning....Pages 425-434 Simplify Decision Function of Reduced Support Vector Machines....Pages 435-442 On-Line Learning of Decision Trees in Problems with Unknown Dynamics....Pages 443-453 Improved Pairwise Coupling Support Vector Machines with Correcting Classifiers....Pages 454-461 Least Squares Littlewood-Paley Wavelet Support Vector Machine....Pages 462-472 Minimizing State Transition Model for Multiclassification by Mixed-Integer Programming....Pages 473-482 Overview of Metaheuristics Methods in Compilation....Pages 483-493 Comparison of SVM-Fuzzy Modelling Techniques for System Identification....Pages 494-503 Time-Series Forecasting by Means of Linear and Nonlinear Models....Pages 504-513 Perception Based Time Series Data Mining with MAP Transform....Pages 514-523 A Graph Theoretic Approach to Key Equivalence....Pages 524-533 Improvement of Data Visualization Based on ISOMAP....Pages 534-543 Supporting Generalized Cases in Conversational CBR....Pages 544-553 Organizing Large Case Library by Linear Programming....Pages 554-564 Classifying Faces with Discriminant Isometric Feature Mapping....Pages 565-573 A Grey-Markov Forecasting Model for the Electric Power Requirement in China....Pages 574-582 A Fault Detection Approach Based on Machine Learning Models....Pages 583-592 A Mixed Mutation Strategy Evolutionary Programming Combined with Species Conservation Technique....Pages 593-602 Coevolutionary Multi-objective Optimization Using Clustering Techniques....Pages 603-612 A Comparison of Memetic Recombination Operators for the MinLA Problem....Pages 613-622 Hybrid Particle Swarm – Evolutionary Algorithm for Search and Optimization....Pages 623-632 Particle Swarm Optimization with Opposite Particles....Pages 633-640 Particle Evolutionary Swarm Optimization with Linearly Decreasing ε -Tolerance....Pages 641-651 Useful Infeasible Solutions in Engineering Optimization with Evolutionary Algorithms....Pages 652-662 A Hybrid Self-adjusted Memetic Algorithm for Multi-objective Optimization....Pages 663-672 Evolutionary Multiobjective Optimization Approach for Evolving Ensemble of Intelligent Paradigms for Stock Market Modeling....Pages 673-681 Genetic Algorithms for Feature Weighting: Evolution vs. Coevolution and Darwin vs. Lamarck....Pages 682-691 A Deterministic Alternative to Competent Genetic Algorithms That Solves to Optimality Linearly Decomposable Non-overlapping Problems in Polynomial Time....Pages 692-701 K-Dynamical Self Organizing Maps....Pages 702-711 Study of Application Model on BP Neural Network Optimized by Fuzzy Clustering....Pages 712-720 Application of Modified Neural Network Weights’ Matrices Explaining Determinants of Foreign Investment Patterns in the Emerging Markets....Pages 721-730 Neural Network and Trend Prediction for Technological Processes Monitoring....Pages 731-740 Underspecified Semantics for Dependency Grammars....Pages 741-751 Distributed English Text Chunking Using Multi-agent Based Architecture....Pages 752-760 A Similarity-Based Approach to Data Sparseness Problem of Chinese Language Modeling....Pages 761-769 Self-training and Co-training Applied to Spanish Named Entity Recognition....Pages 770-779 Towards the Automatic Learning of Idiomatic Prepositional Phrases....Pages 780-789 Measurements of Lexico-Syntactic Cohesion by Means of Internet....Pages 790-799 Inferring Rules for Finding Syllables in Spanish....Pages 800-805 A Multilingual SVM-Based Question Classification System....Pages 806-815 Language Independent Passage Retrieval for Question Answering....Pages 816-823 A New PU Learning Algorithm for Text Classification....Pages 824-832 A Domain Independent Natural Language Interface to Databases Capable of Processing Complex Queries....Pages 833-842 An Efficient Hybrid Approach for Online Recognition of Handwritten Symbols....Pages 843-853 Environment Compensation Based on Maximum a Posteriori Estimation for Improved Speech Recognition....Pages 854-862 ASR Based on the Analasys of the Short-MelFrequencyCepstra Time Transform....Pages 863-869 Building and Training of a New Mexican Spanish Voice for Festival....Pages 870-879 A New Approach to Sequence Representation of Proteins in Bioinformatics....Pages 880-889 Computing Confidence Measures in Stochastic Logic Programs....Pages 890-899 Using Inductive Rules in Medical Case-Based Reasoning System....Pages 900-909 Prostate Segmentation Using Pixel Classification and Genetic Algorithms....Pages 910-917 A Novel Approach for Adaptive Unsupervised Segmentation of MRI Brain Images....Pages 918-927 Towards Formalising Agent Argumentation over the Viability of Human Organs for Transplantation....Pages 928-938 A Comparative Study on Machine Learning Techniques for Prediction of Success of Dental Implants....Pages 939-948 Infant Cry Classification to Identify Hypo Acoustics and Asphyxia Comparing an Evolutionary-Neural System with a Neural Network System....Pages 949-958 Applying the GFM Prospective Paradigm to the Autonomous and Adaptative Control of a Virtual Robot....Pages 959-969 Maximizing Future Options: An On-Line Real-Time Planning Method....Pages 970-979 On the Use of Randomized Low-Discrepancy Sequences in Sampling-Based Motion Planning....Pages 980-989 A Framework for Reactive Motion and Sensing Planning: A Critical Events-Based Approach....Pages 990-1000 Visual Planning for Autonomous Mobile Robot Navigation....Pages 1001-1011 Gait Synthesis Based on FWN and PD Controller for a Five-Link Biped Robot....Pages 1012-1021 Hybrid Fuzzy/Expert System to Control Grasping with Deformation Detection....Pages 1022-1031 Adaptive Neuro-Fuzzy-Expert Controller of a Robotic Gripper....Pages 1032-1041 A Semantically-Based Software Component Selection Mechanism for Intelligent Service Robots....Pages 1042-1051 An Approach for Intelligent Fixtureless Assembly: Issues and Experiments....Pages 1052-1061 On the Design of a Multimodal Cognitive Architecture for Perceptual Learning in Industrial Robots....Pages 1062-1072 CORBA Distributed Robotic System: A Case Study Using a Motoman 6-DOF Arm Manipulator....Pages 1073-1081 An Integration of FDI and DX Techniques for Determining the Minimal Diagnosis in an Automatic Way....Pages 1082-1092 Evolutionary Dynamic Optimization of a Continuously Variable Transmission for Mechanical Efficiency Maximization....Pages 1093-1102 Performance Improvement of Ad-Hoc Networks by Using a Behavior-Based Architecture....Pages 1103-1112 Analysis of the Performance of Different Fuzzy System Controllers....Pages 1113-1123 Discrete-Time Quasi-Sliding Mode Feedback-Error-Learning Neurocontrol of a Class of Uncertain Systems....Pages 1124-1133 Stable Task Space Neuro Controller for Robot Manipulators Without Velocity Measurements....Pages 1134-1144 Input-Output Data Modelling Using Fully Tuned RBF Networks for a Four Degree-of-Freedom Tilt Rotor Aircraft Platform....Pages 1145-1154 A Frugal Fuzzy Logic Based Approach for Autonomous Flight Control of Unmanned Aerial Vehicles....Pages 1155-1163 Sensor-Fusion System for Monitoring a CNC-Milling Center....Pages 1164-1174 A Probabilistic Model of Affective Behavior for Intelligent Tutoring Systems....Pages 1175-1184 A Semi-open Learning Environment for Virtual Laboratories....Pages 1185-1194 Back Matter....Pages - Constitutes the refereed proceedings of the 4th Mexican International Conference on Artificial Intelligence, MICAI 2005, held Mexico, in November 2005. This book is organized in topical sections on knowledge representation and management, logic and constraint programming, uncertainty reasoning, multiagent systems and distributed AI, and others.