Table Of ContentLecture Notes in Artificial Intelligence 6934
Subseries of Lecture Notes in Computer Science
LNAISeriesEditors
RandyGoebel
UniversityofAlberta,Edmonton,Canada
YuzuruTanaka
HokkaidoUniversity,Sapporo,Japan
WolfgangWahlster
DFKIandSaarlandUniversity,Saarbrücken,Germany
LNAIFoundingSeriesEditor
JoergSiekmann
DFKIandSaarlandUniversity,Saarbrücken,Germany
Roberto Pirrone Filippo Sorbello (Eds.)
AI*IA 2011:
Artificial Intelligence
Around Man and Beyond
XIIth International Conference
of the ItalianAssociation forArtificial Intelligence
Palermo, Italy, September 15-17, 2011
Proceedings
1 3
SeriesEditors
RandyGoebel,UniversityofAlberta,Edmonton,Canada
JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany
WolfgangWahlster,DFKIandUniversityofSaarland,Saarbrücken,Germany
VolumeEditors
RobertoPirrone
UniversityofPalermo
DepartmentofChemical,Management,Computer,
andMechanicalEngineering(DICGIM)
VialedelleScienze,Edificio6
90128Palermo,Italy
E-mail:[email protected]
FilippoSorbello
UniversityofPalermo
DepartmentofChemical,Management,Computer,
andMechanicalEngineering(DICGIM)
VialedelleScienze,Edificio6
90128Palermo,Italy
E-mail:[email protected]
ISSN0302-9743 e-ISSN1611-3349
ISBN978-3-642-23953-3 e-ISBN978-3-642-23954-0
DOI10.1007/978-3-642-23954-0
SpringerHeidelbergDordrechtLondonNewYork
LibraryofCongressControlNumber:2011935741
CRSubjectClassification(1998):I.2,F.1,F.4.1,I.2.6,H.2.8,I.5
LNCSSublibrary:SL7–ArtificialIntelligence
©Springer-VerlagBerlinHeidelberg2011
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
Theuseofgeneraldescriptivenames,registerednames,trademarks,etc.inthispublicationdoesnotimply,
evenintheabsenceofaspecificstatement,thatsuchnamesareexemptfromtherelevantprotectivelaws
andregulationsandthereforefreeforgeneraluse.
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper
SpringerispartofSpringerScience+BusinessMedia(www.springer.com)
Preface
AI*IA 2011 was the 12th International Conference on Advances in Artificial
Intelligence that is held bi-annually by the Italian Association for Artificial In-
telligence (AI*IA).
This edition of the conference was entitled: “Artificial Intelligence Around
ManandBeyond”owingtothestrongfocusofscientificcontributionsandinvited
speeches on the new frontiers of AI research.
Nowadays, AI-enabled technologies support a sort of“distributed intelligent
environment.”Inthisenvironmenthumanbeingscanbettermanipulateinforma-
tion and more efficiently perform tasks involvinga huge cognitive effort.All the
foundationfields inAI arestronglyorientedtowardthis goal:semanticinforma-
tion systems, natural language processing aimed to enhanced HCI, distributed
gaming, and social networking are only a few application examples.
Moreover,suchtechnologiesshifttheoreticalspeculationtowardphilosophical
themes that are“beyond humans,”such as the design of metacognitive artificial
agents, machine consciousness, embodied robotics for seamless interaction with
humans.The debateisno longeraboutmerelyintelligentorcognitivemachines,
but rather it focuses on their ability of being conscious and/or thinking about
their 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 many
aspects of theoreticaland applied artificial intelligence.They were groupedinto
sevensessions:“MachineLearning,”“DistributedAI:Robotics andMAS,”“The-
oretical Issues: Knowledge Representation and Reasoning, Planning, Cognitive
Modeling,”“Natural Language Processing,”“AI Applications I & II.”
Moreover,AI*IA2011 hostedthreeinvitedspeechesgivenbyStephenGross-
berg, Hisroshi Ishiguro, and Roger Azevedo. A series of workshops dedicated to
specific topics complemented the main conference program:
– Semantic Technologies in Enterprises
– AI and Cultural Heritage
– Intelligent Social and Service Robots
– TechnologicalChallenges 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
– DART2011-5thInternationalWorkshoponNewChallengesinDistributed
Information Filtering and Retrieval
AI*IA2011 stimulateddebateamongresearchersandthebirthofnewgroups
devoted to particular investigations within the AI community. Moreover, many
VI Preface
oftheworkshopspromoteddialoguewiththe enterpriseworld:thisis crucialfor
the 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 precise
suggestionsandencouragements,andtothe wholeAI*IAGoverningBoardthat
selected Palermo as the venue for AI*IA 2011, providing us with continuous
logistic support during the conference organizationphases.
We also want to thank our supporting scientific institutions: the University
of Palermo, CITC “Centro Interdipartimentale Tecnologie della Conoscenza,”
ICAR-CNR“Istituto di Calcolo e Reti ad Alte Prestazioni,”and the Artificial
Intelligence Journal published by Elsevier.
Moreover,letusthankPalermoMunicipality,ProvinciaRegionalediPalermo,
ARS Sicily ParliamentAssembly, and the Sicily Governor Bureaufor their gen-
eral advice, Engineering Ingegneria Informatica S.p.A., Consorzio ARCA, and
Informamuse 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: Vincenzo
Cannella, Arianna Pipitone, Alessandra De Paola, Valeria Seidita, Marco Ort-
loani,OrazioGambino,GiuseppeRusso,DanielePeri,andAgneseAugello.They
supported the organization locally and concretely contributed to the success of
AI*IA 2011.
July 2011 Roberto Pirrone
Filippo Sorbello
Organization
AI*IA2011wasorganizedbyDICGIM(DepartmentofChemical,Management,
Computer, and Mechanical Engineering),University of Palermo,in cooperation
with the Italian Association for Artificial Intelligence (AI*IA).
Executive Committee
Conference Chairs Roberto Pirrone
Filippo Sorbello
ProgramChair Salvatore Gaglio
Refereeing Chair Edoardo Ardizzone
Workshop Chair Antonio Chella
Sponsorship Chair Antonio Gentile
Local Events Chair Rosario Sorbello
Program Committee
Edoardo Ardizzone University of Palermo,Italy
Roger Azevedo McGill University, Canada
Stefania Bandini University of Milan Bicocca, Italy
Roberto Basili University of Rome Tor Vergata, Italy
Gautam Biswas Vanderbilt University, USA
Gerhard Brewka University of Leipzig, Germany
Ernesto Burattini University of Naples Federico II, Italy
Stefano Cagnoni University of Parma,Italy
Antonio Camurri University of Genoa, Italy
Vincenzo Cannella University of Palermo,Italy
Amedeo Cappelli ISTI-CNR, Italy
Luigia Carlucci Aiello University of Rome La Sapienza, Italy
Cristiano Castelfranchi ISTC-CNR, Italy
Antonio Chella University of Palermo,Italy
Cristina Conati University of British Columbia, Canada
Vincenzo Conti University of Enna Kore, Italy
Haris Dindo University of Palermo,Italy
Floriana Esposito University of Bari, Italy
Salvatore Gaglio University of Palermo,Italy
Orazio Gambino University of Palermo,Italy
Antonio Gentile University of Palermo,Italy
Alfonso Gerevini University of Brescia, Italy
Marco Gori University of Siena, Italy
Marco La Cascia University of Palermo,Italy
VIII Organization
Evelina Lamma University of Bologna,Italy
Maurizio Lenzerini University of Rome La Sapienza, Italy
Leonardo Lesmo University of Turin, Italy
Giuseppe Lo Re University of Palermo,Italy
Bernardo Magnini FBK, Italy
Sara Manzoni University of Milan Bicocca, Italy
Francesco Mele CIB-CNR, Italy
Paola Mello University of Bologna,Italy
Daniele Nardi University of Rome La Sapienza, Italy
Sergei Nirenburg UMBC, USA
Andrea Omicini University of Bologna,Italy
Marco Ortolani University of Palermo,Italy
Maria Teresa Pazienza University of Rome Tor Vergata, Italy
Daniele Peri University of Palermo,Italy
Roberto Pirrone University of Palermo,Italy
Fabrizio Riguzzi University of Ferrara,Italy
Andrea Roli University of Bologna,Italy
Francesca Rossi University of Padova,Italy
Lorenza Saitta University of Turin, Italy
Alexei Samsonovich GMU, USA
Marco Schaerf University of Rome La Sapienza, Italy
Giovanni Semeraro University of Bari, Italy
Roberto Serra University of Modena and Reggio-Emilia,Italy
Giovanni Soda University of Florence, Italy
Rosario Sorbello University of Palermo,Italy
Oliviero Stock FBK, Italy
Pietro Torasso University of Turin, Italy
Manuela Veloso CMU, USA
Marco Villani University of Modena and Reggio-Emilia,Italy
Salvatore Vitabile University of Palermo,Italy
Local Organization
Vincenzo Cannella
Arianna Pipitone
Alessandra De Paola
Valeria Seidita
Marco Ortolani
Orazio Gambino
Giuseppe Russo
Daniele Peri
Agnese Augello
(University of Palermo,Italy)
Organization IX
Referees
V. Alcazar C. D’Amato F. Loebe F. Riguzzi
E. Ardizzone B. De Carolis B. Magnini A. Roli
R. Azevedo A. De Paola S. Manzoni F. Rossi
L. Baltrunas N. Di Mauro A. Martelli S. Rossi
S. Bandini H. Dindo A. Mazzei A. Saetti
P. Basile F. Esposito F. Mele L. Saitta
R. Basili D. Ferraretti P. Mello A. Samsonovich
G. Biswas S. Gaglio M. Montali M. Schaerf
G. Brewka O. Gambino M. Morana G. Semeraro
E. Burattini M. Gavanelli D. Nardi R. Serra
S. Cagnoni A. Gentile D. Nau G. Soda
A. Camurri A. Gerevini S. Nirenburg R. Sorbello
V. Cannella M. Gori A. Omicini D. Sottara
A. Cappelli M. Guerini M. Ortolani O. Stock
L. Carlucci Aiello M. La Cascia M. Palmonari H. Strass
C. Castelfranchi E. Lamma M. Pazienza P. Torasso
A. Chella M. Lenzerini D. Peri M. Veloso
F. Chesani L. Lesmo R. Pirrone R. Ventura
C. Conati S. Liemhetcharat D. Radicioni M. Villani
V. Conti G. Lo Re G. Randelli S. Vitabile
Sponsoring Institutions
University of Palermo (Italy)
Artificial Intelligence Journalby 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 Palermo
Provincia Regionale di Palermo
Assemblea Regionale Siciliana
Presidenza della Regione Siciliana
ARCA -“Consorzio per l’Applicazione della Ricerca e la Creazione di Aziende
innovative”(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 ...................... 8
Hiroshi Ishiguro
Can We Design Artificial PedagogicalAgents to Be Intelligent Enough
to Detect, Model, and Foster Regulatory Learning Processes?.......... 9
Roger Azevedo
Machine Learning
A Comparative Study of Thresholding Strategies in Progressive
Filtering ........................................................ 10
Andrea Addis, Giuliano Armano, and Eloisa Vargiu
Semi-Supervised Multiclass Kernel Machines with Probabilistic
Constraints ..................................................... 21
Stefano Melacci and Marco Gori
Plugging Numeric Similarity in First-Order Logic Horn Clauses
Comparison ..................................................... 33
S. Ferilli, T.M.A. Basile, N. Di Mauro, and F. Esposito
Learning to Tag Text from Rules and Examples...................... 45
Michelangelo Diligenti, Marco Gori, and Marco Maggini
Comparison of Dispersion Models by Using Fuzzy Similarity
Relations ....................................................... 57
Angelo Ciaramella, Angelo Riccio, Stefano Galmarini,
Giulio Giunta, and Slawomir Potempski
Distributed AI: Robotics and MAS
An Interaction-OrientedAgent Framework for Open Environments ..... 68
Matteo 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 with
Expectations .................................................... 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, and
Sara Manzoni
An Agent Model of Pedestrian and Group Dynamics: Experiments on
Group Cohesion ................................................. 104
Stefania Bandini, Federico Rubagotti, Giuseppe Vizzari, and
Kenichiro Shimura
An Architecture with a Mobile Phone Interface for the Interaction
of a Human with a Humanoid Robot Expressing Emotions and
Personality...................................................... 117
AntonioChella, Rosario Sorbello, Giovanni Pilato, Giorgio Vassallo,
Giuseppe Balistreri, and Marcello Giardina
Theoretical Issues: Knowledge Representation and
Reasonoinng, Planning, Cognitive Modeling
Checking Safety of Neural Networks with SMT Solvers:A Comparative
Evaluation ...................................................... 127
Luca Pulina and Armando Tacchella
A Dual Association Model for Acquisition and Extinction ............. 139
Ashish Gupta and Lovekesh Vig
Intelligent Supervision for Robust Plan Execution.................... 151
Roberto Micalizio, Enrico Scala, and Pietro Torasso
A Tableau Calculus for a Nonmonotonic Extension of the Description
Logic DL-Lite ................................................ 164
core
Laura Giordano, Valentina Gliozzi, Nicola Olivetti, and
Gian Luca Pozzato
Monte-Carlo Style UCT Search for Boolean Satisfiability.............. 177
Alessandro Previti, Raghuram Ramanujan, Marco Schaerf, and
Bart Selman
Exploiting Macro-actions and Predicting Plan Length in Planning as
Satisfiability..................................................... 189
Alfonso Emilio Gerevini, Alessandro Saetti, and Mauro Vallati
