Lecture Notes in Artificial Intelligence 6934

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

Roberto Pirrone Filippo Sorbello (Eds.)

AI*IA 2011:Artificial IntelligenceAround Man and Beyond

XIIth International Conferenceof the Italian Association for Artificial IntelligencePalermo, Italy, September 15-17, 2011Proceedings

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

Roberto PirroneUniversity of PalermoDepartment of Chemical, Management, Computer,and Mechanical Engineering (DICGIM)Viale delle Scienze, Edificio 690128 Palermo, ItalyE-mail: pirrone@unipa.it

Filippo SorbelloUniversity of PalermoDepartment of Chemical, Management, Computer,and Mechanical Engineering (DICGIM)Viale delle Scienze, Edificio 690128 Palermo, ItalyE-mail: sorbello@unipa.it

ISSN 0302-9743 e-ISSN 1611-3349ISBN 978-3-642-23953-3 e-ISBN 978-3-642-23954-0DOI 10.1007/978-3-642-23954-0Springer Heidelberg Dordrecht London New York

Library of Congress Control Number: 2011935741

CR Subject Classification (1998): I.2, F.1, F.4.1, I.2.6, H.2.8, I.5

LNCS Sublibrary: SL 7 – Artificial Intelligence

© Springer-Verlag Berlin Heidelberg 2011

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.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

AI*IA 2011 was the 12th International Conference on Advances in ArtificialIntelligence that is held bi-annually by the Italian Association for Artificial In-telligence (AI*IA).

This edition of the conference was entitled: “Artificial Intelligence AroundMan and Beyond”owing to the strong focus of scientific contributions and invitedspeeches on the new frontiers of AI research.

Nowadays, AI-enabled technologies support a sort of “distributed intelligentenvironment.”In this environment human beings can better manipulate informa-tion and more efficiently perform tasks involving a huge cognitive effort. All thefoundation fields in AI are strongly oriented toward this goal: semantic informa-tion systems, natural language processing aimed to enhanced HCI, distributedgaming, and social networking are only a few application examples.

Moreover, such technologies shift theoretical speculation toward philosophicalthemes that are “beyond humans,” such as the design of metacognitive artificialagents, machine consciousness, embodied robotics for seamless interaction withhumans. The debate is no longer about merely intelligent or cognitive machines,but rather it focuses on their ability of being conscious and/or thinking abouttheir cognition also in relation with humans.

AI*IA 2011 received 58 submissions from 18 countries. The conference ac-cepted 31 oral presentations, and 13 posters, which covered broadly the manyaspects of theoretical and applied artificial intelligence. They were grouped intoseven sessions: “Machine Learning,”“Distributed AI: Robotics and MAS,”“The-oretical Issues: Knowledge Representation and Reasoning, Planning, CognitiveModeling,”“Natural Language Processing,”“AI Applications I & II.”

Moreover, AI*IA 2011 hosted three invited speeches given by Stephen Gross-berg, Hisroshi Ishiguro, and Roger Azevedo. A series of workshops dedicated tospecific topics complemented the main conference program:

– Semantic Technologies in Enterprises– AI and Cultural Heritage– Intelligent Social and Service Robots– Technological Challenges and Scenarios of the Ageing Society– Learning by Reading in the Real World– Analyzing, Modeling, Evaluating, and Fostering Metacognition with Intelli-

gent Learning Environments– Mining Complex Patterns– DART 2011 - 5th International Workshop on New Challenges in Distributed

Information Filtering and Retrieval

AI*IA 2011 stimulated debate among researchers and the birth of new groupsdevoted to particular investigations within the AI community. Moreover, many

VI Preface

of the workshops promoted dialogue with the enterprise world: this is crucial forthe growth of any scientific community.

The conference was made possible thanks to the support of several institu-tions and people that we want to acknowledge here.

We are very grateful to the AI*IA President, Paola Mello, for her precisesuggestions and encouragements, and to the whole AI*IA Governing Board thatselected Palermo as the venue for AI*IA 2011, providing us with continuouslogistic support during the conference organization phases.

We also want to thank our supporting scientific institutions: the Universityof Palermo, CITC “Centro Interdipartimentale Tecnologie della Conoscenza,”ICAR-CNR “Istituto di Calcolo e Reti ad Alte Prestazioni,” and the ArtificialIntelligence Journal published by Elsevier.

Moreover, let us thank Palermo Municipality, Provincia Regionale di Palermo,ARS Sicily Parliament Assembly, and the Sicily Governor Bureau for their gen-eral advice, Engineering Ingegneria Informatica S.p.A., Consorzio ARCA, andInformamuse s.r.l. for supporting the conference.

Last but not least, our thanks go to the AI Group at the DICGIM Dipar-timento di Ingegneria Chimica Gestionale Informatica e Meccanica: VincenzoCannella, Arianna Pipitone, Alessandra De Paola, Valeria Seidita, Marco Ort-loani, Orazio Gambino, Giuseppe Russo, Daniele Peri, and Agnese Augello. Theysupported the organization locally and concretely contributed to the success ofAI*IA 2011.

July 2011 Roberto PirroneFilippo Sorbello

Organization

AI*IA 2011 was organized by DICGIM (Department of Chemical, Management,Computer, and Mechanical Engineering), University of Palermo, in cooperationwith the Italian Association for Artificial Intelligence (AI*IA).

Executive Committee

Conference Chairs Roberto PirroneFilippo Sorbello

Program Chair Salvatore GaglioRefereeing Chair Edoardo ArdizzoneWorkshop Chair Antonio ChellaSponsorship Chair Antonio GentileLocal Events Chair Rosario Sorbello

Program Committee

Edoardo Ardizzone University of Palermo, ItalyRoger Azevedo McGill University, CanadaStefania Bandini University of Milan Bicocca, ItalyRoberto Basili University of Rome Tor Vergata, ItalyGautam Biswas Vanderbilt University, USAGerhard Brewka University of Leipzig, GermanyErnesto Burattini University of Naples Federico II, ItalyStefano Cagnoni University of Parma, ItalyAntonio Camurri University of Genoa, ItalyVincenzo Cannella University of Palermo, ItalyAmedeo Cappelli ISTI-CNR, ItalyLuigia Carlucci Aiello University of Rome La Sapienza, ItalyCristiano Castelfranchi ISTC-CNR, ItalyAntonio Chella University of Palermo, ItalyCristina Conati University of British Columbia, CanadaVincenzo Conti University of Enna Kore, ItalyHaris Dindo University of Palermo, ItalyFloriana Esposito University of Bari, ItalySalvatore Gaglio University of Palermo, ItalyOrazio Gambino University of Palermo, ItalyAntonio Gentile University of Palermo, ItalyAlfonso Gerevini University of Brescia, ItalyMarco Gori University of Siena, ItalyMarco La Cascia University of Palermo, Italy

VIII Organization

Evelina Lamma University of Bologna, ItalyMaurizio Lenzerini University of Rome La Sapienza, ItalyLeonardo Lesmo University of Turin, ItalyGiuseppe Lo Re University of Palermo, ItalyBernardo Magnini FBK, ItalySara Manzoni University of Milan Bicocca, ItalyFrancesco Mele CIB-CNR, ItalyPaola Mello University of Bologna, ItalyDaniele Nardi University of Rome La Sapienza, ItalySergei Nirenburg UMBC, USAAndrea Omicini University of Bologna, ItalyMarco Ortolani University of Palermo, ItalyMaria Teresa Pazienza University of Rome Tor Vergata, ItalyDaniele Peri University of Palermo, ItalyRoberto Pirrone University of Palermo, ItalyFabrizio Riguzzi University of Ferrara, ItalyAndrea Roli University of Bologna, ItalyFrancesca Rossi University of Padova, ItalyLorenza Saitta University of Turin, ItalyAlexei Samsonovich GMU, USAMarco Schaerf University of Rome La Sapienza, ItalyGiovanni Semeraro University of Bari, ItalyRoberto Serra University of Modena and Reggio-Emilia, ItalyGiovanni Soda University of Florence, ItalyRosario Sorbello University of Palermo, ItalyOliviero Stock FBK, ItalyPietro Torasso University of Turin, ItalyManuela Veloso CMU, USAMarco Villani University of Modena and Reggio-Emilia, ItalySalvatore Vitabile University of Palermo, Italy

Local Organization

Vincenzo CannellaArianna PipitoneAlessandra De PaolaValeria SeiditaMarco OrtolaniOrazio GambinoGiuseppe RussoDaniele PeriAgnese Augello(University of Palermo, Italy)

Organization IX

Referees

V. AlcazarE. ArdizzoneR. AzevedoL. BaltrunasS. BandiniP. BasileR. BasiliG. BiswasG. BrewkaE. BurattiniS. CagnoniA. CamurriV. CannellaA. CappelliL. Carlucci AielloC. CastelfranchiA. ChellaF. ChesaniC. ConatiV. Conti

C. D’AmatoB. De CarolisA. De PaolaN. Di MauroH. DindoF. EspositoD. FerrarettiS. GaglioO. GambinoM. GavanelliA. GentileA. GereviniM. GoriM. GueriniM. La CasciaE. LammaM. LenzeriniL. LesmoS. LiemhetcharatG. Lo Re

F. LoebeB. MagniniS. ManzoniA. MartelliA. MazzeiF. MeleP. MelloM. MontaliM. MoranaD. NardiD. NauS. NirenburgA. OmiciniM. OrtolaniM. PalmonariM. PazienzaD. PeriR. PirroneD. RadicioniG. Randelli

F. RiguzziA. RoliF. RossiS. RossiA. SaettiL. SaittaA. SamsonovichM. SchaerfG. SemeraroR. SerraG. SodaR. SorbelloD. SottaraO. StockH. StrassP. TorassoM. VelosoR. VenturaM. VillaniS. Vitabile

Sponsoring Institutions

University of Palermo (Italy)Artificial Intelligence Journal by Elsevier (The Netherlands)ICAR-CNR “Istituto di Calcolo e Reti ad Alte Prestazioni” (Italy)CITC “Centro Interdipartimentale Tecnologie della Conoscenza” (Italy)Engineering Ingegneria Informatica S.p.A. (Italy)Informamuse s.r.l. (Italy)

Supporting Institutions

Italian Association for Artificial Intelligence (AI*IA)Comune di PalermoProvincia Regionale di PalermoAssemblea Regionale SicilianaPresidenza della Regione SicilianaARCA - “Consorzio per l’Applicazione della Ricerca e la Creazione di Aziendeinnovative” (Italy)

Table of Contents

Invited Talks

Foundations and New Paradigms of Brain Computing: Past, Present,and Future . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1

Stephen Grossberg

Robotics as the Hub of Various Research Areas . . . . . . . . . . . . . . . . . . . . . . 8Hiroshi Ishiguro

Can We Design Artificial Pedagogical Agents to Be Intelligent Enoughto Detect, Model, and Foster Regulatory Learning Processes? . . . . . . . . . . 9

Roger Azevedo

Machine Learning

A Comparative Study of Thresholding Strategies in ProgressiveFiltering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

Andrea Addis, Giuliano Armano, and Eloisa Vargiu

Semi-Supervised Multiclass Kernel Machines with ProbabilisticConstraints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21

Stefano Melacci and Marco Gori

Plugging Numeric Similarity in First-Order Logic Horn ClausesComparison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33

S. Ferilli, T.M.A. Basile, N. Di Mauro, and F. Esposito

Learning to Tag Text from Rules and Examples . . . . . . . . . . . . . . . . . . . . . . 45Michelangelo Diligenti, Marco Gori, and Marco Maggini

Comparison of Dispersion Models by Using Fuzzy SimilarityRelations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57

Angelo Ciaramella, Angelo Riccio, Stefano Galmarini,Giulio Giunta, and Slawomir Potempski

Distributed AI: Robotics and MAS

An Interaction-Oriented Agent Framework for Open Environments . . . . . 68Matteo Baldoni, Cristina Baroglio, Federico Bergenti,Elisa Marengo, Viviana Mascardi, Viviana Patti,Alessandro Ricci, and Andrea Santi

XII Table of Contents

Fuzzy Conformance Checking of Observed Behaviour withExpectations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80

Stefano Bragaglia, Federico Chesani, Paola Mello,Marco Montali, and Davide Sottara

Dealing with Crowd Crystals in MAS-Based Crowd Simulation:A Proposal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92

Stefania Bandini, Lorenza Manenti, Luca Manzoni, andSara Manzoni

An Agent Model of Pedestrian and Group Dynamics: Experiments onGroup Cohesion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104

Stefania Bandini, Federico Rubagotti, Giuseppe Vizzari, andKenichiro Shimura

An Architecture with a Mobile Phone Interface for the Interactionof a Human with a Humanoid Robot Expressing Emotions andPersonality . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117

Antonio Chella, Rosario Sorbello, Giovanni Pilato, Giorgio Vassallo,Giuseppe Balistreri, and Marcello Giardina

Theoretical Issues: Knowledge Representation andReasonoinng, Planning, Cognitive Modeling

Checking Safety of Neural Networks with SMT Solvers: A ComparativeEvaluation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127

Luca Pulina and Armando Tacchella

A Dual Association Model for Acquisition and Extinction . . . . . . . . . . . . . 139Ashish Gupta and Lovekesh Vig

Intelligent Supervision for Robust Plan Execution . . . . . . . . . . . . . . . . . . . . 151Roberto Micalizio, Enrico Scala, and Pietro Torasso

A Tableau Calculus for a Nonmonotonic Extension of the DescriptionLogic DL-Litecore . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164

Laura Giordano, Valentina Gliozzi, Nicola Olivetti, andGian Luca Pozzato

Monte-Carlo Style UCT Search for Boolean Satisfiability . . . . . . . . . . . . . . 177Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, andBart Selman

Exploiting Macro-actions and Predicting Plan Length in Planning asSatisfiability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189

Alfonso Emilio Gerevini, Alessandro Saetti, and Mauro Vallati

Table of Contents XIII

Natural Language Processing

Clustering Web Search Results with Maximum Spanning Trees . . . . . . . . 201Antonio Di Marco and Roberto Navigli

Interdisciplinary Contributions to Flame Modeling . . . . . . . . . . . . . . . . . . . 213Maria Teresa Pazienza and Alexandra Gabriela Tudorache

Latent Topic Models of Surface Syntactic Information . . . . . . . . . . . . . . . . 225Roberto Basili, C. Giannone, Danilo Croce, and C. Domeniconi

Structured Learning for Semantic Role Labeling . . . . . . . . . . . . . . . . . . . . . 238Danilo Croce and Roberto Basili

Cross-Language Information Filtering: Word Sense Disambiguation vs.Distributional Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 250

Cataldo Musto, Fedelucio Narducci, Pierpaolo Basile,Pasquale Lops, Marco de Gemmis, and Giovanni Semeraro

AI Applications I

Double-Sided Recommendations: A Novel Framework for RecommenderSystems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262

Fabiana Vernero

Intelligent Self-repairable Web Wrappers . . . . . . . . . . . . . . . . . . . . . . . . . . . . 274Emilio Ferrara and Robert Baumgartner

Synthesis of Collective Tag-Based Opinions in the Social Web . . . . . . . . . 286Federica Cena, Silvia Likavec, Ilaria Lombardi, and Claudia Picardi

Propagating User Interests in Ontology-Based User Model . . . . . . . . . . . . 299Federica Cena, Silvia Likavec, and Francesco Osborne

Integrating Commonsense Knowledge into the Semantic Annotation ofNarrative Media Objects . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312

Mario Cataldi, Rossana Damiano, Vincenzo Lombardo,Antonio Pizzo, and Dario Sergi

AI Applications II

An Application of Fuzzy Logic to Strategic EnvironmentalAssessment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 324

Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara,Alessandro Cangini, and Paolo Cagnoli

Using Planning to Train Crisis Decision Makers . . . . . . . . . . . . . . . . . . . . . . 336Amedeo Cesta, Gabriella Cortellessa, Riccardo De Benedictis, andKeith Strickland

XIV Table of Contents

Clustering and Classification Techniques for Blind Predictions ofReservoir Facies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 348

Denis Ferraretti, Evelina Lamma, Giacomo Gamberoni, andMichele Febo

Multi-sensor Fusion through Adaptive Bayesian Networks . . . . . . . . . . . . . 360Alessandra De Paola, Salvatore Gaglio, Giuseppe Lo Re, andMarco Ortolani

Tackling the DREAM Challenge for Gene Regulatory Networks ReverseEngineering . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 372

Alessia Visconti, Roberto Esposito, and Francesca Cordero

Poster Session

Full Extraction of Landmarks in Propositional Planning Tasks . . . . . . . . . 383Eliseo Marzal, Laura Sebastia, and Eva Onaindia

Rule-Based Creation of TimeML Documents from Dependency Trees . . . 389Livio Robaldo, Tommaso Caselli, and Matteo Grella

Handling Partial Preferences in the Belief AHP Method: Application toLife Cycle Assessment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395

Amel Ennaceur, Zied Elouedi, and Eric Lefevre

Combining Description Logics and Typicality Effects in FormalOntologies . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 401

Marcello Frixione and Antonio Lieto

Italian Anaphoric Annotation with the Phrase DetectivesGame-with-a-Purpose . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 407

Livio Robaldo, Massimo Poesio, Luca Ducceschi,Jon Chamberlain, and Udo Kruschwitz

A New Possibilistic Clustering Method: The Possibilistic K-Modes . . . . . 413Asma Ammar and Zied Elouedi

Over-Subscription Planning with Boolean Optimization: An Assessmentof State-of-the-Art Solutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 420

Marco Maratea and Luca Pulina

Multi-platform Agent Systems with Dynamic Reputation PolicyManagement . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426

Vincenzo Conti, Marco Sardisco, Salvatore Vitabile, andFilippo Sorbello

Table of Contents XV

Integrating Built-in Sensors of an Android with Sensors Embeddedin the Environment for Studying a More Natural Human-RobotInteraction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 432

Giuseppe Balistreri, Shuichi Nishio, Rosario Sorbello, andHiroshi Ishiguro

Probabilistic Anomaly Detection for Wireless Sensor Networks . . . . . . . . . 438Alfonso Farruggia, Giuseppe Lo Re, and Marco Ortolani

From Natural Language Definitions to Knowledge Bases Axioms . . . . . . . 445Matteo Casu and Armando Tacchella

A Multimodal People Recognition System for an IntelligentEnvironment . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 451

Salvatore M. Anzalone, Emanuele Menegatti, Enrico Pagello,Rosario Sorbello, Yuichiro Yoshikawa, and Hiroshi Ishiguro

Instance-Based Classifiers to Discover the Gradient of Typicality inData . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 457

Francesco Gagliardi

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 463