MICAI 2000 - Advances in Artificial Intelligence : Mexican International Conference on Artificial Intelligence, Acapulco, Mexico, April 11-14, 2000, Proceedings

by Mexican International Conference on Artificial Intelligence 2000 Acap; Cairo, Osvaldo; Sucar, Luis Enrique

• ISBN13: 9783540673545
• ISBN10: 3540673547
• Format: Paperback
• Copyright: 2000-07-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the Mexican International Conference on Artificial Intelligence, MICAI 2000, held in Acapulco, Mexico, in April 2000.The 60 revised full papers presented with six invited contributions were carefully reviewed and selected from a total of 163 submissions from 17 countries. The book is divided into sections on knowledge representation and reasoning, robotics and computer vision, machine learning, neural networks, knowledge-based systems, speech recognition and natural language, multiagent systems, reasoning under uncertainty, and intelligent tutoring systems.

Table of Contents

Knowledge Representation and Reasoning
Searching for a Solution to Program Verification=Equation Solving in CCS	1	(12)
Raul Monroy
Alan Bundy
Ian Green
Knowledge Representation Using High-Level Non-monotonic Reasoning	13	(12)
Mauricio Osorio
Juan Carlos Nieves
Fernando Zacarias
Erika Saucedo
Experiments on Information Retrieval Using Case-Based Reasoning	25	(15)
Carlos Ramirez
A Probabilistic Exempler-Based Model for Case-Based Reasoning	40	(12)
Andres F. Rodriguez
Sunil Vadera
L. Enrique Sucar
Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective	52	(11)
Ricardo P. Beausoleil
A Methodology to Parallel the Temperature Cycle in Simulated Annealing	63	(12)
Hector Sanvicente Sanchez
Juan Frausto Solis
Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm	75	(7)
Joaquin Perez
Rodolfo Pazos
Juan Frausto
David Romero
Laura Cruz
A Practical Approach for Logic Program Analysis and Transformation	82	(13)
Wamberto Weber-Vasconcelos
Eudenia Xavier Meneses
Experiments in Answer Sets Planning	95	(13)
M. Balduccini
G. Brignoli
G.A. Lanzarone
F. Magni
A. Provetti
Robotics and Computer Vision
Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment	108	(7)
F. Curatelli
O. Mayora-Ibarra
Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems	115	(12)
Homero V. Rios
Ana Luisa Solis
Emilio Aguirre
Lourdes Guerrero
Joaquin Pena
Alberto Santamaria
Detection and Tracking of Facial Features in Video Sequences	127	(9)
Rogerio Schmidt Feris
Teofilo Emidio de Campos
Roberto Marcondes Cesar Junior
An Application of Behavior-Based Architecture for Mobile Robots Design	136	(12)
Sergio Uribe-Gutierrez
Horacio Martinez-Alfaro
Cooperative Simulated Annealing for Path Planning in Multi-robot Systems	148	(10)
Gildardo Sanchez-Ante
Fernando Ramos
Juan Frausto
Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors	158	(12)
Leonardo Romero
Eduardo Morales
Enrique Sucar
Evolving Insect Locomotion Using Cooperative Genetic Programming	170	(12)
Edgar E. Vallejo
Fernando Ramos
On the Minimal Cooperative Attitude in Multi-robotics Systems	182	(11)
Giovani Gomez
Fernando Ramos
Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition	193	(9)
Teofilo Emidio de Campos
Rogerio Schmidt Feris
Roberto Marcondes Cesar Junior
A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC	202	(10)
Raul Leal Ascencio
Marco Perez Cisneros
Machine Learning
A New Approach for the Solution of Multiple Objective Optimization Problems Based on Reinforcement Learning	212	(12)
Carlos Mariano
Eduardo Morales
Automatic Extraction of Logic Program Transformations from Examples	224	(11)
Wamberto Weber-Vasconcelos
Marcelo A. T. Aragao
Modifications to the Credit Apportionment Mechanism of a Simple Classifier System	235	(12)
Carlos Zozaya-Gorostiza
David R. Orellana-Moyao
A Framework for Interleaving Planning-while-Learning and Execution	247	(13)
Marcello Balduccini
Integrated Reinforcement and Evolutionary Learning Algorithm: Application to Alife in a Shared World	260	(12)
Jianjun Yan
Naoyuki Tokuda
Juichi Miyamichi
RuLess: A Method for the Acquisition and Simplification of Rules	272	(12)
Pablo R. de Buen Rodriguez
Eduardo F. Morales
Sunil Vadera
Applying Reinforcement Learning to Improve MCOE, an Intelligent Learning Environment for Ecology	284	(10)
Daniel Antonio Callegari
Flavio Moreira de Oliveira
Rapid Fine-Tuning of Computationally Intensive Classifiers	294	(9)
Stefan Zemke
Qualitative Knowledge Acquisition for Learning Organizations	303	(12)
Rafael E. Bourguet
Rogelio Soto
Applying One-Sided Selection to Unbalanced Datasets	315	(11)
Gustavo E.A.P.A. Batista
Andre C.P.L.F. Carvalho
Maria Carolina Monard
Neural Networks
NSL/ASL: Distributed Simulation of Modular Neural Networks	326	(12)
Alfredo Weitzenfeld
Oscar Peguero
Sebastian Gutierrez
Dynamical Behavior of an Electronic Neuron of Commutation	338	(12)
A. Padron
J. L. Perez
A. Herrera
R. Prieto
Training Neural Networks Using Non-standard Norms-Preliminary Results	350	(15)
Angel Kuri Morales
Extending the Prediction Horizon in Dynamic Bandwidth Allocation for VBR Video Transport	365	(11)
Armando Garcia-Rodriguez
Ramon M. Rodriguez-Dagnino
Christos Douligeris
Constructing a Query Facility for RBS Networks	376	(13)
Marijke F. Augusteijn
Kelly Shaw
A Procedure to Select the Vigilance Threshold for the ART2 for Supervised and Unsupervised Training	389	(12)
P. Rayon Villela
J. H. Sossa Azuela
Investigation of the One-Armed Bandit by Neural Network	401	(4)
Frank C. Linand
Xiaojiang Ju
Knowledge-Based Systems
Knowledge Base System for Diagnostic Assessment of Doppler Spectrogram	405	(12)
B. Das
S.K. Mitra
S. Banerjee
Using Randomized Algorithms for Digital Mock-Up in Automotive Industry	417	(9)
Benedikt Bietzker
Oliver Karch
Hartmut Noltemeier
Risks Inside-Out	426	(10)
Osvaldo Cairo
Julio Barreiro
Francisco Solsona
A Specificic Domain Translator Application in a Floristic Digital Library	436	(7)
Dulcinea Navarrete
Rogelio Davila
Alfredo Sanchez
A Cooperative, Deductive and Self-Adaptive Web Authoring Environment	443	(15)
Dominique Decouchant
Ana Maria Martinez-Enriquez
Definition of a General Conceptualization Method for the Expert Knowledge	458	(12)
Almudena Sierra-Alonso
Segmenting the e-Commerce Market Using the Generative Topographic Mapping	470	(12)
A. Vellido
P.J.G. Lisboa
K. Meehan
Speech Recognition and Natural Language
Designing a Fast Neuro-fuzzy System for Speech Noise Cancellation	482	(11)
Anna Esposito
Eugene C. Ezin
Carlos A. Reyes-Garcia
Verification of Correct Pronunciation of Mexican Spanish Using Speech Technology	493	(10)
Ingrid Kirschning
Nancy Aguas
Explaining Abstract Data Types with Sentential and Diagrammatic Elements	503	(12)
Agustin A. Araya
Jessica H. Chu
Dialogue Structure Influence Over Anaphora Resolution	515	(11)
Patricio Martinez-Barco
Manuel Palomar
Processing of Spanish Definite Descriptions	526	(12)
Rafael Munoz
Manuel Palomar
Antonio Ferrandez
Syntatic-Conceptual Analysis of Sentences in Spanish Using a Restricted Lexicon for Disambiguation	538	(10)
Miguel Angel Ibarra Rivera
Jesus Favela Vara
Aurelio Lopez-Lopez
Comparison of Conceptual Graphs	548	(9)
Manuel Montes-y-Gomez
Alexander Gelbukh
Aurelio Lopez-Lopez
Multiagent Systems
Interaction of Purposeful Agents that Use Different Ontologies	557	(17)
Adolfo Guzman
Jesus Olivares
Araceli Demetrio
Carmen Dominguez
Multi-agent Adaptive Dynamic Programming	574	(12)
Snehasis Mukhopadhyay
Joby Varghese
A New Generation of International Databases: A Multi-agent Inspired Approach to Integrate Different Theory-Driven Databases on Conflict Warning	586	(12)
Monica Lagazio
Evan Govender
Intelligent Interface Agents Behavior Modeling	598	(12)
Jorge J. Gomez-Sanz
Juan Pavon
Francisco Garijo
Memory Based Reasoning and Agents Adaptive Behavior	610	(11)
Ana S. Aguera
Alejandro Guerra
Manuel Martinez
A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent	621	(13)
Pedro Pablo Gonzalez Perez
Jose Negrete Martinez
Ariel Barreiro Garcia
Carlos Gershenson Garcia
Action Selection Properties in a Software Simulated Agent	634	(15)
Carlos Gershenson Garcia
Pedro Pablo Gonzalez Perez
Jose Negrete Martinez
MultiAgent Planning: A Resource Based Approach	649	(12)
Jose Juan Palacios Perez
Reasoning Under Uncertainty	661	(88)
Dynamic Fuzzy Logic
Jose Luis Perez-Silva
Felipe Lara-Rosano
Generation of a Personal Qualitative Assessment Instrument Using a Fuzzy Expert System	671	(16)
A. M. Martinez-Enriquez
O. R. Sereno-Penaloza
Probabilistic Model-Based Diagnosis	687	(12)
Pablo H. Ibarguengoytia
L. Enrique Sucar
Eduardo Morales
Instance Metrics Improvement by Probabilistic Support	699	(7)
Hector Jimenez
Guillermo Morales
EDAS - Event-Disturbance Analysis System for Fossil Power Plants Operation	706	(12)
G. Arroyo-Figueroa
L. Enrique Sucar
Intelligent Tutoring Systems
A Complete Teamwork Model in a Dynamic Environment	718	(11)
M. Goyal
N. Parameswaran
Towards a Personalized Web-Based Educational System	729	(12)
J. G. Boticario
E. Gaudioso
CASSIEL: Modeling Intelligent Agents for a Lifelong Learning Environment	741	(8)
Gerardo Ayala
Arlette Hernandez
Author Index	749