MICAI 2002: Advances in Artificial Intelligence

Arti?cial Intelligence has failed to accomplish at least two highly signi?cant predictions as we enter the new millennium. The English mathematician Alan Mathison Turing predicted that by the year 2000 we would have a machine that could pass the Turing test. The ?lm 2001: A Space Odyssey , portrayed an intelligent computer named HAL which, among other things, was able to speak and understand English, and even read the lips of humans having a conver- tion. Such a machine would be created, according to Arthur C. Clarke, by the year 1997. We have reached the year 2002 and neither of these two predictions have been ful?lled. However, there have been many signi?cant achievements in arti?cial intelligence and several new challenges are now on the horizon. Two years ago, we held the ?rst Mexican International Conference on Art- cial Intelligence, MICAI 2000, which took place on April 11 14, 2000, in the city of Acapulco, M exico. After a ?rst highly successful conference, we are pleased to introducethesecondMexicanInternationalConferenceonArti?cialIntelligence, MICAI 2002, which took place on April 22 26 in M erida, Yucat an, M exico. The main aim of the conference was to promote research in AI, and cooperation among Mexican researchers and their peers worldwide.

Includes supplementary material: sn.pub/extras

Inhalt
Robotics and Computer Vision.- Motion Planning for Car-Like Robots Using Lazy Probabilistic Roadmap Method.- A Vision System for Environment Representation: From Landscapes to Landmarks.- Adapting the Messy Genetic Algorithm for Path Planning in Redundant and Non-redundant Manipulators.- Navigation Advice from pq-Histograms.- Path Planning Using a Single-Query Bi-directional Lazy Collision Checking Planner.- An Exploration Approach for Indoor Mobile Robots Reducing Odometric Errors.- Feature Matching Using Accumulation Spaces.- On Selecting an Appropriate Colour Space for Skin Detection.- Heuristic Search and Optimization.- A Methodology for the Statistical Characterization of Genetic Algorithms.- MPSA: A Methodology to Parallelize Simulated Annealing and Its Application to the Traveling Salesman Problem.- A Cultural Algorithm for Constrained Optimization.- Penalty Function Methods for Constrained Optimization with Genetic Algorithms: A Statistical Analysis.- Automatic Generation of Control Parameters for the Threshold Accepting Algorithm.- Genetic Algorithms and Case-Based Reasoning as a Discovery and Learning Machine in the Optimization of Combinational Logic Circuits.- Speech Recognition and Natural Language.- Time-Domain Segmentation and Labelling of Speech with Fuzzy-Logic Post-Correction Rules.- IL MT System.Evaluation for Spanish-English Pronominal Anaphora Generation.- Out-of-Vocabulary Word Modeling and Rejection for Spanish Keyword Spotting Systems.- The DIME Project.- Detecting Deviations in Text Collections: An Approach Using Conceptual Graphs.- Using Long Queries in a Passage Retrieval System.- Logic.- Object-Oriented Constraint Programming with J.CP.- A Hybrid Treatment of Evolutionary Sets.- Games and Logics of Knowledge for Multi-agent Systems.- Modelling Learners of a Control Task with Inductive Logic Programming: A Case Study.- Simple Epistemic Logic for Relational Database.- Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD).- Flexible Agent Programming in Linear Logic.- Neural Networks.- Sample Complexity for Function Learning Tasks through Linear Neural Networks.- Extracting Knowledge from Artificial Neural Networks: An Empirical Comparison of Trepan and Symbolic Learning Algorithms.- Improving Pattern Recognition Using Several Feature Vectors.- Learning Optimization in a MLP Neural Network Applied to OCR.- Machine Learning.- Applications of a Collaborative Learning Ontology.- Automated Case Generation from Databases Using Similarity-Based Rough Approximation.- On the Stability of Example-Driven Learning Systems: A Case Study in Multirelational Learning.- Sharpe Ratio-Oriented Active Trading: A Learning Approach.- Multiagent Systems.- A Framework for Social Agents' Interaction Based on Communicative Action Theory and Dynamic Deontic Logic.- Autonomous Agents for Ubiquitous Collaborative Environments.- A Framework for Agent Based Network Management Systems.- A Multi-agent Cooperative Intelligent Tutoring System: The Case of Musical Harmony Domain.- Reacting to Unexpected Events and Communicating in Spite of Mixed Ontologies.- Logic of Interaction for Multiagent Systems.- Towards a Model for an Immune System.- Uncertainty Management.- A New Measure for the Accuracy of a Bayesian Network.- FINDS: A Training Package to Assess Forensic Fibre Evidence.- Predictive Control Based on an Auto-regressive Neuro-fuzzy Model Applied to the Steam Generator Startup Process at a Fossil Power Plant.- Modeling Dynamical Causal Interactions with Fuzzy Temporal Networks for Process OperationSupport Systems.- AI Tools and Applications.- Resection Simulation with Local Tissue Deformations for Computer Assisted Surgery of the Prostate.- Biometrics and Data Mining: Comparison of Data Mining-Based Keystroke Dynamics Methods for Identity Verification.- Qualitative Systems Identication for Linear Time Invariant Dynamic Systems.- Monitoring the Execution of an Intelligent Planning System.- A Structural Model of ECA Rules in Active Database.- Use of a Rule-Based System for Process Control: Flow Instabilities in Axial Compressors Case Study.- A Distributed Event Service for Adaptive Group Awareness.- Mining Road Accidents.- An Inference Engine for Web Adaptive Cooperative Work.- Faults Diagnosis in Industrial Processes with a Hybrid Diagnostic System.