Lecture Notes in Artificial Intelligence 7094

Subseries of Lecture Notes in Computer Science

LNAI Series Editors

Randy GoebelUniversity of Alberta, Edmonton, Canada

Yuzuru TanakaHokkaido University, Sapporo, Japan

Wolfgang WahlsterDFKI and Saarland University, Saarbrücken, Germany

LNAI Founding Series Editor

Joerg SiekmannDFKI and Saarland University, Saarbrücken, Germany

Ildar Batyrshin Grigori Sidorov (Eds.)

Advances inArtificial Intelligence

10th Mexican International Conferenceon Artificial Intelligence, MICAI 2011Puebla, Mexico, November 26 – December 4, 2011Proceedings, Part I

13

Series Editors

Randy Goebel, University of Alberta, Edmonton, CanadaJörg Siekmann, University of Saarland, Saarbrücken, GermanyWolfgang Wahlster, DFKI and University of Saarland, Saarbrücken, Germany

Volume Editors

Ildar BatyrshinMexican Petroleum Institute (IMP)Eje Central Lazaro Cardenas Norte, 152Col. San Bartolo AtepehuacanMexico D.F., CP 07730, MexicoE-mail: batyr1@gmail.com

Grigori SidorovNational Polytechnic Institute (IPN)Center for Computing Research (CIC)Av. Juan Dios Bátiz, s/n, Col. Nueva Industrial VallejoMexico D.F., CP 07738, MexicoE-mail: sidorov@cic.ipn.mx

ISSN 0302-9743 e-ISSN 1611-3349ISBN 978-3-642-25323-2 e-ISBN 978-3-642-25324-9DOI 10.1007/978-3-642-25324-9Springer Heidelberg Dordrecht London New York

Library of Congress Control Number: 2011940855

CR Subject Classification (1998): I.2, I.2.9, I.4, F.1, I.5.4, H.3-4

LNCS Sublibrary: SL 7 – Artificial Intelligence

© Springer-Verlag Berlin Heidelberg 2011This 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.The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply,even in the absence of a specific statement, that such names are exempt from the relevant protective lawsand regulations and therefore free for general use.

Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India

Printed on acid-free paper

Springer is part of Springer Science+Business Media (www.springer.com)

Preface

The Mexican International Conference on Artificial Intelligence (MICAI) is ayearly international conference series organized by the Mexican Society of Arti-ficial Intelligence (SMIA) since 2000. MICAI is a major international AI forumand the main event in the academic life of the country’s growing AI community.

This year’s event was very special: we celebrated the 25th anniversary ofSMIA and 10th anniversary edition of the MICAI series.

MICAI conferences traditionally publish high-quality papers in all areas of ar-tificial intelligence and its applications. The proceedings of the previousMICAI events have been published by Springer in its Lecture Notes in ArtificialIntelligence (LNAI) series, vol. 1793, 2313, 2972, 3789, 4293, 4827, 5317, 5845,6437 and 6438. Since its foundation in 2000, the conference has been growing inpopularity and improving in quality.

The proceedings of MICAI 2011 have been published in two volumes. Thefirst volume, Advances in Artificial Intelligence, contains 50 papers structuredinto five sections:

– Automated Reasoning and Multi-agent Systems– Problem Solving and Machine Learning– Natural Language Processing– Robotics, Planning and Scheduling– Medical Applications of Artificial Intelligence

The second volume, Advances in Soft Computing, contains 46 papers structuredinto five sections:

– Fuzzy Logic, Uncertainty and Probabilistic Reasoning– Evolutionary Algorithms and Other Naturally Inspired Algorithms– Data Mining– Neural Networks and Hybrid Intelligent Systems– Computer Vision and Image Processing

Both books will be of interest for researchers in all fields of AI, students specializ-ing in related topics and for the general public interested in recent developmentsin AI.

The conference received 348 papers submitted for evaluation, by 803 authorsfrom 40 countries; of these, 96 papers were selected for publication after a peer-reviewing process carried out by the international Program Committee. Theacceptance rate was 27.5%.

The distribution of submissions by country or region is represented in Fig. 1,where the square of each circle corresponds to the number of submitted papers.Table 1 shows more detailed statistics. In this table, the number of papers is byauthors: e.g., for a paper by 2 authors from USA and 1 author from UK, weadded 2/3 to USA and 1/3 to UK.

VI Preface

Fig. 1. Distribution of submissions by country or region.

Table 1. Submitted and accepted papers by country or region.

Country or region

Authors Subm. Acc. Country or region

Authors Subm. Acc.

Argentina 13 7 3 Latvia 1 1 1 Austria 3 1.53 0.33 Lithuania 9 1 — Belgium 1 0.25 — Mexico 527 227.64 62.27Brazil 35 13.25 3 New Zealand 5 2 1 Canada 8 2.6 1.6 Norway 1 1 — China 5 2 — Pakistan 11 4.92 1.42Colombia 3 1.5 0.5 Peru 3 2 1 Cuba 15 6.21 1.75 Poland 5 3 1 Czech Rep. 4 2.5 1 Portugal 4 1 — Egypt 5 2 — Russian Federation 7 2.67 1 France 25 8.95 3.12 Serbia 4 2 — Georgia 2 2 — Singapore 2 2 1 Germany 3 2 1 Slovakia 2 1.5 — Hong Kong 1 0.33 0.33 Spain 24 7.07 2.42India 8 3.42 0.75 Thailand 1 0.33 — Iran 16 11 2 Turkey 4 3 — Israel 3 1.17 0.67 Ukraine 2 0.5 0.5 Italy 1 0.17 — United Kingdom 6 2.32 1.32Japan 7 3 1 United States 19 9.18 3.03Korea, Rep. of 5 2 — Uruguay 3 1 —

The authors of the following papers received the Best Paper Award on the basisof the paper’s overall quality, significance and originality of the reported results:

1st place: SCSpectra:ANewSoftCardinalityApproximation forTextComparison,by Sergio Jimenez Vargas and Alexander Gelbukh (Colombia, Mexico)

2nd place: FuzzifiedTree Search in Teal Domain Games, by Dmitrijs Rutko (Latvia)3rd place: Multiple Target Tracking with Motion Priors, by Francisco Madrigal,

Jean-Bernard Hayet and Mariano Rivera (Mexico)

Preface VII

In addition, the authors of the following papers selected among articles wherethe first author was a full-time student (excluding the papers listed above) re-ceived the Best Student Paper Award:

1st place: Topic Mining Based on Graph Local Clustering, by Sara Elena GarzaVillarreal and Ramon Brena (Mexico)

2nd place: Learning Probabilistic Description Logics: A Framework andAlgorithms,by Jose Eduardo Ochoa-Luna, Kate Revoredo and Fabio GagliardiCozman (Brazil)

3rd place: Instance Selection Based on the Silhouette Coefficient Measure forText Classification, by Debangana Dey, Thamar Solorio, Manuel Montesy Gomez and Hugo Jair Escalante (USA, Mexico)

We want to thank all the people involved in the organization of this confer-ence. In the first place, these are the authors of the papers published in this book:it is their research work that gives value to the book and to the work of the orga-nizers. We thank the Track Chairs for their hard work, the Program Committeemembers and additional reviewers for their great effort spent on reviewing thesubmissions.

We would like to express our sincere gratitude to the Benemerita Universi-dad Autonoma de Puebla (BUAP), the Rector’s Office of the BUAP headed byDr. Enrique Aguera Ibanez; Dr. Jose Ramon Eguibar Cuenca, Secretary Gen-eral of the BUAP; Alfonso Esparza Ortiz, Treasurer General of the BUAP; JoseManuel Alonso of DDIE; Damian Hernandez Mendez of DAGU; Dr. Lilia CedilloRamırez, Vice-rector of Extension and Dissemination of Culture of the BUAP;Dr. Gabriel Perez Galmichi of the Convention Center; Dr. Roberto ContrerasJuarez, Administrative Secretary of the Faculty of Computer Science of theBUAP; and to MC Marcos Gonzalez Flores, head of the Faculty of ComputerScience of the BUAP, for their warm hospitality related to MICAI 2011 and forproviding the infrastructure for the keynote talks, tutorials and workshops, aswell as for their valuable participation and support in the organization of thisconference.

Their commitment allowed the opening ceremony, technical talks, workshopsand tutorials to be held at the Centro Cultural Universitario, an impressivecomplex of buildings that bring together expressions of art, culture and academicaffairs associated with the BUAP.

We are deeply grateful to the conference staff and to all members of theLocal Committee headed by Dr. David Eduardo Pinto Avendano. In particular,we would like to thank Dr. Maya Carrillo for chairing the logistic affairs of theconference, including her valuable effort for organizing the cultural program;Dr. Lourdes Sandoval for heading the promotion staff; as well as Dr. ArturoOlvera, head of the registration staff, Dr. Ivan Olmos, Dr. Mario Anzures, andDr. Fernando Zacarıas (sponsors staff) for obtaining additional funds for thisconference.

We also want to thank the sponsors that provided partial financial support tothe conference: CONCYTEP, INAOE, Consejo Nacional de Ciencia y Tecnologıa(CONACYT) project 106625, TELMEX, TELCEL, Universidad Politecnica de

VIII Preface

Puebla, UNIPUEBLA and Universidad del Valle de Puebla. We also thankConsejo de Ciencia y Tecnologıa del Estado de Hidalgo for partial financialsupport through the project FOMIX 2008/97071. We acknowledge support re-ceived from the following projects: WIQ-EI (Web Information Quality Evalu-ation Initiative, European project 269180), PICCO10-120 (ICYT, Mexico CityGovernment) and CONACYT-DST (India) project “Answer Validation throughTextual Entailment.”

The entire submission, reviewing and selection process as well as putting to-gether the proceedings were supported for free by the EasyChair system(www.easychair.org). Last but not least, we are grateful to Springer for theirpatience and help in preparation of this volume.

September 2011 Ildar BatyrshinGrigori Sidorov

Conference Organization

MICAI 2011was organizedby theMexicanSociety ofArtificial Intelligence (SMIA,Sociedad Mexicana de Inteligencia Artificial) in collaboration with BenemeritaUniversidad Autonoma de Puebla (BUAP), Centro de Investigacion en Com-putacion del Instituto Politecnico Nacional (CIC-IPN), Instituto Nacional deAstrofısica, Optica y Electronica (INAOE), Universidad Nacional Autonomade Mexico (UNAM), Universidad Autonoma de Mexico (UAM), Instituto Tec-nologico de Estudios Superiores de Monterrey (ITESM), Universidad Autonomade Estado de Hidalgo (UAEH) and Instituto Mexicano de Petroleo (IMP), Mexico.

The MICAI series website is www.MICAI.org. The website of the MexicanSociety of Artificial Intelligence, SMIA, is www.SMIA.org.mx. Contact optionsand additional information can be found on these websites.

Conference Committee

General Chair Raul MonroyProgram Chairs Ildar Batyrshin and Grigori SidorovWorkshop Chair Alexander GelbukhTutorials Chairs Felix Castro Espinoza and Sofıa Galicia HaroKeynote Talks Chair Jesus A. GonzalezFinancial Chair Grigori SidorovGrant Chairs Raul Monroy, Grigori Sidorov and Ildar BatyrshinBest Thesis Awards Chair Miguel GonzalezDoctoral Consortium Chairs Oscar Herrera and Miguel GonzalezOrganizing Committee Chair David Pinto Avendano

Track Chairs

Natural Language Processing Sofia Galicia HaroMachine Learning and Pattern Recognition Mario KoeppenHybrid Intelligent Systems and Neural Networks Sergio Ledesma OrozcoLogic, Reasoning, Ontologies, Knowledge Management, Miguel Gonzalez andKnowledge-Based Systems, Multi-agent Systems and Raul MonroyDistributed AIData Mining Felix Castro EspinozaIntelligent Tutoring Systems Alexander GelbukhEvolutionary Algorithms and Other Naturally Inspired Nareli Cruz CortesAlgorithmsComputer Vision and Image Processing Oscar HerreraFuzzy Logic, Uncertainty and Probabilistic Reasoning Alexander TulupyevBioinformatics and Medical Applications Jesus A. GonzalezRobotics, Planning and Scheduling Fernando Montes

X Conference Organization

Program Committee

Carlos AcostaHector-Gabriel Acosta-MesaLuis AguilarRuth AguilarEsma AimeurTeresa AlarconAlfonso AlbaRafik AlievAdel AlimiLeopoldo AltamiranoMatias AlvaradoGustavo ArechavaletaGustavo ArroyoSerge AutexierJuan Gabriel Avina CervantesVictor Ayala-RamirezAndrew BagdanovJavier BajoHelen BalinskySivaji BandyopadhyayMaria Lucia Barron-EstradaRoman BartakIldar Batyrshin (Chair)Salem BenferhatTibebe BeshahAlbert BifetIgor BolshakovBert BredewegRamon BrenaPaul BrnaPeter BrusilovskyPedro CabalarAbdiel Emilio Caceres GonzalezFelix CalderonNicoletta CalzolariGustavo CarneiroJesus Ariel Carrasco-OchoaAndre CarvalhoMario CastelanOscar CastilloJuan CastroFelix Agustın Castro EspinozaGustavo Cerda Villafana

Mario ChaconLee Chang-YongNiladri ChatterjeeZhe ChenCarlos CoelloUlises CortesStefania CostantiniRaul Cruz-BarbosaNareli Cruz-CortesNicandro Cruz-RamirezOscar DalmauAshraf DarwishJustin DauwelsRadu-Codrut DavidJorge De La CallejaCarlos Delgado-MataLouise DennisBernabe DorronsoroBenedict Du BoulayHector Duran-LimonBeatrice DuvalAsif EkbalBoris Escalante RamırezJorge Escamilla AmbrosioSusana C. EsquivelClaudia EstevesJulio Cesar Estrada RicoGibran EtcheverryEugene C. EzinJesus FavelaClaudia FeregrinoRobert FisherJuan J. FloresClaude FrassonJuan Frausto-SolisOlac FuentesSofia Galicia-HaroMa.de Guadalupe Garcia-HernandezEduardo GareaLeonardo GarridoAlexander GelbukhOnofrio GigliottaDuncan Gillies

Conference Organization XI

Fernando GomezPilar Gomez-GilEduardo Gomez-RamirezFelix GonzalesJesus GonzalesArturo GonzalezJesus A. GonzalezMiguel GonzalezJose-Joel Gonzalez-BarbosaMiguel Gonzalez-MendozaFelix F. Gonzalez-NavarroRafael Guzman CabreraHartmut HaehnelJin-Kao HaoYasunari HaradaPitoyo HartonoRogelio HasimotoJean-Bernard HayetDonato Hernandez FusilierOscar HerreraIgnacio Herrera AguilarJoel HuegelMichael HuhnsDieter HutterPablo H. IbarguengoytiaMario Alberto Ibarra-ManzanoHector Jimenez SalazarMoa JohanssonW. Lewis JohnsonLeo JoskowiczChia-Feng JuangHiroharu KawanakaShubhalaxmi KherRyszard KlempousMario KoeppenVladik KreinovichSergei KuznetsovJean-Marc LabatSusanne LajoieRicardo Landa BecerraH. Chad LaneReinhard LangmannBruno LaraYulia LedenevaRonald Leder

Sergio Ledesma-OrozcoYoel Ledo MezquitaEugene LevnerDerong LiuWeiru LiuGiovanni LizarragaAurelio LopezOmar LopezVirgilio LopezGabriel LuqueSriram MaduraiTanja MagocLuis Ernesto MancillaClaudia ManfrediJ. Raymundo Marcial-RomeroAntonio Marin HernandezLuis Felipe Marin UriasUrszula Markowska-KaczmarRicardo MartinezEdgar Martinez-GarciaJerzy MartynaOscar MayoraGordon MccallaPatricia MelinLuis MenaCarlos Merida-CamposEfren Mezura-MontesGabriela MinettiTanja MitrovicDieter MitscheMaria-Carolina MonardLuıs Moniz PereiraRaul MonroyFernando Martin Montes-GonzalezManuel Montes-y-GomezOscar MontielJaime Mora-VargasEduardo MoralesGuillermo Morales-LunaEnrique Munoz de CoteAngel E. Munoz ZavalaAngelica Munoz-MelendezMasaki MurataRafael MurrietaTomoharu Nakashima

XII Conference Organization

Atul NegiJuan Carlos NievesSergey NikolenkoJuan Arturo Nolazco FloresPaulo NovaisLeszek NowakAlberto Ochoa O. ZezzattiIvan OlierIvan OlmosConstantin OrasanFernando Orduna CabreraFelipe Orihuela-EspinaDaniel Ortiz-ArroyoMauricio OsorioElvia PalaciosDavid PearceTed PedersenYoseba PenyaThierry PeynotLuis PinedaDavid PintoJan PlatosSilvia PolesEunice E. Ponce-de-LeonVolodimir PonomaryovEdgar Alfredo Portilla-FloresZinovi RabinovichJorge Adolfo Ramirez UrestiAlonso Ramirez-ManzanaresJose de Jesus Rangel MagdalenoFrancisco ReinaldoCarolina RetaCarlos A Reyes-GarciaMarıa Cristina RiffHomero Vladimir RiosArles RodriguezHoracio RodriguezMarcela RodriguezKatia Rodriguez VazquezPaolo RossoJianhua RuanImre J. RudasJose Ruiz PinalesLeszek Rutkowski

Andriy SadovnychyyCarolina SaltoGildardo SanchezGuillermo SanchezEric SanjuanJose SantosNikolay SemenovPinar SenkulRoberto SepulvedaLeonid SheremetovGrigori Sidorov (Chair)Gerardo SierraLia Susana Silva-LopezAkin SisbotAureli Soria FrischPeter SosninHumberto Sossa AzuelaLuis Enrique SucarSarina SulaimanAbraham SanchezJavier TejadaMiguel Torres CisnerosJuan-Manuel Torres-MorenoLeonardo Trujillo ReyesAlexander TulupyevFevrier ValdezBerend Jan Van Der ZwaagGenoveva Vargas-SolarMaria Vargas-VeraWamberto VasconcelosFrancois VialatteJavier ViguerasManuel Vilares FerroAndrea VillagraMiguel Gabriel Villarreal-CervantesToby WalshZhanshan WangBeverly Park WoolfMichal WozniakNadezhda YarushkinaRamon ZatarainLaura ZavalaQiangfu Zhao

Conference Organization XIII

Additional Reviewers

Aboura, KhalidAcosta-Guadarrama, Juan-CarlosAguilar Leal, Omar AlejandroAguilar, RuthArce-Santana, EdgarBankevich, AntonBaroni, PietroBhaskar, PinakiBolshakov, IgorBraga, IgorCerda-Villafana, GustavoChaczko, ZenonChakraborty, SusmitaChavez-Echeagaray, Maria-ElenaCintra, MarcosConfalonieri, RobertoDarriba, VictorDas, AmitavaDas, DipankarDiaz, ElvaEzin, Eugene C.Figueroa, IvanFitch, RobertFlores, MarisolGallardo-Hernandez, Ana GabrielaGarcia, ArielGiacomin, MassimilianoIbarra Esquer, Jorge EduardoJoskowicz, Leo

Juarez, AntonioKawanaka, HiroharuKolesnikova, OlgaLedeneva, YuliaLi, HongliangLopez-Juarez, IsmaelMontes Gonzalez, FernandoMurrieta, RafaelNavarro-Perez, Juan-AntonioNikodem, JanNurk, SergeyOchoa, Carlos AlbertoOrozco, EberPakray, ParthaPele, OfirPeynot, ThierryPiccoli, Marıa FabianaPonomareva, NataliaPontelli, EnricoRibadas Pena, Francisco JoseRodriguez Vazquez, KatyaSanchez Lopez, AbrahamSirotkin, AlexanderSuarez-Araujo, Carmen PazVillatoro-Tello, EsauWang, DingYaniv, ZivZepeda, Claudia

Organizing Committee

Local Chair David Pinto AvendanoLogistics Staff Maya CarrilloPromotion Staff Lourdes SandovalSponsors Staff Ivan Olmos, Mario Anzures, Fernando ZacarıasAdministrative Staff Marcos Gonzalez and Roberto ContrerasRegistration Staff Arturo Olvera

Table of Contents – Part I

Automated Reasoning and Multi-Agent Systems

Case Studies on Invariant Generation Using a Saturation TheoremProver . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

Krystof Hoder, Laura Kovacs, and Andrei Voronkov

Characterization of Argumentation Semantics in Terms of the MMr

Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16Mauricio Osorio, Jose Luis Carballido, Claudia Zepeda, andZenaida Cruz

Learning Probabilistic Description Logics: A Framework andAlgorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28

Jose Eduardo Ochoa-Luna, Kate Revoredo, andFabio Gagliardi Cozman

Belief Merging Using Normal Forms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40Pilar Pozos-Parra, Laurent Perrussel, and Jean Marc Thevenin

Toward Justifying Actions with Logically and Socially AcceptableReasons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52

Hiroyuki Kido and Katsumi Nitta

A Complex Social System Simulation Using Type-2 Fuzzy Logic andMultiagent System . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65

Dora-Luz Flores, Manuel Castanon-Puga, andCarelia Gaxiola-Pacheco

Computing Mobile Agent Routes with Node-Wise Constraints inDistributed Communication Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76

Amir Elalouf, Eugene Levner, and T.C. Edwin Cheng

Collaborative Redundant Agents: Modeling the Dependences in theDiversity of the Agents’ Errors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88

Laura Zavala, Michael Huhns, and Angelica Garcıa-Vega

Strategy Patterns Prediction Model (SPPM) . . . . . . . . . . . . . . . . . . . . . . . . 101Aram B. Gonzalez and Jorge A. Ramırez Uresti

Fuzzy Case-Based Reasoning for Managing Strategic and TacticalReasoning in StarCraft . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 113

Pedro Cadena and Leonardo Garrido

XVI Table of Contents – Part I

Problem Solving and Machine Learning

Variable and Value Ordering Decision Matrix Hyper-heuristics: A LocalImprovement Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125

Jose Carlos Ortiz-Bayliss, Hugo Terashima-Marın, Ender Ozcan,Andrew J. Parkes, and Santiago Enrique Conant-Pablos

Improving the Performance of Heuristic Algorithms Based on CausalInference . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137

Marcela Quiroz Castellanos, Laura Cruz Reyes,Jose Torres-Jimenez, Claudia Gomez Santillan,Mario Cesar Lopez Loces, Jesus Eduardo Carrillo Ibarra, andGuadalupe Castilla Valdez

Fuzzified Tree Search in Real Domain Games . . . . . . . . . . . . . . . . . . . . . . . . 149Dmitrijs Rutko

On Generating Templates for Hypothesis in Inductive LogicProgramming . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162

Andrej Chovanec and Roman Bartak

Towards Building a Masquerade Detection Method Based on User FileSystem Navigation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174

Benito Camina, Raul Monroy, Luis A. Trejo, and Erika Sanchez

A Fast SVM Training Algorithm Based on a Decision Tree DataFilter . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187

Jair Cervantes, Asdrubal Lopez, Farid Garcıa, and Adrian Trueba

Optimal Shortening of Covering Arrays . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198Oscar Carrizales-Turrubiates, Nelson Rangel-Valdez, andJose Torres-Jimenez

An Exact Approach to Maximize the Number of Wild Cards in aCovering Array . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210

Loreto Gonzalez-Hernandez, Jose Torres-Jimenez, andNelson Rangel-Valdez

Intelligent Learning System Based on SCORM Learning Objects . . . . . . . 222Liliana Argotte, Julieta Noguez, and Gustavo Arroyo

Natural Language Processing

A Weighted Profile Intersection Measure for Profile-Based AuthorshipAttribution . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 232

Hugo Jair Escalante, Manuel Montes y Gomez, and Thamar Solorio

A New General Grammar Formalism for Parsing . . . . . . . . . . . . . . . . . . . . . 244Gabriel Infante-Lopez and Martın Ariel Domınguez

Table of Contents – Part I XVII

Contextual Semantic Processing for a Spanish Dialogue System UsingMarkov Logic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 258

Aldo Fabian, Manuel Hernandez, Luis Pineda, and Ivan Meza

A Statistics-Based Semantic Textual Entailment System . . . . . . . . . . . . . . 267Partha Pakray, Utsab Barman, Sivaji Bandyopadhyay, andAlexander Gelbukh

Semantic Model for Improving the Performance of Natural LanguageInterfaces to Databases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277

Rofolfo A. Pazos R., Juan J. Gonzalez B., and Marco A. Aguirre L.

Modular Natural Language Processing Using Declarative AttributeGrammars . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291

Rahmatullah Hafiz and Richard A. Frost

EM Clustering Algorithm for Automatic Text Summarization . . . . . . . . . 305Yulia Ledeneva, Rene Garcıa Hernandez, Romyna Montiel Soto,Rafael Cruz Reyes, and Alexander Gelbukh

Discourse Segmentation for Sentence Compression . . . . . . . . . . . . . . . . . . . . 316Alejandro Molina, Juan-Manuel Torres-Moreno, Eric SanJuan,Iria da Cunha, Gerardo Sierra, and Patricia Velazquez-Morales

Heuristic Algorithm for Extraction of Facts Using Relational Modeland Syntactic Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328

Grigori Sidorov, Juve Andrea Herrera-de-la-Cruz,Sofıa N. Galicia-Haro, Juan Pablo Posadas-Duran, andLiliana Chanona-Hernandez

MFSRank: An Unsupervised Method to Extract Keyphrases UsingSemantic Information . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 338

Roque Enrique Lopez, Dennis Barreda, Javier Tejada, andErnesto Cuadros

Content Determination through Planning for Flexible GameTutorials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 345

Luciana Benotti and Nicolas Bertoa

Instance Selection in Text Classification Using the Silhouette CoefficientMeasure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 357

Debangana Dey, Thamar Solorio, Manuel Montes y Gomez, andHugo Jair Escalante

Age-Related Temporal Phrases in Spanish and French . . . . . . . . . . . . . . . . 370Sofıa N. Galicia-Haro and Alexander Gelbukh

XVIII Table of Contents – Part I

Sentiment Analysis of Urdu Language: Handling Phrase-LevelNegation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 382

Afraz Zahra Syed, Muhammad Aslam, andAna Maria Martinez-Enriquez

Unsupervised Identification of Persian Compound Verbs . . . . . . . . . . . . . . 394Mohammad Sadegh Rasooli, Heshaam Faili, andBehrouz Minaei-Bidgoli

Robotics, Planning and Scheduling

Testing a Theory of Perceptual Mapping Using Robots . . . . . . . . . . . . . . . 407Md. Zulfikar Hossain, Wai Yeap, and Olaf Diegel

A POMDP Model for Guiding Taxi Cruising in a Congested UrbanCity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415

Lucas Agussurja and Hoong Chuin Lau

Next-Best-View Planning for 3D Object Reconstruction underPositioning Error . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 429

Juan Irving Vasquez and L. Enrique Sucar

Stochastic Learning Automata for Self-coordination in HeterogeneousMulti-Tasks Selection in Multi-Robot Systems . . . . . . . . . . . . . . . . . . . . . . . 443

Yadira Quinonez, Darıo Maravall, and Javier de Lope

Stochastic Abstract Policies for Knowledge Transfer in RoboticNavigation Tasks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 454

Tiago Matos, Yannick Plaino Bergamo,Valdinei Freire da Silva, and Anna Helena Reali Costa

The Evolution of Signal Communication for the e-puck Robot . . . . . . . . . 466Fernando Montes-Gonzalez and Fernando Aldana-Franco

An Hybrid Expert Model to Support Tutoring Services in Robotic ArmManipulations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 478

Philippe Fournier-Viger, Roger Nkambou, Andre Mayers,Engelbert Mephu Nguifo, and Usef Faghihi

Inverse Kinematics Solution for Robotic Manipulators Using aCUDA-Based Parallel Genetic Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . 490

Omar Alejandro Aguilar and Joel Carlos Huegel

Medical Applications of Artificial Intelligence

MFCA: Matched Filters with Cellular Automata for Retinal VesselDetection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 504

Oscar Dalmau and Teresa Alarcon

Table of Contents – Part I XIX

Computer Assisted Diagnosis of Microcalcifications in Mammograms:A Scale-Space Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 515

Alberto Pastrana Palma, Juan Francisco Reyes Munoz,Luis Rodrigo Valencia Perez, Juan Manuel Pena Aguilar, andAlberto Lamadrid Alvarez

Diagnosis in Sonogram of Gall Bladder . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 524Saad Tanveer, Omer Jamshaid, Abdul Mannan, Muhammad Aslam,Ana Maria Martinez-Enriquez, Afraz Zahra Syed, andGonzalo Escalada-Imaz

Genetic Selection of Fuzzy Model for Acute Leukemia Classification . . . . 537Alejandro Rosales-Perez, Carlos A. Reyes-Garcıa, Pilar Gomez-Gil,Jesus A. Gonzalez, and Leopoldo Altamirano

An Ontology for Computer-Based Decision Support in Rehabilitation . . . 549Laia Subirats and Luigi Ceccaroni

Heuristic Search of Cut-Off Points for Clinical Parameters: Definingthe Limits of Obesity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 560

Miguel Murguıa-Romero, Rafael Villalobos-Molina,Rene Mendez-Cruz, and Rafael Jimenez-Flores

Development of a System of Electrodes for Reading Consents-Activityof an Amputated Leg (above the knee) and Its ProsthesisApplication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 572

Emilio Soto, Jorge Antonio Ascencio, Manuel Gonzalez, andJorge Arturo Hernandez

Predicting the Behavior of the Interaction of Acetylthiocholine, pH andTemperature of an Acetylcholinesterase Sensor . . . . . . . . . . . . . . . . . . . . . . . 583

Edwin R. Garcıa, Larysa Burtseva, Margarita Stoytcheva, andFelix F. Gonzalez

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 593

Table of Contents – Part II

Fuzzy Logic, Uncertainty and Probabilistic Reasoning

Intelligent Control of Nonlinear Dynamic Plants Using a HierarchicalModular Approach and Type-2 Fuzzy Logic . . . . . . . . . . . . . . . . . . . . . . . . . 1

Leticia Cervantes, Oscar Castillo, and Patricia Melin

No-Free-Lunch Result for Interval and Fuzzy Computing: WhenBounds Are Unusually Good, Their Computation Is Unusually Slow . . . . 13

Martine Ceberio and Vladik Kreinovich

Intelligent Robust Control of Dynamic Systems with Partial UnstableGeneralized Coordinates Based on Quantum Fuzzy Inference . . . . . . . . . . 24

Andrey Mishin and Sergey Ulyanov

Type-2 Neuro-Fuzzy Modeling for a Batch Biotechnological Process . . . . 37Pablo Hernandez Torres, Marıa Angelica Espejel Rivera,Luis Enrique Ramos Velasco, Julio Cesar Ramos Fernandez, andJulio Waissman Vilanova

Assessment of Uncertainty in the Projective Tree Test Using an ANFISLearning Approach . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46

Luis G. Martınez, Juan R. Castro, Guillermo Licea, andAntonio Rodrıguez-Dıaz

ACO-Tuning of a Fuzzy Controller for the Ball and Beam Problem . . . . . 58Enrique Naredo and Oscar Castillo

Estimating Probability of Failure of a Complex System Based onInexact Information about Subsystems and Components, with PotentialApplications to Aircraft Maintenance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70

Vladik Kreinovich, Christelle Jacob, Didier Dubois,Janette Cardoso, Martine Ceberio, and Ildar Batyrshin

Two Steps Individuals Travel Behavior Modeling through FuzzyCognitive Maps Pre-definition and Learning . . . . . . . . . . . . . . . . . . . . . . . . . 82

Maikel Leon, Gonzalo Napoles, Marıa M. Garcıa, Rafael Bello, andKoen Vanhoof

Evaluating Probabilistic Models Learned from Data . . . . . . . . . . . . . . . . . . 95Pablo H. Ibarguengoytia, Miguel A. Delgadillo, and Uriel A. Garcıa

XXII Table of Contents – Part II

Evolutionary Algorithms and OtherNaturally-Inspired Algorithms

A Mutation-Selection Algorithm for the Problem of Minimum BrauerChains . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107

Arturo Rodriguez-Cristerna, Jose Torres-Jimenez, Ivan Rivera-Islas,Cindy G. Hernandez-Morales, Hillel Romero-Monsivais, andAdan Jose-Garcia

Hyperheuristic for the Parameter Tuning of a Bio-Inspired Algorithmof Query Routing in P2P Networks . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 119

Paula Hernandez, Claudia Gomez, Laura Cruz, Alberto Ochoa,Norberto Castillo, and Gilberto Rivera

Bio-Inspired Optimization Methods for Minimization of ComplexMathematical Functions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131

Fevrier Valdez, Patricia Melin, and Oscar Castillo

Fundamental Features of Metabolic Computing . . . . . . . . . . . . . . . . . . . . . . 143Ralf Hofestadt

Clustering Ensemble Framework via Ant Colony . . . . . . . . . . . . . . . . . . . . . 153Hamid Parvin and Akram Beigi

Global Optimization with the Gaussian Polytree EDA . . . . . . . . . . . . . . . . 165Ignacio Segovia Domınguez, Arturo Hernandez Aguirre, andEnrique Villa Diharce

Comparative Study of BSO and GA for the Optimizing Energy inAmbient Intelligence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177

Wendoly J. Gpe. Romero-Rodrıguez,Victor Manuel Zamudio Rodrıguez, Rosario Baltazar Flores,Marco Aurelio Sotelo-Figueroa, and Jorge Alberto Soria Alcaraz

Modeling Prey-Predator Dynamics via Particle Swarm Optimizationand Cellular Automata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189

Mario Martınez-Molina, Marco A. Moreno-Armendariz,Nareli Cruz-Cortes, and Juan Carlos Seck Tuoh Mora

Data Mining

Topic Mining Based on Graph Local Clustering . . . . . . . . . . . . . . . . . . . . . . 201Sara Elena Garza Villarreal and Ramon F. Brena

SC Spectra: A Linear-Time Soft Cardinality Approximation for TextComparison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 213

Sergio Jimenez Vargas and Alexander Gelbukh

Table of Contents – Part II XXIII

Times Series Discretization Using Evolutionary Programming . . . . . . . . . . 225Fernando Rechy-Ramırez, Hector-Gabriel Acosta Mesa,Efren Mezura-Montes, and Nicandro Cruz-Ramırez

Clustering of Heterogeneously Typed Data with Soft Computing –A Case Study . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 235

Angel Kuri-Morales, Daniel Trejo-Banos, andLuis Enrique Cortes-Berrueco

Regional Flood Frequency Estimation for the Mexican Mixteca Regionby Clustering Techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 249

Felix Emilio Luis-Perez, Raul Cruz-Barbosa, andGabriela Alvarez-Olguin

Border Samples Detection for Data Mining Applications Using NonConvex Hulls . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261

Asdrubal Lopez Chau, Xiaoou Li, Wen Yu, Jair Cervantes, andPedro Mejıa-Alvarez

An Active System for Dynamic Vertical Partitioning of RelationalDatabases . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273

Lisbeth Rodrıguez, Xiaoou Li, and Pedro Mejıa-Alvarez

Efficiency Analysis in Content Based Image Retrieval Using RDFAnnotations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 285

Carlos Alvez and Aldo Vecchietti

Automatic Identification of Web Query Interfaces . . . . . . . . . . . . . . . . . . . . 297Heidy M. Marin-Castro, Victor J. Sosa-Sosa, and Ivan Lopez-Arevalo

Neural Networks and Hybrid Intelligent Systems

A GRASP with Strategic Oscillation for a Commercial Territory DesignProblem with a Routing Budget Constraint . . . . . . . . . . . . . . . . . . . . . . . . . 307

Roger Z. Rıos-Mercado and Juan C. Salazar-Acosta

Hybrid Intelligent Speed Control of Induction Machines Using DirectTorque Control . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319

Fernando David Ramirez Figueroa andAlfredo Victor Mantilla Caeiros

A New Model of Modular Neural Networks with Fuzzy Granularity forPattern Recognition and Its Optimization with Hierarchical GeneticAlgorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 331

Daniela Sanchez, Patricia Melin, and Oscar Castillo

Crawling to Improve Multimodal Emotion Detection . . . . . . . . . . . . . . . . . 343Diego R. Cueva, Rafael A.M. Goncalves,Fabio Gagliardi Cozman, and Marcos R. Pereira-Barretto

XXIV Table of Contents – Part II

Improving the MLP Learning by Using a Method to Calculate theInitial Weights of the Network Based on the Quality of SimilarityMeasure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 351

Yaima Filiberto Cabrera, Rafael Bello Perez,Yaile Caballero Mota, and Gonzalo Ramos Jimenez

Modular Neural Networks with Type-2 Fuzzy Integration for PatternRecognition of Iris Biometric Measure . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 363

Fernando Gaxiola, Patricia Melin, Fevrier Valdez, andOscar Castillo

Wavelet Neural Network Algorithms with Applications inApproximation Signals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 374

Carlos Roberto Domınguez Mayorga, Marıa Angelica Espejel Rivera,Luis Enrique Ramos Velasco, Julio Cesar Ramos Fernandez, andEnrique Escamilla Hernandez

Computer Vision and Image Processing

Similar Image Recognition Inspired by Visual Cortex . . . . . . . . . . . . . . . . . 386Urszula Markowska-Kaczmar and Adam Puchalski

Regularization with Adaptive Neighborhood Condition for ImageDenoising . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398

Felix Calderon and Carlos A. Junez–Ferreira

Multiple Target Tracking with Motion Priors . . . . . . . . . . . . . . . . . . . . . . . . 407Francisco Madrigal, Mariano Rivera, and Jean-Bernard Hayet

Control of a Service Robot Using the Mexican Sign Language . . . . . . . . . 419Felix Emilio Luis-Perez, Felipe Trujillo-Romero, andWilebaldo Martınez-Velazco

Analysis of Human Skin Hyper-spectral Images by Non-negative MatrixFactorization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431

July Galeano, Romuald Jolivot, and Franck Marzani

Similarity Metric Behavior for Image Retrieval Modeling in the Contextof Spline Radial Basis Function . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 443

Leticia Flores-Pulido, Oleg Starostenko, Gustavo Rodrıguez-Gomez,Alberto Portilla-Flores, Marva Angelica Mora-Lumbreras,Francisco Javier Albores-Velasco, Marlon Luna Sanchez, andPatrick Hernandez Cuamatzi

A Comparative Review of Two-Pass Connected Component LabelingAlgorithms . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 452

Uriel H. Hernandez-Belmonte, Victor Ayala-Ramirez, andRaul E. Sanchez-Yanez

Table of Contents – Part II XXV

A Modification of the Mumford-Shah Functional for Segmentation ofDigital Images with Fractal Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463

Carlos Guillen Galvan, Daniel Valdes Amaro, andJesus Uriarte Adrian

Robust RML Estimator - Fuzzy C-Means Clustering Algorithms forNoisy Image Segmentation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 474

Dante Mujica-Vargas, Francisco Javier Gallegos-Funes,Alberto J. Rosales-Silva, and Rene Cruz-Santiago

Processing and Classification of Multichannel Remote Sensing Data . . . . 487Vladimir Lukin, Nikolay Ponomarenko, Andrey Kurekin, andOleksiy Pogrebnyak

Iris Image Evaluation for Non-cooperative Biometric Iris RecognitionSystem . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 499

Juan M. Colores, Mireya Garcıa-Vazquez,Alejandro Ramırez-Acosta, and Hector Perez-Meana

Optimization of Parameterized Compactly Supported OrthogonalWavelets for Data Compression . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 510

Oscar Herrera Alcantara and Miguel Gonzalez Mendoza

Efficient Pattern Recalling Using a Non Iterative Hopfield AssociativeMemory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 522

Jose Juan Carbajal Hernandez and Luis Pastor Sanchez Fernandez

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 531