Fifty years ago, A. Turing predicted that by 2000 we would have a machine that could pass the Turing test. Although this may not yet be true, AI has advanced signi?cantly in these 50 years, and at the dawn of the XXI century is still an activeandchallenging?eld.Thisyearisalsosigni?cantforAIinMexico,withthe merging of the two major AI conferences into the biennial Mexican International Conference on Arti?cial Intelligence (MICAI) series. MICAI is the union of the Mexican National AI Conference (RNIA) and the International AI Symposium (ISAI), organized annually by the Mexican Society forAI(SMIA,since1984)andbytheMonterreyInstituteofTechnology(ITESM, since1988),respectively.The?rstMexicanInternationalConferenceonArti?cial Intelligence, MICAI 2000, took place April 11-14, 2000, in the city of Acapulco, Mexico.ThisconferenceseekstopromoteresearchinAI,andcooperationamong Mexican researchers and their peers worldwide. We welcome you all. Over 163 papers from 17 di?erent countries were submitted for consideration to MICAI 2000. After reviewing them thoroughly, MICAI’s program committee, referees, and program chair accepted 60 papers for the international track. This volume contains the written version of the papers and invited talks presented at MICAI. We would like to acknowledge the support of the American Association for Arti?cial Intelligence (AAAI), and the International Joint Conference on Art- cial Intelligence (IJCAI). We are specially grateful for the warm hospitality and generosity o?ered by the Acapulco Institute of Technology.
Author(s): Raúl Monroy, Alan Bundy, Ian Green (auth.), Osvaldo Cairó, L. Enrique Sucar, Francisco J. Cantu (eds.)
Series: Lecture Notes in Computer Science 1793 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2000
Language: English
Pages: 750
Tags: Artificial Intelligence (incl. Robotics)
Front Matter....Pages -
Searching for a Solution to Program Verification=Equation Solving in CCS....Pages 1-12
Knowledge Representation Using High-Level Non-monotonic Reasoning....Pages 13-24
Experiments on Information Retrieval Using Case-Based Reasoning....Pages 25-39
A Probabilistic Exemplar-Based Model for Case-Based Reasoning....Pages 40-51
Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective....Pages 52-62
A Methodology to Parallel the Temperature Cycle in Simulated Annealing....Pages 63-74
Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm....Pages 75-81
A Practical Approach for Logic Program Analysis and Transformation....Pages 82-94
Experiments in Answer Sets Planning....Pages 95-107
Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment....Pages 108-114
Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems....Pages 115-126
Detection and Tracking of Facial Features in Video Sequences....Pages 127-135
An Application of Behavior-Based Architecture for Mobile Robots Design....Pages 136-147
Cooperative Simulated Annealing for Path Planning in Multi-robot Systems....Pages 148-157
Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors....Pages 158-169
Evolving Insect Locomotion Using Cooperative Genetic Programming....Pages 170-181
On the Minimal Cooperative Attitude in Multi-robotics Systems....Pages 182-192
Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition....Pages 193-201
A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC....Pages 202-211
A New Approach for the Solution of Multiple Objective Optimization Problems Based on Reinforcement Learning....Pages 212-223
Automatic Extraction of Logic Program Transformations from Examples....Pages 224-234
Modifications to the Credit Apportionment Mechanism of a Simple Classifier System....Pages 235-246
A Framework for Interleaving Planning-while-Learning and Execution....Pages 247-259
Integrated Reinforcement and Evolutionary Learning Algorithm: Application to Alife in a Shared World....Pages 260-271
RuLess: A Method for the Acquisition and Simplification of Rules....Pages 272-283
Applying Reinforcement Learning to Improve MCOE, an Intelligent Learning Environment for Ecology....Pages 284-293
Rapid Fine-Tuning of Computationally Intensive Classifiers....Pages 294-302
Qualitative Knowledge Acquisition for Learning Organizations....Pages 303-314
Applying One-Sided Selection to Unbalanced Datasets....Pages 315-325
NSL/ASL: Distributed Simulation of Modular Neural Networks....Pages 326-337
Dynamical Behavior of an Electronic Neuron of Commutation....Pages 338-349
Training Neural Networks Using Non-standard Norms – Preliminary Results....Pages 350-364
Extending the Prediction Horizon in Dynamic Bandwidth Allocation for VBR Video Transport....Pages 365-375
Constructing a Query Facility for RBF Networks....Pages 376-388
A Procedure to Select the Vigilance Threshold for the ART2 for Supervised and Unsupervised Training....Pages 389-400
Investigation of the One-Armed Bandit by Neural Network....Pages 401-404
Knowledge Base System for Diagnostic Assessment of Doppler Spectrogram....Pages 405-416
Using Randomized Algorithms for Digital Mock-Up in Automotive Industry....Pages 417-425
Risks Inside-Out....Pages 426-435
A Specific Domain Translator Application in a Floristic Digital Library....Pages 436-442
A Cooperative, Deductive, and Self-Adaptive Web Authoring Environment....Pages 443-457
Definition of a General Conceptualization Method for the Expert Knowledge....Pages 458-469
Segmenting the e-Commerce Market Using the Generative Topographic Mapping....Pages 470-481
Designing a Fast Neuro-fuzzy System for Speech Noise Cancellation....Pages 482-492
Verification of Correct Pronunciation of Mexican Spanish Using Speech Technology....Pages 493-502
Explaining Abstract Data Types with Sentential and Diagrammatic Elements....Pages 503-514
Dialogue Structure Influence Over Anaphora Resolution....Pages 515-525
Processing of Spanish Definite Descriptions....Pages 526-537
Syntactic-Conceptual Analysis of Sentences in Spanish Using a Restricted Lexicon for Disambiguation....Pages 538-547
Comparison of Conceptual Graphs....Pages 548-556
Interaction of Purposeful Agents that Use Different Ontologies....Pages 557-573
Multi-agent Adaptive Dynamic Programming....Pages 574-585
A New Generation of International Databases: A Multi-agent Inspired Approach to Integrate Different Theory-Driven Databases on Conflict Warning....Pages 586-597
Intelligent Interface Agents Behavior Modeling....Pages 598-609
Memory Based Reasoning and Agents Adaptive Behavior....Pages 610-620
A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent....Pages 621-633
Action Selection Properties in a Software Simulated Agent....Pages 634-648
MultiAgent Planning: A Resource Based Approach....Pages 649-660
Dynamic Fuzzy Logic....Pages 661-670
Generation of a Personal Qualitative Assessment Instrument Using a Fuzzy Expert System....Pages 671-686
Probabilistic Model-Based Diagnosis....Pages 687-698
Instance Metrics Improvement by Probabilistic Support....Pages 699-705
EDAS – Event-Disturbance Analysis System for Fossil Power Plants Operation....Pages 706-717
A Complete Teamwork Model in a Dynamic Environment....Pages 718-728
Towards a Personalized Web-Based Educational System....Pages 729-740
CASSIEL: Modeling Intelligent Agents for a Lifelong Learning Environment....Pages 741-747
Back Matter....Pages -
