MICAI 2002 : advances in artificial intelligence : Second Mexican International Conference on Artificial Intelligence, Mérida, Yucatán, Mexico, April 22-26, 2002 : proceedings

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. Lecture Notes in Artificial Intelligence Springer MICAI 2002: Advances in Artificial Intelligence Preface Organization Conference Committee Advisory Committee Program Committee Collocated Conferences Sponsoring Institutions Table of Contents Robotics and Computer Vision Heuristic Search and Optimization Speech Recognition and Natural Language Logic Neural Networks Machine Learning Multiagent Systems Uncertainty Management AI Tools and Applications Motion Planning for Car-Like Robots Using Lazy Probabilistic Roadmap Method 1 Introduction and Motivation 2 Previous and Related Work 3 Model of a Car-Like Robot 3.1 Shortest Path without Obstacle 3.2 Shortest Paths in the Presence of Obstacles 4 The Algorithm for Lazy PRM 4.1 Building the Initial Roadmap 4.2 Searching for a Path 4.3 Checking Paths for Collision 4.4 Node Enhancement 5 Experimental Results 6 Discussion and Future Work References A Vision System for Environment Representation: From Landscapes to Landmarks 1 Introduction 2 The General Approach 2.1 The Navigation Modes 3 Environment Modeling 3.1 Landmark Selection 4 Robot Navigation Based on the Landmark-Based Model 4.1 Experiments of Simultaneous Localization and Modeling (SLAM) 5 Conclusion References Adapting the Messy Genetic Algorithm for Path Planning in Redundant and Non-redundant Manipulators 1 Introduction 2 Problem Definition 3 Procedure Description 3.1 Coding 3.2 Chain Size 3.3 An Example 3.4 Crossing 3.5 Fitness Function 4 Obtained Results 5 Conclusions References Navigation Advice from pq-Histograms 1 Introduction 2 Shape from Shading 2.1 Local Shape from Shading Algorithm 3 The pq-Histogram 4 Endoscope Navigation 4.1 Related Advising Systems 4.2 The pq-Histogram in Endoscopy 5 Robot Navigation 6 Conclusions and Future Work Acknowledgments References Path Planning Using a Single-Query Bi-direct ional Lazy Collision Checking Planner Introduction Definitions Description of the Planner Experimental Results Basic Performance Evaluation Comparison with Other Planners Multi-robot Examples Conclusion Acknowledgments References An Exploration Approach for Indoor Mobile Robots Reducing Odometric Errors 1 Introduction 2 Exploration Approach 2.1 Initial Considerations 2.2 Movements of the Robot 2.3 Global Search 2.4 Efficiency Considerations 3 Experimental Results 3.1 Context 3.2 Results 4 Conclusions References Feature Matching Using Accumulation Spaces 1 Introduction 1.1 Outline of the Paper 2 Method 2.1 General Description of the Method 2.3 Regards when Primitives are Straight Lines 2.4 Regards when Primitives are Corners 3 Preliminary Results 3.1 Results with Synthetic Images 3.2 Results with Real Images 4 Conclusions and Directions for Further Research Acknowledgments References Appendix A Procedure to Extract Lines On Selecting an Appropriate Colour Space for Skin Detection 1 Introduction 2 Skin Detection 3 An Appropriate Colour Space 3.1 Datasets 3.2 Selecting Variables 3.3 An Initial Two-Dimensional Space 3.4 A Three-Dimensional Space 4 Final Comments 5 Conclusions and Future Work References A Methodology for the Statistical Characterization of Genetic Algorithms 1 Introduction 2 Automatic Generation of Unbiased Functions 3 Algorithms 4 Statistical Methodology 4.1 Algorithm for the Determination of the Distribution’s Parameters 5 Results 6 Conclusions References MPSA: A Methodology to Parallelize Simulated Annealing and Its Application to the Traveling Salesman Problem 1 Introduction 2 Simulated Annealing Algorithm and the Traveling Salesman Problem 3 Parallel Simulated Annealing Algorithms 4 Methodology to Parallelize Simulated Annealing 4.1 MPSA’s Kernel 4.2 Virtual Parallelization and Levels of Parallelism 5 TSP-Parallel SA Algorithm through MPSA 5.1 TSP-Parallel SA Algorithm Implementation. 5.2 TSP-Parallel SA Algorithm Test 6 Conclusions References A Cultural Algorithm for Constrained Optimization 1 Introduction 2 Notions of Cultural Algorithms 3 Previous Work 4 Constrained Optimization 5 Beliefs as Constraints 6 Proposed Approach 6.1 Initialization of the Belief Space 6.2 Updating the Belief Space 6.3 Influence of Beliefs in the Mutation Operator 6.4 Tournament Selection 7 Comparison of Results 8 Conclusions and Future Work Acknowledgements References Penalty Function Methods for Constrained Optimization with Genetic Algorithms: A Statistical Analysis 1 Introduction 2 Strategies 2.1 Method H 2.2 Method J 2.3 Method S 2.4 Method P 2.5 Method K 3 Experiments 3.1 Statistical Evaluation of an Algorithm 4 Results 5 Conclusions References Automatic Generation of Control Parameters for the Threshold Accepting Algorithm 1 Introduction 2 The Mathematical Model 2.1 Objective Function 2.2 Intrinsic Constraints of the Problem 3 Method of Solution 3.1 The Simulated Annealing and Threshold Accepting Algorithms 3.2 Review of Previous Work 3.2.1 Initial Temperature 3.2.2 Equilibrium 3.2.3 Temperature Attenuation Procedure 3.2.4 Freezing 4 Implementation 4.1 Problem Mapping 4.2 Preliminary Experiments 4.3 The Proposed Cooling Plan 4.4 Large Test Cases Generation with Well-Known Solutions 4.5 Experimental Results 5 Conclusions and Future Work References Genetic Algorithms and Case-Based Reasoning as a Discovery and Learning Machine in the Optimization of Combinational Logic Circuits 1 Introduction 2 Related Work 3 Case-Based Reasoning 4 Statement of the Problem 5 Proposed System 5.1 Representing Circuits in the Case Base 6 An Example 6.1 A Case Study: Use of CBR to Design a 2x2 Bit Full Adder 7 Conclusions and Future Work Acknowledgements References Time-Domain Segmentation and Labelling of Speech with Fuzzy-Logic Post-Correction Rules 1 Introduction 2 Syllable Based Segmentation 3 System Overview 3.1 Time Domain Segmentation 3.2 Fuzzy-Logic Refinement of Time Marks 4 Results 5 Conclusions References IL MT System. Evaluation for Spanish-English Pronominal Anaphora Generation 1 Introduction 2 AGIR Architecture 3 AGIR's Analysis Module 4 AGIR's Generation Module 4.1 Syntactic Discrepancies 4.2 Morphological Discrepancies 5 Evaluation of Generation Module 5.1 Pronominal Anaphora Generation into Spanish 5.2 Pronominal Anaphora Generation into English Conclusion References Out-of-Vocabulary Word Modeling and Rejection for Spanish Keyword Spotting Systems 1 Introduction 2 The OOV Problem 3 OOV Word Modeling 3.1 Phonemic Filler Models 3.2 Syllabic Filler Models 3.3 Common OOV Words as Fillers 3.4 Language Models 4 Confidence Thresholds 5 Evaluation Criteria 6 Experiments and Results 6.1 Experimental Setup 6.2 Results 7 Conclusions and Future Work References The DIME Project 1 Introduction 2 The DIME Corpus 3 Speech Recognition 4 Spanish Grammar and Parser 5 Speech Act Analysis 6 The Prototype System Acknowledgments References Detecting Deviations in Text Collections: An Approach Using Conceptual Graphs 1 Introduction 2 Related Work 3 Background 3.1 Conceptual Graphs 3.2 Conceptual Clustering 4 Conceptual Graph Deviations 4.1 Basic Considerations 4.2 Method for Detecting the Deviations 5 Experimental Results 6 Conclusions Acknowledgements References Using Long Queries in a Passage Retrieval System 1 Introduction 2 Backgrounds in Passage Retrieval 3 Overview of the System 3.1 Indexation Module 3.2 Document-Extracting Module 4 Evaluation 4.1 Experiments 4.2 Results Obtained in Short Queries 4.3 Results Obtained in Long Queries 5 Conclusions and Future Works References Object-Oriented Constraint Programming with J.CP 1 Introduction 2 Asynchronous Constraint Solving 2.1 Components of an ACS 3 Constraint Satisfaction with ACS 3.1 Constraint Propagation 3.2 Search in ACS 4 The Java Constraints Package J.CP 4.1 Performance Results and Evaluation 5 Case Study: Distributed Meeting Scheduling 6 Concluding Remarks References A Hybrid Treatment of Evolutionary Sets 1 Introduction 2 A First Modelling Attempt 3 Naming Neighbourhood Situations 4 Remarks on Extensions and Summary References Games and Logics of Knowledge for Multi-agent Systems 1 Combining Games and Knowledge 2 Basic Epistemic Logic 3 From Perfect to Imperfect Information: Knowledge in Multi-agent Systems 4 Game-Theoretic Semantics for Epistemic Logic 4.1 Language and Its Partialisation 4.2 Focussed Knowledge and Extensive Forms of Games 5 Applications and Conclusions References Modelling Learners of a Control Task with Inductive Logic Programming: A Case Study 1 Introduction 2 The Task 3 Selection and Preparation of Data 4 Model Induction 4.1 RIPPER 4.2 FOIL 4.3 The Models 5 Discussion 6 Conclusions References Simple Epistemic Logic for Relational Database 1 Introduction 2 Basic Definitions 2.1 Simple Epistemic Logic 2.2 SEL-Structures 2.3 Relational Schemes 2.4 Surrounding Functions 3 Applications 3.1 Database Design 3.2 Privacy Protection 3.3 Statistical Disclosure References Solving Optimal Location of Traffic Counting Points at Urban Intersections in CLP(FD) 1 Motivation and Introduction 2 The Problem and Some Background 3 Modeling the Minimum-Cost SLP as a CSP References Flexible Agent Programming in Linear Logic 1 Introduction 2 Brief review of ACL 3 μACL 4 A distributed virtual machine for μACL 5 Related Work 6 Conclusion References Sample Complexity for Function Learning Tasks through Linear Neural Networks 1 Introduction 2 Preliminaries 3 Function Learning with SFLNNs 4 Function Learning with RBFNNs 5 Conclusions References Extracting Knowledge from Artificial Neural Networks: An Empirical Comparison of Trepan and Symbolic Learning Algorithms 1 Introduction 2 Extraction of Knowledge from ANNs 3 Proposed Approach 4 Experiments 5 Conclusions Acknowledgments References Improving Pattern Recognition Using Several Feature Vectors 1 Introduction 2 Supervised ART2-NN 2.1 Sub-feature Vectors 2.2 Threshold Selection 2.3 Training 2.4 Indexing 2.4.1 Candidate Selection 2.4.2 Candidate Reduction 3 Digit Recognition 4 Conclusions Acknowledgments References Learning Optimization in a MLP Neural Network Applied to OCR 1 Introduction 2 Image Processing 3 Selection of Parameters to Describe the Characters 4 Use of the Platform SmartMLP for the Design and Training of the Neuronal Network 5 Results References Applications of a Collaborative Learning Ontology Introduction CSCL Ontology CSCL Ontology Applications Exploiting the Ontology for the Definition and Construction of CSCL Exploiting the Ontology for Analysis and the Assessment of Collaboration Conclusions References Automated Case Generation from Databases Using Similarity-Based Rough Approximation 1 Introduction 2 Similarity-Based Rough Sets 3 SRS1 Algorithm 4 SRS2: Automatic Determination of Similarity Threshold st 5 Experimental Results 6 Conclusion Acknowledgment References On the Stability of Example-Driven Learning Systems: A Case Study in Multirelational Learning 1 Introduction 2 Example-Driven Learning and Stability 2.1 Multirelational Example-Driven Learning 2.2 Stability 3 Enhancing the Stability of Example-Driven Learning 4 Experiments 5 Related Work 6 Conclusions and Future Work Acknowledgments References Sharpe Ratio-Oriented Active Trading: A Learning Approach 1 Introduction 2 Sharpe-Ratio-Oriented Active Trading (SROAT) 3 A Two-Step Supervised Learning Approach 4 Direct Optimization of Performance with Batch-Way Training 5 Experiment 6 Conclusion and Future Work References A Framework for Social Agents’ Interaction Based on Communicative Action Theory and Dynamic Deontic Logic 1 Introduction 2 Agent Society, Institutions and Agents 3 Communication Action Formalism 3.1 Validity Claim Procedures 4 Formal Specification of Communicative Actions for Normative Agents 4.1 Overview of Normative Statements 4.2 A Language of Actions Based on Dynamic Deontic Logic 4.3 Deontic Operators 4.4 MAS Requirements for Social Agents 5 Extension of Norms to Complex Agents 5.1 Logical Foundations 5.2 Remarks 6 Conclusion and Future Work Acknowledgements References Autonomous Agents for Ubiquitous Collaborative Environments 1 Introduction 2 Use of Agents in Ubiquitous Collaborative Applications 2.1 Conference Scheduling Agent 2.2 An Agent That Deals with Shared Resources 2.3 Meeting Assistant 3 Requirements for the Development Framework 4 COMAL’s Development Framework 4.1 COMAL’s Software Architecture 4.2 COMAL Libraries 4.3 SOPEs 5 Extending COMAL to Support Autonomous Agents 6 Extending a SOPE Application with an Autonomous Agent 7 Conclusions and Future Work References A Framework for Agent Based Network Management Systems 1 Introduction 2 Network Management 2.1 Network Modeling 2.2 Fault Management 3 Network Management Multi-agent System Architecture 3.1 Agent Types 4 Benefit Analysis 5 Summary References A Multi-agent Cooperative Intelligent Tutoring System: The Case of Musical Harmony Domain 1 Introduction 2 Conceptual Architecture of the System 3 SATA 3.1 From Domain Knowledge Model to Multiagent System 3.2 Knowledge and Agents in Musical Harmony 3.3 The Society of Agents 3.4 Agent Structure 4 Specification of the Interactions 4.1 Between a Human Learner and the SATA 4.2 Interaction among Agents 5 Microview of Tutoring System 5.1 Tutor Module 5.2 Learner Modelling Module 5.3 Expert Module 6 Example of Learner-Tutoring System Interactions 7 Conclusions References Reacting to Unexpected Events and Communicating in Spite of Mixed Ontologies 1 Introduction 2 Related Works 2.1 Status 3 Model for Agent Interaction in Our Work 3.1 Agents Are Multi-threaded, Have Resources and Purposes 3.2 There Is an Environment, and a Language for Enacting These Agents 3.3 They Communicate Using Each One Its Own Ontology 4 Communication between Agents That Use Different Ontologies 5 Handling Unexpected Events 5.1 How to React to an Infinite Number of Unexpected Events 6 Conclusions Acknowledgements References Logic of Interaction for Multiagent Systems 1 Introduction 2 Conceptual Framework 2.1 Semantics 3 Scenario for Roles Interaction 4 Interaction Framework 5 Example 6 Related Works and Conclusions Acknowledgements References Towards a Model for an Immune System 1 Introduction 2 Modelling an Immune System 2.1 Immune Systems: General Features 2.2 Process Calculi: General Features 3 A Process Algebra 4 A Behavioural Model for an Immune System 4.1 The Natural Killer 4.2 The Monocyte Cell 4.3 The B Lymphocyte 5 Immune System Formal Analysis 6 Related Work 7 Conclusions References A New Measure for the Accuracy of a Bayesian Network 1 Introduction 2 The Accuracy of a Bayesian Network 3 Minimum Description Length (MDL) 4 A New Definition of Accuracy in Bayesian Networks 5 Experimental Results 6 Conclusion References FINDS: A Training Package to Assess Forensic Fibre Evidence 1 Introduction 2 A Bayesian Network for Fibre Transfer, Persistence and Retrieval 2.1 Learning the Structure of a Bayesian Network 2.2 Computing the Marginal Distribution of Y_t 3 Case Study: A Robbery Case 4 Conclusions References Predictive Control Based on an Auto-regressive Neuro-fuzzy Model Applied to the Steam Generator Startup Process at a Fossil Power Plant 1 Introduction 2 Problem Description 3 Development of a Control Algorithm 3.1 Development of the Model 3.2 Numerical Optimization Applied to the Process 3.3 First Optimization Variant 3.4 Second Optimization Variant 3.5 Third Optimization Variant 4 Simulation Results 5 Robustness Tests 6 Analysis of the Results 7 Conclusions References Modeling Dynamical Causal Interactions with Fuzzy Temporal Networks for Process Operation Support Systems 1 Introduction 2 Fuzzy Temporal Reasoning 2.1 Temporal expressions 2.2 Temporal Relationships 2.3 Temporal Distance 3 Fuzzy Temporal Network 3.1 Definition 3.2 Reasoning Using Temporal Fuzzy Networks 4 Experiments and Results 5 Conclusions References Resection Simulation with Local Tissue Deformations for Computer Assisted Surgery of the Prostate 1 Introduction 2 Volumetric Model of the Prostate 2.1 Sampling of the Ultrasound Images of the Prostate 2.2 Finite Element Mesh of the Prostate Volume 3 Physical Model of the Prostate 4 Tissue Resection 4.1 Modification of the Geometrical Model 4.2 Tissue Deformation Due to the Resections 5 Results 6 Conclusion References Biometrics and Data Mining: Comparison of Data Mining-Based Keystroke Dynamics Methods for Identity Verification 1 Introduction 2 Keystroke Dynamics 3 Data Mining 4 Data Mining vs. Statistics for Keystroke Dynamics 5 Software Developed 6 Experimental Results 7 Conclusions and Future Work References Qualitative Systems Identification for Linear Time Invariant Dynamic Systems 1 Introduction 2 Linear Time-Invariant Dynamic Systems 3 Identification Algorithm 4 Conclusions References Monitoring the Execution of an Intelligent Planning System 1 Introduction 2 Related Work 3 Representation Language 4 Petri Nets 5 Monitoring Agent 6 Application Example 7 Conclusions Acknowledgments References A Structural Model of ECA Rules in Active Database 1 Introduction 2 Active Database Systems 3 Conditional Colored Petri Net 4 An Example 5 Conclusion and Future Work References Use of a Rule-Based System for Process Control: Flow Instabilities in Axial Compressors Case Study 1 Introduction 1.1 Fuzy Logic and Rule-Based Control 1.2 Process Description 1.3 Aerodynamic Compressor Flow Instabilities: Rotating Stall and Surge 1.4 Performance Criteria 2 Analytic Controller 3 Design of the Rule-Based Controller 4 Simulation Tests Results for the Avoidance Flow Instabilities Rule-Based Fuzzy Control 4.1 Rule Base Change Tests 4.2 Load Change Tests 5 Conclusions References A Distributed Event Service for Adaptive Group Awareness 1 Introduction 2 Design of a Distributed Event Management Service 2.1 Producer / Consumer Agents 2.2 Specification of the Distributed Event Management Service 2.3 Configuration and Control of Event Production / Consumption 2.4 Event Transmission: A Distributed Service 3 First Implementation of the DEMS 4 The Adaptive Group Awareness Inference Engine 5 Conclusion and Perspectives Acknowledgements References Mining Road Accidents 1 Introduction 2 Road Accidents 3 KDD Process 3.1 Selection 3.2 Pre-processing 3.3 Definition of Methods, Goals and Transformation of Data 3.4 Data Mining 3.5 Data Mining Process 3.6 Main Results 4 Conclusions and Future Work References An Inference Engine for Web Adaptive Cooperative Work 1 Introduction 2 The PIÑAS / AllianceWeb Project 3 The Distributed Event Manager 4 The Adaptive Inference Engine 4.1 Enhancing Effective Author Communication and Coordination 4.2 Automatically Detecting an Expert and a Novice 4.3 Helping the Co-authors with the Existing Shared Objects 4.4 Informing about Occurrence of Particular Events 4.5 Well Administrating Author Preferences 5 Conclusions and Perspectives Acknowledgements References Faults Diagnosis in Industrial Processes with a Hybrid Diagnostic System 1 Introduction 2 Fault Detection and Diagnosis 3 Description of the Approach 4 The Diagnostic Dynamic Independent Choice Logic 5 Application 6 Related Work 7 Conclusions Acknowledgements References Author Index This Book Constitutes The Refereed Proceedings Of The Second Mexican International Conference On Artificial Intelligence, Micai 2002, Held In Mérida, Yucatán, Mexico In April 2002.the 56 Revised Full Papers Presented Were Carefully Reviewed And Selected From More Than 85 Submissions From 17 Countries. The Papers Are Organized In Topical Sections On Robotics And Computer Vision, Heuristic Search And Optimization, Speech Recognition And Natural Language Processing, Logic, Neural Networks, Machine Learning, Multi-agent Systems, Uncertainty Management, And Ai Tools And Applications--publisher's Description. Motion Planning For Car-like Robots Using Lazy Probabilistic Roadmap Method / Abraham Sanchez L., Rene Zapata And J. Abraham Arenas B. -- A Vision System For Environment Representation: From Landscapes To Landmarks / Rafael Murrieta-cid, Carlos Parra And Michel Devy / [et Al.] -- Adapting The Messy Genetic Algorithm For Path Planning In Redundant And Non-redundant Manipulators / Victor De La Cueva And Fernando Ramos -- Navigation Advice From Pq-histograms / G. Gomez, L. Enrique Sucar And Duncan F. Gillies -- Path Planning Using A Single-query Bi-directional Lazy Collision Checking Planner / Gildardo Sanchez-ante -- An Exploration Approach For Indoor Mobile Robots Reducing Odometric Errors / Leonardo Romero, Eduardo F. Morales And L. Enrique Sucar -- Feature Matching Using Accumulation Spaces / Jesus A. Martinez Nuno And Juan Humberto Sossa Azuela -- On Selecting An Appropriate Colour Space For Skin Detection / G. Gomez, M. Sanchez And L. Enrique Sucar --^ A Methodology For The Statistical Characterization Of Genetic Algorithms / Angel Fernando Kuri-morales -- Mpsa: A Methodology To Parallelize Simulated Annealing And Its Application To The Traveling Salesman Problem / Hector Sanvicente-sanchez And Juan Frausto-solis -- A Cultural Algorithm For Constrained Optimization / Carlos A. Coello Coello And Ricardo Landa Becerra -- Penalty Function Methods For Constrained Optimization With Genetic Algorithms: A Statistical Analysis / Angel Fernando Kuri-morales And Jesus Gutierrez-garcia -- Automatic Generation Of Control Parameters For The Threshold Accepting Algorithm / Joaquin Perez, Rodolfo Pazos And Laura Velez / [et Al.] -- Genetic Algorithms And Case-based Reasoning As A Discovery And Learning Machine In The Optimization Of Combinational Logic Circuits / E. Islas Perez, Carlos A. Coello Coello And Arturo Hernandez Aguirre / [et Al.] --^ Time-domain Segmentation And Labelling Of Speech With Fuzzy-logic Post-correction Rules / O. Mayora-ibarra And F. Curatelli -- Il Mt System. Evaluation For Spanish-english Pronominal Anaphora Generation / Jesus Peral And Antonio Ferrandez -- Out-of-vocabulary Word Modeling And Rejection For Spanish Keyword Spotting Systems / Heriberto Cuayahuitl And Ben Serridge -- The Dime Project / L. A. Pineda, A. Masse And I. Meza / [et Al.] -- Detecting Deviations In Text Collections: An Approach Using Conceptual Graphs / M. Montes-y-gomez, A. Gelbukh And A. Lopez-lopez -- Using Long Queries In A Passage Retrieval System / Fernando Llopis, Antonio Ferrandez And Jose Luis Vicedo -- Object-oriented Constraint Programming With J.cp / Georg Ringwelski -- A Hybrid Treatment Of Evolutionary Sets / Bernhard Heinemann -- Games And Logics Of Knowledge For Multi-agent Systems / Ahti Pietarinen --^ Modelling Learners Of A Control Task With Inductive Logic Programming: A Case Study / Ma. Guadalupe Quintana And Rafael Morales -- Simple Epistemic Logic For Relational Database / Guillermo Morales-luna -- Solving Optimal Location Of Traffic Counting Points At Urban Intersections In Clp(fd) / Ana Paula Tomas -- Flexible Agent Programming In Linear Logic / Jose Juan Palacios -- Sample Complexity For Function Learning Tasks Through Linear Neural Networks / Arturo Hernandez-aguirre, Cris Koutsougeras And Bill P. Buckles -- Extracting Knowledge From Artificial Neural Networks: An Empirical Comparison Of Trepan And Symbolic Learning Algorithms / Claudia Regina Milare, Andre Carlos Ponce Leon Ferreira De Carvalho And Maria Carolina Monard -- Improving Pattern Recognition Using Several Feature Vectors / Patricia Rayon Villela And Juan Humberto Sossa Azuela --^ Learning Optimization In A Mlp Neural Network Applied To Ocr / Isis Bonet Cruz, Adolfo Diaz Sardinas And Rafael Bello Perez / [et Al.] -- Applications Of A Collaborative Learning Ontology / B. Barros, M. F. Verdejo And T. Read / [et Al.] -- Automated Case Generation From Databases Using Similarity-based Rough Approximation / Liqiang Geng And Christine W. Chan -- On The Stability Of Example-driven Learning Systems: A Case Study In Multirelational Learning / Lourdes Pena Castillo And Stefan Wrobel -- Sharpe Ratio-oriented Active Trading: A Learning Approach / Yang Liu, Xiaohui Yu And Jiqing Han -- A Framework For Social Agents' Interaction Based On Communicative Action Theory And Dynamic Deontic Logic / Amal El Fallah-seghrouchni And Christian Lemaitre -- Autonomous Agents For Ubiquitous Collaborative Environments / Jesus Favela, Manuel Alba And Marcela Rodriguez -- A Framework For Agent Based Network Management Systems / Alberto Caballero And Ronny Alfonso --^ A Multi-agent Cooperative Intelligent Tutoring System: The Case Of Musical Harmony Domain / Evandro De Barros Costa, Hyggo Oliveira De Almeida And Emerson Ferreira De Araujo Lima / [et Al.] -- Reacting To Unexpected Events And Communicating In Spite Of Mixed Ontologies / Adolfo Guzman, Carmen Dominguez And Jesus Olivares -- Logic Of Interaction For Multiagent Systems / Matias Alvarado, Leonid Sheremetov And Ernesto German / [et Al.] -- Towards A Model For An Immune System / Rosa Saab, Raul Monroy And Fernando Godinez -- A New Measure For The Accuracy Of A Bayesian Network / Alexandros Pappas And Duncan F. Gillies -- Finds: A Training Package To Assess Forensic Fibre Evidence / Roberto O. Puch And Jim Q. Smith -- Predictive Control Based On An Auto-regressive Neuro-fuzzy Model Applied To The Steam Generator Startup Process At A Fossil Power Plant / Jose Antonio Ruz Hernandez, Dionisio A. Suarez Cerda And Evgen Shelomov / [et Al.] --^ Modeling Dynamical Causal Interactions With Fuzzy Temporal Networks For Process Operation Support Systems / Gustavo Arroyo-figueroa And Raul Herrera-avelar -- Resection Simulation With Local Tissue Deformations For Computer Assisted Surgery Of The Prostate / Miguel A. Padilla Castaneda And Fernando Arambula Cosio -- Biometrics And Data Mining: Comparison Of Data Mining-based Keystroke Dynamics Methods For Identity Verification / Francisco J. Gutierrez, Margarita M. Lerma-rascon And Luis R. Salgado-garza / [et Al.] -- Qualitative Systems Identification For Linear Time Invariant Dynamic Systems / Juan J. Flores And Nelio Pastor -- Monitoring The Execution Of An Intelligent Planning System / Jose Guillermo Valdez And Pablo H. Ibarguengoytia -- A Structural Model Of Eca Rules In Active Database / Xiaoou Li, Joselito Medina Marin And Sergio V. Chapa --^ Use Of A Rule-based System For Process Control: Flow Instabilities In Axial Compressors Case Study / Marino Sanchez-parra And Rene Vite-hernandez -- A Distributed Event Service For Adaptive Group Awareness / Dominique Decouchant, Ana Maria Martinez-enriquez And Jesus Favela / [et Al.] -- Mining Road Accidents / Eduardo F. Morales, Dulce Ma. Heredia And Andres F. Rodriguez -- An Inference Engine For Web Adaptive Cooperative Work / Ana Maria Martinez-enriquez, Aslam Muhammad And Dominique Decouchant / [et Al.] -- Faults Diagnosis In Industrial Processes With A Hybrid Diagnostic System / Luis E. Garza, Francisco J. Cantu And Salvador Acevedo. Carlos A. Coello Coello ... [et Al.], (eds.). Includes Bibliographical References And Index. "This book constitutes the refereed proceedings of the Second Mexican International Conference on Artificial Intelligence, MICAI 2002, held in Mérida, Yucatán, Mexico in April 2002. The 56 revised full papers presented were carefully reviewed and selected from more than 85 submissions from 17 countries. The papers are organized in topical sections on robotics and computer vision, heuristic search and optimization, speech recognition and natural language processing, logic, neural networks, machine learning, multi-agent systems, uncertainty management, and AI tools and applications"--Publisher's description