ebook img

AI*IA 2001: Advances in Artificial Intelligence: 7th Congress of the Italian Association for Artificial Intelligence Bari, Italy, September 25–28, 2001 Proceedings PDF

407 Pages·2001·7.24 MB·English
Save to my drive
Quick download
Download
Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.

Preview AI*IA 2001: Advances in Artificial Intelligence: 7th Congress of the Italian Association for Artificial Intelligence Bari, Italy, September 25–28, 2001 Proceedings

Lecture Notes in Artificial Intelligence 2175 Subseries of Lecture Notes in Computer Science Edited by J. G. Carbonell and J. Siekmann Lecture Notes in Computer Science Edited by G. Goos, J. Hartmanis, and J. van Leeuwen 3 Berlin Heidelberg New York Barcelona Hong Kong London Milan Paris Tokyo Floriana Esposito (Ed.) AI*IA 2001: Advances in Artificial Intelligence 7th Congress of the Italian Association for Artificial Intelligence Bari, Italy, September 25-28, 2001 Proceedings 13 Series Editors Jaime G. Carbonell, Carnegie Mellon University, Pittsburgh, PA, USA Jo¨rg Siekmann, University of Saarland, Saabru¨cken, Germany Volume Editor Floriana Esposito University of Bari, Computer Science Department via Orabona 4, 70125 Bari, Italy E-mail: Preface This book contains 41 papers (25 long and 16 short ones) accepted and presented during the scientific track of the seventh Conference of the Italian Association for Artificial Intelligence (AI*IA). The conference, held in Bari this year, follows those previously organized in Trento (’89), Palermo (’91), Turin (’93), Florence (’95), Rome (’97), and Bologna (’99). It is the traditional biennial appointment of Italian academic and industrial researchers working in the field of artificial intelligence and is based on talks given by international experts, presentations of scientific works, system and prototype demonstrations, tutorials, round-table discussions, and workshops on topics of interest from both a methodological and a technological point of view. In the selection of the papers for the scientific track, the Program Committee has chosen long papers from those contributions that presented a complete work and short papers from those reporting ongoing research. The committee has enforced the rule that only original and unpublished work could be considered for inclusion in these proceedings. The papers, distributed among seven specific topics, report significant research at an international level, in various areas of Artificial Intelligence ranging from Machine Learning to Planning and Control, from Automatic Reasoning to Knowledge Representation, from Robotics to In- telligent Multiagent Systems and Natural Language Processing. The quality of the papers and the hard work of the researchers are witness to a massive research activity mainly devoted to the theoretical aspects of AI, but clearly aimed at consolidating the results that have already been achieved. Many people contributed in different ways to the success of the conference and to this volume. First of all, the authors who continue to show their en- thusiastic interest in AI research and the members of the Program Committee who efficiently handle the reviewing of the consistently high number of sub- mitted papers. They provided three reviews for each manuscript, by relying on the support of valuable additional reviewers. The members of the organizing committee, Fiorella de Rosis, Donato Malerba, Sebastiano Pizzutilo, Giovanni Semeraro deserve my gratitude. A special thank to Berardina De Carolis, Nicola Fanizzi, and Stefano Ferilli who worked hard at solving supporting problems before and during the conference. I wish to thank the Dipartimento di Informat- ica of the University of Bari and the Director Carlo dell’Aquila for encouraging and sustaining us in the organization of the event. The financial support of the University of Bari, Italy, for partially covering the publication costs of this book is also gratefully acknowledged. July 2001 Floriana Esposito Organizing Committee Berardina De Carolis (Univ. Bari) Fiorella de Rosis (Univ. Bari) Donato Malerba (Univ. Bari) Giovanni Semeraro (Univ. Bari) Tutorials: Maria Teresa Pazienza (Univ. Roma Tor Vergata) Demonstrations: Sebastiano Pizzutilo (Univ. Bari) Program Committee Program Chair: Floriana Esposito (Univ. Bari) Program Committee: Giovanni Adorni (Univ. Parma) Luigia Aiello Carlucci (Univ. Roma La Sapienza) Massimo Andretta (Montecatini, Ravenna) Andrea Bonarini (Politecnico Milano) Amedeo Cappelli (CNR Pisa) Cristiano Castelfranchi (CNR Roma) Salvatore Gaglio (Univ. Palermo) Attilio Giordana (Univ. Piemonte Orientale) Enrico Giunchiglia (Univ. Genova) Nicola Guarino (CNR Padova) Leonardo Lesmo (Univ. Torino) Paola Mello (Univ. Bologna) Alfredo Milani (Univ. Perugia) Eliana Minicozzi (Univ. Napoli) Luisa Sanseverino (Centro Ricerche FIAT) M. Teresa Pazienza (Univ. Roma Tor Vergata) Giovanni Soda (Univ. Firenze) Oliviero Stock (IRST, Trento) Furio Suggi Liverani (Illy, Trieste) Piero Torasso (Univ. Torino) Franco Turini (Univ. Pisa) VIII Committees and Referees Referees Fabio Abbattista Fiorella de Rosis Michela Milano Liliana Ardissono Francesco M. Donini Daniele Nardi Edoardo Ardizzone Rino Falcone Fabio Paterno` Marco Baioletti Nicola Fanizzi Roberto Pedone Federico Bergenti Stefano Ferilli Maurizio Piaggio Monica Bianchini Paolo Frasconi Giovanni Pilato Guido Boella Cesare Furlanello Vito Pirrelli Marco Botta Aldo Gangemi Alessandra Raffaeta` Andrea Bracciali Laura Giordano Francesco Ricci Antonio Brogi Evelina Lamma Fabrizio Riguzzi Stefano Cagnoni Alberto Lavelli Andrea Roli Giovanna Castellano Alessandro Lenci Maria Simi Claudio Castellini Paolo Liberatore D. Theseider Dupre´ Antonio Chella Vincenzo Lombardo Paolo Torroni Massimo Coppola Donato Malerba Achille Varzi Rita Cucchiara Stefano Marcugini Gianni Vercelli Berardina De Carolis Simone Marinai Giuseppe De Giacomo Fabio Massacci Table of Contents Machine Learning A Monte Carlo Approach to Hard Relational Learning Problems . . . . . . . . . 1 A. Serra, A. Giordana Boosting as a Monte Carlo Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 R. Esposito, L. Saitta Stepwise Induction of Model Trees . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20 D. Malerba, A. Appice, A. Bellino, M. Ceci, D. Pallotta Evaluation Methods for Focused Crawling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33 A. Passerini, P. Frasconi, G. Soda A Knowledge-Based Neurocomputing Approach to Extract Refined Linguistic Rules from Data . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40 G. Castellano, A.M. Fanelli RBF Networks Exploiting Supervised Data in the Adaptation of Hidden Neuron Parameters . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51 P. Blonda, A. Baraldi, A. D’Addabbo, C. Tarantino, R. De Blasi A New Machine Learning Approach to Fingerprint Classification . . . . . . . . . 57 Y. Yao, G.L. Marcialis, M. Pontil, P. Frasconi, F. Roli An Automatic Accompanist Based on Hidden Markov Models . . . . . . . . . . . 64 N. Orio Resampling vs Reweighting in Boosting a Relational Weak Learner . . . . . . . 70 M. Botta Learning Logic Models for Automated Text Categorization . . . . . . . . . . . . . . 81 S. Ferilli, N. Fanizzi, G. Semeraro User Profiling in an Application of Electronic Commerce . . . . . . . . . . . . . . . . 87 F. Abbattista, N. Fanizzi, S. Ferilli, P. Lops, G. Semeraro Automated Reasoning Computing Spatial Similarity by Games . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99 M. Aiello An Analysis of Backjumping and Trivial Truth in Quantified Boolean Formulas Satisfiability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 111 E. Giunchiglia, M. Narizzano, A. Tacchella X Table of Contents Abduction with Penalization in Logic Programming . . . . . . . . . . . . . . . . . . . . 123 N. Leone, S. Perri, F. Scarcello Causal Simulation and Diagnosis of Dynamic Systems . . . . . . . . . . . . . . . . . . 135 A. Panati, D. Theseider Dupr´e Critical Parallelization of Local Search for MAX-SAT. . . . . . . . . . . . . . . . . . . 147 A. Roli, C. Blum Product Design as Product Revise: The Case of Chemical Compounds . . . . 159 S. Bandini, S. Manzoni Knowledge Representation Belief Revision and the Ramsey Test: A Solution . . . . . . . . . . . . . . . . . . . . . . . 165 L. Giordano, V. Gliozzi, N. Olivetti Supporting Product Configuration in a Virtual Store . . . . . . . . . . . . . . . . . . 176 D. Magro, P. Torasso Characterising Concept’s Properties in Ontologies . . . . . . . . . . . . . . . . . . . . . . 189 V.A.M. Tamma, T.J.M. Bench-Capon Multi-agent Systems Reasoning about Dynamic Scenes Using Autonomous Agents . . . . . . . . . . . . 201 P. Remagnino, G.A. Jones, N. Monekosso Tuning the Collaboration Level with Autonomous Agents: A Principled Theory . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212 R. Falcone, C. Castelfranchi The Definition of Legal Relations in a BDI Multiagent Framework . . . . . . . 225 G. Boella, L. Lesmo, L. Favali Reasoning about Actions in a Multiagent Domain . . . . . . . . . . . . . . . . . . . . . . 237 L. Giordano, A. Martelli, C. Schwind L*MASS: A Language for Situated Multi-agent Systems . . . . . . . . . . . . . . . . 249 S. Bandini, S. Manzoni, G. Pavesi, C. Simone An Interactive System for Generating Arguments in Deceptive Communication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 255 V. Carofiglio, C. Castelfranchi, F. de Rosis, R. Grassano An Agent Based Approach to Virtual Market Place Simulation . . . . . . . . . . 267 F. Neri Table of Contents XI Natural Language Processing Open Domain Question/Answering on the WEB . . . . . . . . . . . . . . . . . . . . . . . 273 B. Magnini, M. Negri, R. Prevete User-Adapted Image Descriptions from Annotated Knowledge Sources . . . . 285 M.T. Cassotta, B. De Carolis, F. de Rosis, C. Andreoli, M.L. De Cicco Wide Coverage Incremental Parsing by Learning Attachment Preferences . 297 F. Costa, V. Lombardo, P. Frasconi, G. Soda Flexible Parsing Architectures for NLP Applications . . . . . . . . . . . . . . . . . . . . 308 R. Basili, M.T. Pazienza, F.M. Zanzotto Information Presentation Adapted to the “User in Context” . . . . . . . . . . . . . 314 B. De Carolis, P. Di Maggio, S. Pizzutilo A Hybrid Approach to Optimize Feature Selection Process in Text Classification . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 320 R. Basili, A. Moschitti, M.T. Pazienza Perception, Vision, and Robotics Concepts for Anchoring in Robotics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 327 A. Bonarini, M. Matteucci, M. Restelli Symbolic and Conceptual Representation of Dynamic Scenes: Interpreting Situation Calculus on Conceptual Spaces . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 333 A. Chella, M. Frixione, S. Gaglio A Non-traditional Omnidirectional Vision System with Stereo Capabilities for Autonomous Robots . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344 G. Adorni, L. Bolognini, S. Cagnoni, M. Mordonini Architectural Scenes Reconstruction from Uncalibrated Photos and Map Based Model Knowledge . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 356 I. Infantino, A. Chella A SOM/ARSOM Hierarchy for the Description of Dynamic Scenes . . . . . . . 362 A. Chella, M.D. Guarino, R. Pirrone Planning and Scheduling A Constraint-Based Architecture for Flexible Support to Activity Scheduling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 369 A. Cesta, G. Cortellessa, A. Oddi, N. Policella, A. Susi Planning and Execution in Dynamic Environments . . . . . . . . . . . . . . . . . . . . . 382 R. Barruffi, M. Milano

See more

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.