MICAI 2000: Advances in Artificial Intelligence

1. Front Matter

   PDF

2. Knowledge Representation and Reasoning

   1. Searching for a Solution to Program Verification=Equation Solving in CCS

      • Raúl Monroy, Alan Bundy, Ian Green

      Pages 1-12

   2. Knowledge Representation Using High-Level Non-monotonic Reasoning

      • Mauricio Osorio, Juan Carlos Nieves, Fernando Zacarias, Erika Saucedo

      Pages 13-24

   3. Experiments on Information Retrieval Using Case-Based Reasoning

      • Carlos Ramirez

      Pages 25-39

   4. A Probabilistic Exemplar-Based Model for Case-Based Reasoning

      • Andrés F. Rodríguez, Sunil Vadera, L. Enrique Sucar

      Pages 40-51

   5. Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective

      • Ricardo P. Beausoleil

      Pages 52-62

   6. A Methodology to Parallel the Temperature Cycle in Simulated Annealing

      • Héctor Sanvicente Sánchez, Juan Frausto Solís

      Pages 63-74

   7. Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm

      • Joaquín Pèrez, Rodolfo Pazos, Juan Frausto, David Romero, Laura Cruz

      Pages 75-81

   8. A Practical Approach for Logic Program Analysis and Transformation

      • Wamberto Weber-Vasconcelos, Eudenia Xavier Meneses

      Pages 82-94

   9. Experiments in Answer Sets Planning

      • M. Balduccini, G. Brignoli, G. A. Lanzarone, F. Magni, A. Provetti

      Pages 95-107

3. Robotics and Computer Vision

   1. Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment

      • F. Curatelli, O. Mayora-Ibarra

      Pages 108-114

   2. Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems

      • Homero V. Ríos, Ana Luisa Solís, Emilio Aguirre, Lourdes Guerrero, Joaquín Peña, Alberto Santamaría

      Pages 115-126

   3. Detection and Tracking of Facial Features in Video Sequences

      • Rogério Schmidt Feris, Teófilo Emídio de Campos, Roberto Cesar Marcondes Jr.

      Pages 127-135

   4. An Application of Behavior-Based Architecture for Mobile Robots Design

      • Sergio Uribe-Gutierrez, Horacio Martinez-Alfaro

      Pages 136-147

   5. Cooperative Simulated Annealing for Path Planning in Multi-robot Systems

      • Gildardo Sánchez-Ante, Fernando Ramos, Juan Frausto

      Pages 148-157

   6. Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors

      • Leonardo Romero, Eduardo Morales, Enrique Sucar

      Pages 158-169

   7. Evolving Insect Locomotion Using Cooperative Genetic Programming

      • Edgar E. Vallejo, Fernando Ramos

      Pages 170-181

   8. On the Minimal Cooperative Attitude in Multi-robotics Systems

      • Giovani Gómez, Fernando Ramos

      Pages 182-192

   9. Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition

      • Teófilo Emídio de Campos, Rogério Schmidt Feris, Roberto Cesar Marcondes Jr.

      Pages 193-201

   10. A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC

       • Raúl Leal Ascencio, Marco Perez Cisneros

       Pages 202-211

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.

• Artificial intelligence
• Mutation
• agent technology
• computer-assisted surgery
• fuzzy logic
• intelligent information processing
• intelligent information systems
• knowledge base
• knowledge representation
• knowledge-based system
• machine intelligence
• natural language
• natural language processing
• optimization
• robotics

• Department of Computer Science Instituto Tecnológico Autónomo de México (ITAM), México DF, México

  Osvaldo Cairó

• Monterrey Institute of Technology (ITESM), Morelos, Mexico

  L. Enrique Sucar

• ITESM Campus Monterrey, Research and Graduate Studies Office, Monterrey, México

  Francisco J. Cantu

Policies and ethics