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

407 Pages·2001·7.24 MB·English

by  A. Giordana (auth.), Floriana Esposito (eds.)

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