Lecture Notes in Artificial Intelligence 3789Edited by J. G. Carbonell and J. Siekmann

Subseries of Lecture Notes in Computer Science

Alexander Gelbukh Álvaro de AlbornozHugo Terashima-Marín (Eds.)

MICAI 2005:Advances inArtificial Intelligence

4th Mexican International Conferenceon Artificial IntelligenceMonterrey, Mexico, November 14-18, 2005Proceedings

1 3

Series Editors

Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USAJörg Siekmann, University of Saarland, Saarbrücken, Germany

Volume Editors

Alexander GelbukhNational Polytechnic Institute (IPN)Center for Computing Research (CIC)Av. Juan Dios Bátiz, Col. Zacatenco07738 DF, MexicoE-mail: gelbukh@gelbukh.com

Álvaro de AlbornozTechnológico de Monterrey (ITESM)Campus Ciudad de México (CCM)Calle del Puente 222, Col. Ejudos de HuipulcoTlalpan, 14360 DF, MexicoE-mail: albornoz@itesm.mx

Hugo Terashima-MarínTechnológico de Monterrey (ITESM)Campus Monterrey (MTY)Eugenio Garza Sada 2501, Col. Technológico64849, Monterrey, NL, MexicoE-mail: terashima@itesm.mx

Library of Congress Control Number: 2005935947

CR Subject Classification (1998): I.2, F.1, I.4, F.4.1

ISSN 0302-9743ISBN-10 3-540-29896-7 Springer Berlin Heidelberg New YorkISBN-13 978-3-540-29896-0 Springer Berlin Heidelberg New York

This work is subject to copyright. All rights are reserved, whether the whole or part of the material isconcerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting,reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publicationor parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965,in its current version, and permission for use must always be obtained from Springer. Violations are liableto prosecution under the German Copyright Law.

Springer is a part of Springer Science+Business Media

springeronline.com

© Springer-Verlag Berlin Heidelberg 2005Printed in Germany

Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, IndiaPrinted on acid-free paper SPIN: 11579427 06/3142 5 4 3 2 1 0

Preface

The Mexican International Conference on Artificial Intelligence (MICAI) isaimed at promoting research in artificial intelligence (AI) and cooperation amongMexican researchers and their peers worldwide. MICAI is organized by the Mexi-can Society for Artificial Intelligence (SMIA) in collaboration with the AmericanAssociation for Artificial Intelligence (AAAI).

After the success of the three previous biannual conferences, we are pleasedto announce that MICAI conferences are now annual, and we present the pro-ceedings of the 4th Mexican International Conference on Artificial Intelligence,MICAI 2005, held on November 14–18, 2005, in Monterrey, Mexico. This volumecontains the papers included in the main conference program, which was comple-mented by tutorials, workshops, and poster sessions, published in supplementaryproceedings. The proceedings of past MICAI conferences were also published inSpringer’s Lecture Notes in Artificial Intelligence (LNAI) series, vols. 1793, 2313,and 2972.

Table 1. Statistics of submissions and accepted papers by country/region

Authors Papers1 Authors Papers1

Country/Region Subm Accp Subm Accp Country/Region Subm Accp Subm AccpAlgeria 2 – 0.66 – Lithuania 3 1 1.5 0.50Argentina 27 4 8.66 1.5 Malaysia 2 – 1 –Australia 7 – 2.66 – Mexico 383 139 131.91 47.44Brazil 48 14 15.16 3.66 Netherlands 3 2 1.2 1Bulgaria 1 1 0.5 0.5 New Zealand 4 4 1 1Canada 13 4 4.75 2 Norway 4 1 2.33 1Chile 14 10 6 4 Poland 8 2 3 1China 288 65 107.33 23.66 Portugal 2 – 0.5 –Colombia 1 – 1 – Romania 2 2 0.5 0.5Cuba 6 – 1.66 – Russia 10 3 7 1.5Czech Republic 1 – 1 – Singapore 3 – 2 –Denmark 3 3 0.75 0.75 Slovakia 1 – 1 –France 24 10 10.33 4.66 Spain 71 25 20.81 7.6Germany 2 1 2 1 Sweden 4 – 1 –Hong Kong 3 1 1.16 0.33 Taiwan 8 – 3 –India 6 – 4 – Thailand 1 – 0.25 –Iran 6 – 4 – Tunisia 5 – 2 –Ireland 3 3 1 1 Turkey 11 8 3.5 2.5Italy 8 – 3.5 – UK 23 17 9.50 7.16Japan 13 2 5 1 USA 29 8 11.33 3.37Korea, South 71 7 33 2 Uruguay 4 – 1.00 –Lebanon 2 – 1 – Total: 1130 341 423 1201 Counted by authors: e.g., for a paper by 3 authors: 2 from Mexico and 1 from

USA, we added 23 to Mexico and 1

3 to USA.

VI Preface

The number of submissions to MICAI 2005 was significantly higher than thatof the previous conferences: 423 full papers by 1130 authors from 43 differentcountries were submitted for evaluation, see Tables 1 and 2.

Each submission was reviewed by three independent Program Committeemembers. This book contains revised versions of 120 papers by 341 authors

Table 2. Statistics of submissions and accepted papers by topic2

Topic Submitted AcceptedAssembly 7 2Automated Theorem Proving 3 1Belief Revision 7 4Bioinformatics 17 2Case-Based Reasoning 10 3Common Sense Reasoning 6 3Computer Vision 37 12Constraint Programming 12 2Data Mining 50 10Expert Systems/Knowledge-Based Systems 25 6Fuzzy Logic 33 11Genetic Algorithms 50 14Hybrid Intelligent Systems 46 12Intelligent Interfaces: Multimedia; Virtual Reality 15 1Intelligent Organizations 13 3Intelligent Tutoring Systems 18 3Knowledge Acquisition 24 5Knowledge Management 24 7Knowledge Representation 44 13Knowledge Verification; Sharing and Reuse 7 3Logic Programming 6 2Machine Learning 91 28Model-Based Reasoning 9 2Multiagent Systems and Distributed AI 54 11Natural Language Processing/Understanding 33 13Navigation 11 4Neural Networks 64 21Nonmonotonic Reasoning 6 2Ontologies 22 4Philosophical and Methodological Issues of AI 19 4Planning and Scheduling 24 8Qualitative Reasoning 4 1Robotics 45 21Sharing and Reuse 7 3Spatial and Temporal Reasoning 7 2Uncertainty/Probabilistic Reasoning 29 12Other 62 202 According to the topics indicated by the authors. A paper may be

assigned to more than one topic.

Preface VII

selected after thorough evaluation for inclusion in the conference program. Thusthe acceptance rate was 28.3%. The book is structured into 14 thematic fieldsrepresentative of the main current areas of interest within the AI community:

– Knowledge Representation and Management,– Logic and Constraint Programming,– Uncertainty Reasoning,– Multiagent Systems and Distributed AI,– Computer Vision and Pattern Recognition,– Machine Learning and Data Mining,– Evolutionary Computation and Genetic Algorithms,– Neural Networks,– Natural Language Processing,– Intelligent Interfaces and Speech Processing,– Bioinformatics and Medical Applications,– Robotics,– Modeling and Intelligent Control,– Intelligent Tutoring Systems.

The conference featured excellent keynote lectures presented by Erick Cantu-Paz of CASC, John McCarthy of Stanford University, Katsushi Ikeuchi of the Uni-versity of Tokyo, Tom Mitchell of Carnegie Mellon University, Jaime Simao Sich-man of Universidade de Sao Paulo, and Piero P. Bonissone of General Electric.

The following papers received the Best Paper Award and the Best StudentPaper Award, correspondingly (the Best Student Paper was selected from papersfor which the first author was a full-time student):

1st Place: A Framework for Reactive Motion and Sensing Planning: a Critical Events-Based Approach, by Rafael Murrieta Cid, Alejandro Sarmiento, Teja Mup-pirala, Seth Hutchinson, Raul Monroy, Moises Alencastre Miranda, LourdesMunoz Gomez, Ricardo Swain;

2nd Place: A Noise-Driven Paradigm for Solving the Stereo Correspondence Problem,by Patrice Delmas, Georgy Gimel’farb, Jiang Liu, John Morris;

3rd Place: Proximity Searching in High Dimensional Spaces with a Proximity Preserv-ing Order, by Edgar Chavez, Karina Figueroa, Gonzalo Navarro;

Student: A Similarity-Based Approach to Data Sparseness Problem of the ChineseLanguageModeling,byJinghuiXiao,BingquanLiu,XiaolongWang,BingLi.

We want to thank all people involved in the organization of this conference.In the first place these are the authors of the papers constituting this book: it isthe excellence of their research work that gives value to the book and sense tothe work of all other people involved.

Our very special thanks goes to Angel Kuri and Raul Monroy, who carriedout a huge part of the effort of preparation of the conference in general andreviewing process in particular with professionalism and enthusiasm withoutwhich this conference would not have been possible and this book would nothave appeared.

We thank the members of the Program Committee and the conference staff.We are deeply grateful to the Tecnologico de Monterrey at Monterrey for their

VIII Preface

warm hospitality to MICAI 2005. We would like to express our gratitude to Fran-cisco J. Cantu-Ortiz, Dean of Research and Graduate Studies of Tecnologico deMonterrey at Monterrey, and to all members of this office, with special thanksto Leticia Rodrıguez for coordinating activities on the local arrangements. Weare also deeply grateful to Fernando J. Jaimes, Dean of the Division of Informa-tion Technology and Electronics, and Rogelio Soto-Rodrıguez, Director of theCenter for Intelligent Systems, and all members of this center. We thank HiramCalvo of CIC-IPN and Manuel Vilares of University of Vigo for their significantcontribution to the reviewing process.

The entire submission, reviewing, and selection process, as well as putting to-gether the proceedings, was supported for free by the EasyChair system(www.EasyChair.org); we express our gratitude to its author Andrei Voronkovfor his constant support and help. Last but not least, we deeply appreciate theSpringer staff’s patience and help in editing this volume—it is always a greatpleasure to work with them.

September 2005 Alexander GelbukhAlvaro de Albornoz

Hugo Terashima

Organization

MICAI 2005 was organized by the Mexican Society for Artificial Intelligence(SMIA), in collaboration with the Tecnologico de Monterrey at Monterrey and atMexico City, the Centro de Investigacion en Computacion del InstitutoPolitecnico Nacional, the Instituto Tecnologico Autonomo de Mexico, and theInstituto Nacional de Astrofısica, Optica y Electronica. The contribution of thefollowing sponsors is acknowledged and greatly appreciated: Company PHAR,S. A. de C. V., TCA Group, and the Government of the State of Nuevo Leon,Mexico.

Conference Committee

Conference Chairs: Alvaro de Albornoz (ITESM-CCM)Angel Kuri Morales (ITAM)

Program Chairs: Alexander Gelbukh (CIC-IPN)Raul Monroy (ITESM-CEM)

Tutorial Chairs: Manuel Valenzuela (ITESM-MTY)Horacio Martınez (ITESM-MTY)

Workshop Chairs: Ramon Brena (ITESM-MTY)Jose Luis Aguirre (ITESM-MTY)

Keynote Speaker Chair: Carlos Alberto Reyes (INAOE)Award Committee: Alvaro de Albornoz (ITESM-CCM)

Angel Kuri Morales (ITAM)Alexander Gelbukh (CIC-IPN)

Local Chairs: Hugo Terashima (ITESM-MTY)Rogelio Soto (ITESM-MTY)Ricardo Swain (ITESM-MTY)

Local Arrangements Chair: Leticia Rodrıguez (ITESM-MTY)Finance Chair: Carlos Cantu (ITESM-MTY)Publicity Chair: Patricia Mora (ITESM-MTY)

Program Committee

Ajith AbrahamJose Luis AguirreJuan Manuel AhuactzinInes AranaGustavo Arroyo FigueroaVıctor Ayala RamırezRuth Aylett

Antonio BahamondeSoumya BanerjeeOlivia Barron CanoIldar BatyrshinRicardo Beausoleil DelgadoBedrich BenesRamon F. Brena

X Organization

Carlos A. BrizuelaPaul BrnaWolfram BurgardOsvaldo CairoNicoletta CalzolariFrancisco Cantu OrtızMaria Carolina MonardOscar Castillo LopezEdgar ChavezYuehui ChenCarlos A. Coello CoelloSimon ColtonSantiago E. Conant PablosUlises CortesCarlos Cotta-PorrasNareli Cruz CortesNicandro Cruz RamırezVictor de la CuevaAntonio D’AngeloLouise DennisAlexandre DikovskyJuergen DixMarco DorigoArmin FiedlerBob FisherJuan J. FloresOlac FuentesAlexander Gelbukh (Co-chair)Eduardo Gomez RamırezAndres Gomez de SilvaJose A. Gamez MartinMatjaz GamsLeonardo Garrido LunaLuis Eduardo Garza CastanonJose Luis GordilloCrina GrosanNeil Hernandez GressArturo HernandezBrahim HnichJesse HoeyJohan van HorebeekDieter HutterPablo H. Ibarguengoytia G.Bruno JammesLeo Joskowicz

Mario KoppenIngrid KirschningZeynep KiziltanRyszard KlempousAngel Kuri MoralesRamon Lopez de MantarasPedro LarranagaChristian Lemaıtre LeonEugene LevnerJim LittleVladimır MarıkJacek MalecToni ManciniPierre MarquisCarlos Martın VideJose Francisco Martınez TrinidadHoracio Martinez AlfaroOscar MayoraRene MayorgaEfren Mezura MontesChilukuri K. MohanRaul Monroy (Co-chair)Guillermo Morales LunaEduardo Morales ManzanaresRafael MoralesRafael Murrieta CidJuan Arturo Nolazco FloresGabriela Ochoa MeierMauricio Osorio GalindoAndres Perez UribeManuel PalomarLuis Alberto PinedaAndre Ponce de Leon F. de CarvalhoDavid PooleBhanu PrasadJorge Adolfo Ramırez UrestiFernando RamosCarlos Alberto Reyes GarcıaAbdennour El RhalibiMaria Cristina RiffRoger Z. RiosDave RobertsonHoracio RodrıguezRiccardo RosatiIsaac Rudomın

Organization XI

Alessandro SaffiottiGildardo SanchezAlberto Sanfeliu CortesAndrea SchaerfThomas SchiexLeonid SheremetovGrigori SidorovCarles SierraAlexander V. SmirnovMaarten van SomerenJuan Humberto Sossa AzuelaRogelio SotoThomas StuetzleLuis Enrique Sucar Succar

Ricardo Swain OropezaHugo TerashimaDemetri TerzopoulosManuel ValenzuelaJuan VargasFelisa VerdejoManuel Vilares FerroToby WalshAlfredo WeitzenfeldNirmalie WiratungaFranz WotawaKaori YoshidaClaus ZinnBerend Jan van der Zwaag

Additional Referees

Juan C. Acosta GuadarramaHector Gabriel Acosta MesaTeddy AlfaroMiguel A. AlonsoJose Ramon ArrazolaStella AsiimweSeverine BerardFco. Mario Barcala RodrıguezAxel Arturo Barcelo AspeitiaAdam D. BarkerAlejandra BarreraGustavo E. A. P. A. BatistaAbderrahim BenslimaneArturo BerronesBastian BlankenburgPascal BrissetAndreas BrueningMark BuckleyOlivier BuffetDiego CalvaneseHiram CalvoNiccolo CapanniCarlos CastilloSutanu ChakrabortiCarlos ChesnevarFederico ChesaniWu Feng Chung

Murilo Coelho NaldiMark CollinsJean-Francois CondottaMiguel ContrerasSylvie Coste-MarquisAnne CreganRonaldo Cristiano PratiJuan A. DıazVıctor Manuel Darriba BilbaoMichael DekhtyarDeepak DevicharanLuca Di GasperoMarissa DiazLuigi DragoneEdgar DuenezMehmet Onder EfeArturo Espinosa RomeroKatti FaceliAntonio Fernandez CaballeroAntonio FerrandezArmin FiedlerAlfredo GabaldonArturo Galvan RodrıguezAriel GarcıaCormac GebruersKarina GibertAndrea Giovannucci

XII Organization

Fernando GodınezGiorgi GoguadzeMiguel GonzalezJorge GranaFederico GuedeaAlejandro Guerra-HernandezDaniel GunnEverardo GutierrezChristian HahnEmmanuel HebrardBenjamın HernandezMartin HomikRodolfo IbarraBoyko IlievBartosz JablonskiJean-Yves JaffraySylvain JassonDaniel JollyNarendra JussienLars KarssonRyszard KlempousJerzy KotowskiA. KrizhanovskyJuan Carlos Lopez PimentelDavid LambertDarıo Landa SilvaJerme LangHuei Diana LeeDomenico LemboPaul LibberechtAna Carolina LorenaRobert LothianHenryk MaciejewskiFernando Magan MunozMichael MaherDonato MalerbaSalvador MandujanoAna Isabel Martinez GarciaPatricio Martinez-BarcoJarred McGinnisAndreas MeierManuel Mejia LavalleCorrado MencarThomas MeyerErik Millan

Monica MonachiniRebecca MontanariAndres MontoyoJaime Mora VargasJose Andres Moreno PerezRafael MunozMartin MuehlenbrockRahman MukrasAmedeo NapoliGonzalo NavarroAdeline NazarenkoJuan Carlos NievesPeter NovakSlawomir NowaczykOscar Olmedo AguirreMagdalena Ortiz de la FuenteMarıa OsorioJoaquın PachecoMarco PatellaJesus PeralMats Petter PetterssonSteven PrestwichBernard PrumJose Miguel Puerta CallejonAlonso Ramırez ManzanarezFernando RamosOrion Fausto Reyes GalavizFrancisco Ribadas PenaFabrizio RiguzziLeandro Rodrıguez LinaresJuan A. Rodrıguez-AguilarRaquel RosMaximiliano Saiz NoedaS. SandeepP. SanongoonCipriano SantosVitaly SchetininMarvin SchillerPrzemyslaw SliwinskiJasper SnoekThamar SolorioClaudia SoriaEduardo J. SpinosaCyrill StachnissEwa Szlachcic

Organization XIII

Armagan TarimChoh Man TengPaolo TorroniElio TuciCarsten UllrichL. Alfonso Urena LopezDiego UribeMars ValievMaria Vargas-Vera

Wamberto VasconcelosJose Luis VegaJose Luis VicedoJesus Vilares FerroMario Villalobos-AriasNic WilsonSean WilsonClaudia ZepedaJuergen Zimmer

Table of Contents

Knowledge Representation and Management

Modelling Human Intelligence: A Learning MechanismEnrique Carlos Segura, Robin Whitty . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

Compilation of Symbolic Knowledge and Integration with NumericKnowledge Using Hybrid Systems

Vianey Guadalupe Cruz Sanchez, Gerardo Reyes Salgado,Osslan Osiris Vergara Villegas, Joaquın Perez Ortega,Azucena Montes Rendon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

The Topological Effect of Improving Knowledge AcquisitionBernhard Heinemann . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

Belief Revision RevisitedEwa Madalinska-Bugaj, Witold �Lukaszewicz . . . . . . . . . . . . . . . . . . . . . . 31

Knowledge and Reasoning Supported by Cognitive MapsAlejandro Pena, Humberto Sossa, Agustin Gutierrez . . . . . . . . . . . . . . . 41

Temporal Reasoning on Chronological AnnotationTiphaine Accary-Barbier, Sylvie Calabretto . . . . . . . . . . . . . . . . . . . . . . . 51

EventNet: Inferring Temporal Relations Between Commonsense EventsJose Espinosa, Henry Lieberman . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 61

Multi Agent Ontology Mapping Framework in the AQUA QuestionAnswering System

Miklos Nagy, Maria Vargas-Vera, Enrico Motta . . . . . . . . . . . . . . . . . . . 70

A Three-Level Approach to Ontology MergingAgustina Buccella, Alejandra Cechich, Nieves Brisaboa . . . . . . . . . . . . 80

Domain and Competences Ontologies and Their Maintenance for anIntelligent Dissemination of Documents

Yassine Gargouri, Bernard Lefebvre, Jean-Guy Meunier . . . . . . . . . . . 90

Modelling Power and Trust for Knowledge Distribution: AnArgumentative Approach

Carlos Ivan Chesnevar, Ramon F. Brena, Jose Luis Aguirre . . . . . . . . 98

XVI Table of Contents

Application of ASP for Agent Modelling in CSCL EnvironmentsGerardo Ayala, Magdalena Ortiz, Mauricio Osorio . . . . . . . . . . . . . . . . 109

Logic and Constraint Programming

Deductive Systems’ Representation and an Incompleteness Result inthe Situation Calculus

Pablo Saez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119

Geometric Aspects Related to Solutions of #kSATGuillermo Morales-Luna . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132

A Syntactical Approach to Belief UpdateJerusa Marchi, Guilherme Bittencourt, Laurent Perrussel . . . . . . . . . . 142

A Fuzzy Extension of Description Logic ALCHYanhui Li, Jianjiang Lu, Baowen Xu, Dazhou Kang,Jixiang Jiang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152

An Approach for Dynamic Split Strategies in Constraint SolvingCarlos Castro, Eric Monfroy, Christian Figueroa, Rafael Meneses . . . 162

Applying Constraint Logic Programming to Predicate Abstraction ofRTL Verilog Descriptions

Tun Li, Yang Guo, SiKun Li, Dan Zhu . . . . . . . . . . . . . . . . . . . . . . . . . . 175

Scheduling Transportation Events with Grouping Genetic Algorithmsand the Heuristic DJD

Hugo Terashima-Marın, Juan Manuel Tavernier-Deloya,Manuel Valenzuela-Rendon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185

Radial Search: A Simple Solution Approach to Hard CombinatorialProblems

Jose Antonio Vazquez Rodrıguez, Abdellah Salhi . . . . . . . . . . . . . . . . . . 195

Uncertainty Reasoning

Rough Sets and Decision Rules in Fuzzy Set-Valued Information SystemsDanjun Zhu, Boqin Feng, Tao Guan . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 204

Directed Cycles in Bayesian Belief Networks: Probabilistic Semanticsand Consistency Checking Complexity

Alexander L. Tulupyev, Sergey I. Nikolenko . . . . . . . . . . . . . . . . . . . . . . 214

Table of Contents XVII

Fuzzeval: A Fuzzy Controller-Based Approach in Adaptive Learning forBackgammon Game

Mikael Heinze, Daniel Ortiz-Arroyo, Henrik Legind Larsen,Francisco Rodriguez-Henriquez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 224

Analysis of Performance of Fuzzy Logic-Based Production Schedulingby Simulation

Alejandra Duenas, Dobrila Petrovic, Sanja Petrovic . . . . . . . . . . . . . . . 234

Multiagent Systems and Distributed AI

Agent-Based Simulation Replication: A Model Driven ArchitectureApproach

Candelaria Sansores, Juan Pavon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244

Effects of Inter-agent Communication in Ant-Based ClusteringAlgorithms: A Case Study on Communication Policies in SwarmSystems

Marco Antonio Montes de Oca, Leonardo Garrido,Jose Luis Aguirre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254

Coordination Through Plan RepairRoman van der Krogt, Mathijs de Weerdt . . . . . . . . . . . . . . . . . . . . . . . . 264

Enabling Intelligent Organizations: An Electronic Institutions Approachfor Controlling and Executing Problem Solving Methods

Armando Robles P., B.V. Pablo Noriega, Francisco Cantu,Ruben Morales-Menendez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275

An Extended Behavior Network for a Game Agent: An Investigation ofAction Selection Quality and Agent Performance in Unreal Tournament

Hugo da Silva Correa Pinto, Luis Otavio Alvares . . . . . . . . . . . . . . . . . 287

Air Pollution Assessment Through a Multiagent-Based TrafficSimulation

Jesus Hector Domınguez, Luis Marcelo Fernandez,Jose Luis Aguirre, Leonardo Garrido, Ramon Brena . . . . . . . . . . . . . . . 297

Computer Vision and Pattern Recognition

A Noise-Driven Paradigm for Solving the Stereo CorrespondenceProblem

Patrice Delmas, Georgy Gimel’farb, Jiang Liu, John Morris . . . . . . . . 307

XVIII Table of Contents

Invariant Descriptions and Associative Processing Applied to ObjectRecognition Under Occlusions

Roberto Antonio Vazquez, Humberto Sossa, Ricardo Barron . . . . . . . . 318

Real Time Facial Expression Recognition Using Local Binary Patternsand Linear Programming

Xiaoyi Feng, Jie Cui, Matti Pietikainen, Abdenour Hadid . . . . . . . . . . 328

People Detection and Tracking Through Stereo Vision for Human-RobotInteraction

Rafael Munoz-Salinas, Eugenio Aguirre, Miguel Garcıa-Silvente,Antonio Gonzalez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 337

Mapping Visual Behavior to Robotic Assembly TasksMario Pena-Cabrera, Ismael Lopez-Juarez, Reyes Rios-Cabrera,Jorge Corona-Castuera, Roman Osorio . . . . . . . . . . . . . . . . . . . . . . . . . . 347

Multilevel Seed Region Growth SegmentationRaziel Alvarez, Erik Millan, Ricardo Swain-Oropeza . . . . . . . . . . . . . . . 359

A CLS Hierarchy for the Classification of ImagesAntonio Sanchez, Raul Diaz, Peter Bock . . . . . . . . . . . . . . . . . . . . . . . . . 369

Performance Evaluation of a Segmentation Algorithm for SyntheticTexture Images

Dora Luz Almanza-Ojeda, Victor Ayala-Ramirez,Raul E. Sanchez-Yanez, Gabriel Avina-Cervantes . . . . . . . . . . . . . . . . . 379

Image Retrieval Based on Salient Points from DCT DomainWenyin Zhang, Zhenli Nie, Zhenbing Zeng . . . . . . . . . . . . . . . . . . . . . . . 386

Machine Learning and Data Mining

Selection of the Optimal Parameter Value for the ISOMAPAlgorithm

Chao Shao, Houkuan Huang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 396

Proximity Searching in High Dimensional Spaces with a ProximityPreserving Order

Edgar Chavez, Karina Figueroa, Gonzalo Navarro . . . . . . . . . . . . . . . . 405

A Neurobiologically Motivated Model for Self-organized LearningFrank Emmert-Streib . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415

Table of Contents XIX

Using Boolean Differences for Discovering Ill-Defined Attributes inPropositional Machine Learning

Sylvain Halle . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 425

Simplify Decision Function of Reduced Support Vector MachinesYuangui Li, Weidong Zhang, Guoli Wang, Yunze Cai . . . . . . . . . . . . . 435

On-Line Learning of Decision Trees in Problems with UnknownDynamics

Marlon Nunez, Raul Fidalgo, Rafael Morales . . . . . . . . . . . . . . . . . . . . . 443

Improved Pairwise Coupling Support Vector Machines with CorrectingClassifiers

Huaqing Li, Feihu Qi, Shaoyu Wang . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454

Least Squares Littlewood-Paley Wavelet Support Vector MachineFangfang Wu, Yinliang Zhao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 462

Minimizing State Transition Model for Multiclassification byMixed-Integer Programming

Nobuo Inui, Yuuji Shinano . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 473

Overview of Metaheuristics Methods in CompilationFernanda Kri, Carlos Gomez, Paz Caro . . . . . . . . . . . . . . . . . . . . . . . . . 483

Comparison of SVM-Fuzzy Modelling Techniques for SystemIdentification

Ariel Garcıa-Gamboa, Miguel Gonzalez-Mendoza,Rodolfo Ibarra-Orozco, Neil Hernandez-Gress,Jaime Mora-Vargas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 494

Time-Series Forecasting by Means of Linear and Nonlinear ModelsJanset Kuvulmaz, Serkan Usanmaz, Seref Naci Engin . . . . . . . . . . . . . 504

Perception Based Time Series Data Mining with MAP TransformIldar Batyrshin, Leonid Sheremetov . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 514

A Graph Theoretic Approach to Key EquivalenceJ. Horacio Camacho, Abdellah Salhi, Qingfu Zhang . . . . . . . . . . . . . . . 524

Improvement of Data Visualization Based on ISOMAPChao Shao, Houkuan Huang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 534

Supporting Generalized Cases in Conversational CBRMingyang Gu . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 544

XX Table of Contents

Organizing Large Case Library by Linear ProgrammingCaihong Sun, Simon Chi Keung Shiu, Xizhao Wang . . . . . . . . . . . . . . . 554

Classifying Faces with Discriminant Isometric Feature MappingRuifan Li, Cong Wang, Hongwei Hao, Xuyan Tu . . . . . . . . . . . . . . . . . 565

A Grey-Markov Forecasting Model for the Electric Power Requirementin China

Yong He, Min Huang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 574

A Fault Detection Approach Based on Machine Learning ModelsLuis E. Garza Castanon, Francisco J. Cantu Ortiz,Ruben Morales-Menendez, Ricardo Ramırez . . . . . . . . . . . . . . . . . . . . . . 583

Evolutionary Computation and Genetic Algorithms

A Mixed Mutation Strategy Evolutionary Programming Combinedwith Species Conservation Technique

Hongbin Dong, Jun He, Houkuan Huang, Wei Hou . . . . . . . . . . . . . . . . 593

Coevolutionary Multi-objective Optimization Using ClusteringTechniques

Margarita Reyes Sierra, Carlos A. Coello Coello . . . . . . . . . . . . . . . . . . 603

A Comparison of Memetic Recombination Operators for the MinLAProblem

Eduardo Rodriguez-Tello, Jin-Kao Hao, Jose Torres-Jimenez . . . . . . . 613

Hybrid Particle Swarm – Evolutionary Algorithm for Search andOptimization

Crina Grosan, Ajith Abraham, Sangyong Han,Alexander Gelbukh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 623

Particle Swarm Optimization with Opposite ParticlesRujing Wang, Xiaoming Zhang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 633

Particle Evolutionary Swarm Optimization with Linearly Decreasingε-Tolerance

Angel E. Munoz Zavala, Arturo Hernandez Aguirre,Enrique R. Villa Diharce . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 641

Useful Infeasible Solutions in Engineering Optimization withEvolutionary Algorithms

Efren Mezura-Montes, Carlos A. Coello Coello . . . . . . . . . . . . . . . . . . . 652

Table of Contents XXI

A Hybrid Self-adjusted Memetic Algorithm for Multi-objectiveOptimization

Xiuping Guo, Genke Yang, Zhiming Wu . . . . . . . . . . . . . . . . . . . . . . . . . 663

Evolutionary Multiobjective Optimization Approach for EvolvingEnsemble of Intelligent Paradigms for Stock Market Modeling

Ajith Abraham, Crina Grosan, Sang Yong Han,Alexander Gelbukh . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 673

Genetic Algorithms for Feature Weighting: Evolution vs. Coevolutionand Darwin vs. Lamarck

Alexandre Blansche, Pierre Gancarski, Jerzy J. Korczak . . . . . . . . . . . 682

A Deterministic Alternative to Competent Genetic Algorithms ThatSolves to Optimality Linearly Decomposable Non-overlapping Problemsin Polynomial Time

Manuel Valenzuela-Rendon, Horacio Martınez-Alfaro,Hugo Terashima-Marın . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 692

Neural Networks

K-Dynamical Self Organizing MapsCarolina Saavedra, Hector Allende, Sebastian Moreno,Rodrigo Salas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 702

Study of Application Model on BP Neural Network Optimized byFuzzy Clustering

Yong He, Yun Zhang, Liguo Xiang . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 712

Application of Modified Neural Network Weights’ Matrices ExplainingDeterminants of Foreign Investment Patterns in the Emerging Markets

Darius Plikynas, Yusaf H. Akbar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 721

Neural Network and Trend Prediction for Technological ProcessesMonitoring

Luis Paster Sanchez Fernandez, Oleksiy Pogrebnyak,Cornelio Yanez Marquez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 731

Natural Language Processing

Underspecified Semantics for Dependency GrammarsAlexander Dikovsky . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 741

XXII Table of Contents

Distributed English Text Chunking Using Multi-agent BasedArchitecture

Ying-Hong Liang, Tie-Jun Zhao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 752

A Similarity-Based Approach to Data Sparseness Problem of ChineseLanguage Modeling

Jinghui Xiao, Bingquan Liu, Xiaolong Wang, Bing Li . . . . . . . . . . . . . 761

Self-training and Co-training Applied to Spanish Named EntityRecognition

Zornitsa Kozareva, Boyan Bonev, Andres Montoyo . . . . . . . . . . . . . . . . 770

Towards the Automatic Learning of Idiomatic Prepositional PhrasesSofıa N. Galicia-Haro, Alexander Gelbukh . . . . . . . . . . . . . . . . . . . . . . . 780

Measurements of Lexico-Syntactic Cohesion by Means of InternetIgor A. Bolshakov, Elena I. Bolshakova . . . . . . . . . . . . . . . . . . . . . . . . . . 790

Inferring Rules for Finding Syllables in SpanishRene MacKinney-Romero, John Goddard . . . . . . . . . . . . . . . . . . . . . . . . 800

A Multilingual SVM-Based Question Classification SystemEmpar Bisbal, David Tomas, Lidia Moreno, Jose Vicedo,Armando Suarez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 806

Language Independent Passage Retrieval for Question AnsweringJose Manuel Gomez-Soriano, Manuel Montes-y-Gomez,Emilio Sanchis-Arnal, Luis Villasenor-Pineda, Paolo Rosso . . . . . . . . 816

A New PU Learning Algorithm for Text ClassificationHailong Yu, Wanli Zuo, Tao Peng . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 824

A Domain Independent Natural Language Interface to DatabasesCapable of Processing Complex Queries

Rodolfo A. Pazos Rangel, Joaquın Perez O.,Juan Javier Gonzalez B., Alexander Gelbukh, Grigori Sidorov,Myriam J. Rodrıguez M. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 833

Intelligent Interfaces and Speech Processing

An Efficient Hybrid Approach for Online Recognition of HandwrittenSymbols

John A. Fitzgerald, Bing Quan Huang, Tahar Kechadi . . . . . . . . . . . . . 843

Table of Contents XXIII

Environment Compensation Based on Maximum a PosterioriEstimation for Improved Speech Recognition

Haifeng Shen, Jun Guo, Gang Liu, Pingmu Huang, Qunxia Li . . . . . . 854

ASR Based on the Analasys of the Short-MelFrequencyCepstra TimeTransform

Juan Arturo Nolazco-Flores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 863

Building and Training of a New Mexican Spanish Voice for FestivalHumberto Perez Espinosa, Carlos Alberto Reyes Garcıa . . . . . . . . . . . . 870

Bioinformatics and Medical Applications

A New Approach to Sequence Representation of Proteins inBioinformatics

Angel F. Kuri-Morales, Martha R. Ortiz-Posadas . . . . . . . . . . . . . . . . . 880

Computing Confidence Measures in Stochastic Logic ProgramsHuma Lodhi, Stephen Muggleton . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 890

Using Inductive Rules in Medical Case-Based Reasoning SystemWenqi Shi, John A. Barnden . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 900

Prostate Segmentation Using Pixel Classification and GeneticAlgorithms

Fernando Arambula Cosıo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 910

A Novel Approach for Adaptive Unsupervised Segmentation of MRIBrain Images

Jun Kong, Jingdan Zhang, Yinghua Lu, Jianzhong Wang,Yanjun Zhou . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 918

Towards Formalising Agent Argumentation over the Viability ofHuman Organs for Transplantation

Sanjay Modgil, Pancho Tolchinsky, Ulises Cortes . . . . . . . . . . . . . . . . . 928

A Comparative Study on Machine Learning Techniques for Predictionof Success of Dental Implants

Adriano Lorena Inacio de Oliveira, Carolina Baldisserotto,Julio Baldisserotto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 939

Infant Cry Classification to Identify Hypo Acoustics and AsphyxiaComparing an Evolutionary-Neural System with a Neural NetworkSystem

Orion Fausto Reyes Galaviz, Carlos Alberto Reyes Garcıa . . . . . . . . . . 949

XXIV Table of Contents

Robotics

Applying the GFM Prospective Paradigm to the Autonomous andAdaptative Control of a Virtual Robot

Jerome Leboeuf Pasquier . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 959

Maximizing Future Options: An On-Line Real-Time Planning MethodRamon F. Brena, Emmanuel Martinez . . . . . . . . . . . . . . . . . . . . . . . . . . 970

On the Use of Randomized Low-Discrepancy Sequences inSampling-Based Motion Planning

Abraham Sanchez, Maria A. Osorio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 980

A Framework for Reactive Motion and Sensing Planning: A CriticalEvents-Based Approach

Rafael Murrieta-Cid, Alejandro Sarmiento, Teja Muppirala,Seth Hutchinson, Raul Monroy, Moises Alencastre-Miranda,Lourdes Munoz-Gomez, Ricardo Swain . . . . . . . . . . . . . . . . . . . . . . . . . . 990

Visual Planning for Autonomous Mobile Robot NavigationAntonio Marin-Hernandez, Michel Devy, Victor Ayala-Ramirez . . . . . 1001

Gait Synthesis Based on FWN and PD Controller for a Five-LinkBiped Robot

Pengfei Liu, Jiuqiang Han . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1012

Hybrid Fuzzy/Expert System to Control Grasping with DeformationDetection

Jorge Axel Domınguez-Lopez, Gilberto Marrufo . . . . . . . . . . . . . . . . . . . 1022

Adaptive Neuro-Fuzzy-Expert Controller of a Robotic GripperJorge Axel Domınguez-Lopez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1032

A Semantically-Based Software Component Selection Mechanism forIntelligent Service Robots

Hwayoun Lee, Ho-Jin Choi, In-Young Ko . . . . . . . . . . . . . . . . . . . . . . . . 1042

An Approach for Intelligent Fixtureless Assembly: Issues andExperiments

Jorge Corona-Castuera, Reyes Rios-Cabrera, Ismael Lopez-Juarez,Mario Pena-Cabrera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1052

On the Design of a Multimodal Cognitive Architecture for PerceptualLearning in Industrial Robots

Ismael Lopez-Juarez, Keny Ordaz-Hernandez, Mario Pena-Cabrera,Jorge Corona-Castuera, Reyes Rios-Cabrera . . . . . . . . . . . . . . . . . . . . . . 1062

Table of Contents XXV

CORBA Distributed Robotic System: A Case Study Using a Motoman6-DOF Arm Manipulator

Federico Guedea-Elizalde, Josafat M. Mata-Hernandez,Ruben Morales-Menendez . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1073

Modeling and Intelligent Control

An Integration of FDI and DX Techniques for Determining the MinimalDiagnosis in an Automatic Way

Rafael Ceballos, Sergio Pozo, Carmelo Del Valle,Rafael M. Gasca . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1082

Evolutionary Dynamic Optimization of a Continuously VariableTransmission for Mechanical Efficiency Maximization

Jaime Alvarez-Gallegos, Carlos Alberto Cruz Villar,Edgar Alfredo Portilla Flores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1093

Performance Improvement of Ad-Hoc Networks by Using aBehavior-Based Architecture

Horacio Martınez-Alfaro, Griselda P. Cervantes-Casillas . . . . . . . . . . . 1103

Analysis of the Performance of Different Fuzzy System ControllersPatrick B. Moratori, Adriano J.O. Cruz, Laci Mary B. Manhaes,Emılia B. Ferreira, Marcia V. Pedro, Cabral Lima,Leila C.V. Andrade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1113

Discrete-Time Quasi-Sliding Mode Feedback-Error-LearningNeurocontrol of a Class of Uncertain Systems

Andon Venelinov Topalov, Okyay Kaynak . . . . . . . . . . . . . . . . . . . . . . . . 1124

Stable Task Space Neuro Controller for Robot Manipulators WithoutVelocity Measurements

Gerardo Loreto, Ruben Garrido . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1134

Input-Output Data Modelling Using Fully Tuned RBF Networks for aFour Degree-of-Freedom Tilt Rotor Aircraft Platform

Changjie Yu, Jihong Zhu, Jianguo Che, Zengqi Sun . . . . . . . . . . . . . . . 1145

A Frugal Fuzzy Logic Based Approach for Autonomous Flight Controlof Unmanned Aerial Vehicles

Sefer Kurnaz, Emre Eroglu, Okyay Kaynak, Umit Malkoc . . . . . . . . . . 1155

Sensor-Fusion System for Monitoring a CNC-Milling CenterRuben Morales-Menendez, Sheyla Aguilar M, Ciro A. Rodrıguez,Federico Guedea Elizalde, Luis E. Garza Castanon . . . . . . . . . . . . . . . . 1164

XXVI Table of Contents

Intelligent Tutoring Systems

A Probabilistic Model of Affective Behavior for Intelligent TutoringSystems

Yasmın Hernandez, Julieta Noguez, Enrique Sucar,Gustavo Arroyo-Figueroa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1175

A Semi-open Learning Environment for Virtual LaboratoriesJulieta Noguez, L. Enrique Sucar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1185

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1195