AI*IA 2011: Artificial Intelligence Around Man and Beyond: XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings PDF
Preview AI*IA 2011: Artificial Intelligence Around Man and Beyond: XIIth International Conference of the Italian Association for Artificial Intelligence, Palermo, Italy, September 15-17, 2011. Proceedings
Lecture 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
The list of books you might like
