Fifty years ago, A. Turing predicted that by 2000 we would have a machine that could pass the Turing test. Although this may not ...
Download steht sofort bereit
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. Inhalt Knowledge Representation and Reasoning.- Searching for a Solution to Program Verification=Equation Solving in CCS.- Knowledge Representation Using High-Level Non-monotonic Reasoning.- Experiments on Information Retrieval Using Case-Based Reasoning.- A Probabilistic Exemplar-Based Model for Case-Based Reasoning.- Intensification and Diversification Strategies with Tabu Search: One-Machine Problem with Weighted Tardiness Objective.- A Methodology to Parallel the Temperature Cycle in Simulated Annealing.- Vertical Fragmentation and Allocation in Distributed Databases with Site Capacity Restrictions Using the Threshold Accepting Algorithm.- A Practical Approach for Logic Program Analysis and Transformation.- Experiments in Answer Sets Planning.- Robotics and Computer Vision.- Competitive Learning Methods for Efficient Vector Quantizations in a Speech Recognition Environment.- Facial Expression Recognition and Modeling for Virtual Intelligent Tutoring Systems.- Detection and Tracking of Facial Features in Video Sequences.- An Application of Behavior-Based Architecture for Mobile Robots Design.- Cooperative Simulated Annealing for Path Planning in Multi-robot Systems.- Learning Probabilistic Grid-Based Maps for Indoor Mobile Robots Using Ultrasonic and Laser Range Sensors.- Evolving Insect Locomotion Using Cooperative Genetic Programming.- On the Minimal Cooperative Attitude in Multi-robotics Systems.- Eigenfaces Versus Eigeneyes: First Steps Toward Performance Assessment of Representations for Face Recognition.- A Neurocontrol Scheme of a 2-DOF Manipulator Using CMAC.- Machine Learning.- A New Approach for the Solution of Multiple Objective Optimization Problems Based on Reinforcement Learning.- Automatic Extraction of Logic Program Transformations from Examples.- Modifications to the Credit Apportionment Mechanism of a Simple Classifier System.- A Framework for Interleaving Planning-while-Learning and Execution.- Integrated Reinforcement and Evolutionary Learning Algorithm: Application to Alife in a Shared World.- RuLess: A Method for the Acquisition and Simplification of Rules.- Applying Reinforcement Learning to Improve MCOE, an Intelligent Learning Environment for Ecology.- Rapid Fine-Tuning of Computationally Intensive Classifiers.- Qualitative Knowledge Acquisition for Learning Organizations.- Applying One-Sided Selection to Unbalanced Datasets.- Neural Networks.- NSL/ASL: Distributed Simulation of Modular Neural Networks.- Dynamical Behavior of an Electronic Neuron of Commutation.- Training Neural Networks Using Non-standard Norms - Preliminary Results.- Extending the Prediction Horizon in Dynamic Bandwidth Allocation for VBR Video Transport.- Constructing a Query Facility for RBF Networks.- A Procedure to Select the Vigilance Threshold for the ART2 for Supervised and Unsupervised Training.- Investigation of the One-Armed Bandit by Neural Network.- Knowledge-Based Systems.- Knowledge Base System for Diagnostic Assessment of Doppler Spectrogram.- Using Randomized Algorithms for Digital Mock-Up in Automotive Industry.- Risks Inside-Out.- A Specific Domain Translator Application in a Floristic Digital Library.- A Cooperative, Deductive, and Self-Adaptive Web Authoring Environment.- Definition of a General Conceptualization Method for the Expert Knowledge.- Segmenting the e-Commerce Market Using the Generative Topographic Mapping.- Speech Recognition and Natural Language.- Designing a Fast Neuro-fuzzy System for Speech Noise Cancellation.- Verification of Correct Pronunciation of Mexican Spanish Using Speech Technology.- Explaining Abstract Data Types with Sentential and Diagrammatic Elements.- Dialogue Structure Influence Over Anaphora Resolution.- Processing of Spanish Definite Descriptions.- Syntactic-Conceptual Analysis of Sentences in Spanish Using a Restricted Lexicon for Disambiguation.- Comparison of Conceptual Graphs.- Multiagent Systems.- Interaction of Purposeful Agents that Use Different Ontologies.- Multi-agent Adaptive Dynamic Programming.- A New Generation of International Databases: A Multi-agent Inspired Approach to Integrate Different Theory-Driven Databases on Conflict Warning.- Intelligent Interface Agents Behavior Modeling.- Memory Based Reasoning and Agents Adaptive Behavior.- A Model for Combination of External and Internal Stimuli in the Action Selection of an Autonomous Agent.- Action Selection Properties in a Software Simulated Agent.- MultiAgent Planning: A Resource Based Approach.- Reasoning Under Uncertainty.- Dynamic Fuzzy Logic.- Generation of a Personal Qualitative Assessment Instrument Using a Fuzzy Expert System.- Probabilistic Model-Based Diagnosis.- Instance Metrics Improvement by Probabilistic Support.- EDAS - Event-Disturbance Analysis System for Fossil Power Plants Operation.- Intelligent Tutoring Systems.- A Complete Teamwork Model in a Dynamic Environment.- Towards a Personalized Web-Based Educational System.- CASSIEL: Modeling Intelligent Agents for a Lifelong Learning Environment.
MICAI 2000: Advances in Artificial Intelligence
Mexican International Conference on Artificial Intelligence Acapulco, Mexico, April 11-14, 2000 Proceedings