AI*IA 99 : advances in artificial intelligence : 6th Congress of the Italian Association for Artificial Intelligence, Bologna, Italy, September 14-17, 1999 : selected papers

400 Pages·2000·8.8 MB·English

by  Associazione italiana per l'intelligenza artificiale. Congress (6th : 1999 : Bologna, Italy)

3
Berlin
Heidelberg
NewYork
Barcelona
HongKong
London
Milan
Paris
Singapore
Tokyo
Evelina Lamma Paola Mello (Eds.)
∗
AI IA 99:
Advances in
Artificial Intelligence
6th Congress of Italian Association
for Artificial Intelligence
Bologna, Italy, September 14-17, 1999
Selected Papers
1 3
SeriesEditors
JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA
Jo¨rgSiekmann,UniversityofSaarland,Saarbru¨cken,Germany
VolumeEditors
EvelinaLamma
PaolaMello
UniversityofBologna
DEIS
VialeRisorgimento,2,40136Bologna,Italy
E-mail:{elamma/pmello}@deis.unibo.it
Cataloging-in-PublicationDataappliedfor
DieDeutscheBibliothek-CIP-Einheitsaufnahme
Advancesinartificialintelligence:Bologna,Italy,September14-
17,1999;selectedpapers/EvelinaLamma;PaolaMello(ed.).-
Berlin;Heidelberg;NewYork;Barcelona;HongKong;London;
Milan;Paris;Singapore;Tokyo:Springer,2000
(...congressoftheItalianAssociationforArtificial
Intelligence,AIIA...;6)
(Lecturenotesincomputerscience;Vol.1792:Lecturenotesin
artificialintelligence)
ISBN3-540-67350-4
CRSubjectClassification(1991):I.2
ISBN3-540-67350-4Springer-VerlagBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare
liableforprosecutionundertheGermanCopyrightLaw.
Springer-VerlagisacompanyintheBertelsmannSpringerpublishinggroup.
©Springer-VerlagBerlinHeidelberg2000
PrintedinGermany
Typesetting:Camera-readybyauthor
Printedonacid-freepaper SPIN10720068 06/3142 543210
Preface
This book contains the extended versions of 33 papers selected among those
originally presented at the Sixth Congress of the Italian Association for Artificial
Intelligence (AI*IA). The congress of the AI*IA is the most relevant Italian event in
the field of Artificial Intelligence, and has been receiving much attention from many
researchers and practitioners of different countries. The sixth congress was held in
Bologna, 14-17 September 1999, and was organized in twelve scientific sessions and
one demo session.
The papers here collected report on significant work carried out in different areas
of artificial intelligence, in Italy and other countries. Areas such as automated
reasoning, knowledge representation, planning, and machine learning continue to be
thoroughly investigated. The collection also shows a growing interest in the field of
multi-agent systems, perception and robotics, and temporal reasoning.
Many people contributed in different ways to the success of the congress and to
this volume. First of all, the members of the program committee who efficiently
handled the reviewing of the 64 papers submitted to the congress, and later on the
reviewing of the 41 papers submitted for publication in this volume. They provided
three reviews for each manuscript, by relying on the support of valuable additional
reviewers. The members of the organizing committee, namely Rosangela Barruffi,
Paolo Bellavista, Anna Ciampolini, Marco Cremonini, Enrico Denti, Marco
Gavanelli, Mauro Gaspari, Michela Milano, Rebecca Montanari, Andrea Omicini,
Fabrizio Riguzzi, Cesare Stefanelli, and Paolo Torroni, worked hardy supporting at
solving problems during and after the congress.
We wish to thank Giovanni Soda who, as director of AI*IA Bulletin, helped us in
promoting the congress, and Maurelio Boari for encouraging us in organizing the
event.
The financial support of the Fondazione CARISBO, Bologna, Italy, for partially
covering the publication cost of this book, is acknowledged.
Finally, a special thank to our families and husbands, Claudio and Paolo, who
have made our life and work easier.
January 2000
Evelina Lamma and Paola Mello
Program Chairs
Evelina Lamma, Paola Mello (Università di Bologna)
Program Committee
Giovanni Adorni (Università di Parma)
Andrea Bonarini (Politecnico di Milano)
Ernesto Burattini (CNR - Napoli)
Luigia Carlucci Aiello (Università di Roma "La Sapienza")
Riccardo Cassinis (Università di Brescia)
Amedeo Cesta (CNR - Roma)
Mauro Di Manzo (Università di Genova)
Floriana Esposito (Università di Bari)
Salvatore Gaglio (Università di Palermo)
Fausto Giunchiglia (Università di Trento)
Liliana Ironi (CNR - Pavia)
Leonardo Lesmo (Università di Torino)
Patrizia Marti (Università di Siena)
Gianni Morra (Centro Ricerche FIAT, Orbassano)
Lorenza Saitta (Università di Torino)
Giorgio Satta (Università di Padova)
Marco Schaerf (Università di Roma "La Sapienza")
Roberto Serra (Montecatini S.p.A., Ravenna)
Carlo Tasso (Università di Udine)
Franco Turini (Università di Pisa)
Organization VII
Referees
Adorni Giovanni Giunchiglia Enrico
Amigoni Francesco
Andretta Massimo Liberatore Paolo
Armando Alessandro
Maccione Maria Grazia
Battiti Roberto Malerba Donato
Bellazzi Riccardo Manco Giuseppe
Benedetti Marco Melucci Massimo
Bergamaschi Sonia Milani Alfredo
Bergenti Federico Milano Michela
Bianchi Dario
Blanzieri Enrico Nardi Daniele
Bonarini Andrea
Bracciali Andrea Oddi Angelo
Brogi Antonio Omicini Andrea
Cagnoni Stefano Pianesi Fabio
Cappelli Amedeo Pilato Giovanni
Carlo Ferrari Poggi Agostino
Castelfranchi Cristiano
Castellini Claudio Quenda Valter
Cattoni Roldano
Chella Antonio Raffaetà Alessandra
Contiero Simone Ramoni Marco
Cossentino Massimo Riguzzi Fabrizio
Roli Andrea
D’Aloisi Daniela
Damiano Rossana Secco Suardo Gian Maria
Danieli Morena Semeraro Giovanni
De Carolis Simi Maria
De Falco Ivanoe Suggi Liverani Furio
De Rosis
Di Gregorio Salvatore Tacchella Armando
Terenziani Paolo
Fabio Massacci
Falcone Rino Vitabile Salvatore
Fanelli Anna Maria Vivo Giulio
Ferilli Stefano
Focacci Filippo Zaccaria Renato
Zanardo Alberto
Giordano Laura Zanichelli Francesco
Table of Contents
Knowledge Representation
Generalized Default Logic: Minimal Knowledge, Autoepistemic, and Default
Reasoning Reconciled...................................................................................................1
D. Nardi, R. Rosati
A Description Logic for Image Retrieval....................................................................13
E. Di Sciascio, F.M. Donini, M. Mongiello
Certainty-Factor-Like Structures in Bayesian Networks.............................................25
P. Lucas
Sensitivity Analysis for Threshold Decision Making with Bayesian Belief Networks..37
L.C. van der Gaag, V.M.H. Coupé
Automated Reasoning
Abduction with Negation as Failure for Active and Reactive Rules...........................49
F. Sadri, F. Toni
An Implementation for Abductive Logic Agents........................................................61
A. Ciampolini, E. Lamma, P. Mello, C. Stefanelli, P. Torroni
Solving the Satisfiability Problem through Boolean Networks...................................72
M. Milano, A. Roli
Applying the Davis-Putnam Procedure to Non-clausal Formulas...............................84
E. Giunchiglia, R. Sebastiani
The SAT-Based Approach for Classical Modal Logics..............................................95
E. Giunchiglia, F. Giunchiglia, A. Tacchella
Local Search Techniques for Disjunctive Logic Programs.......................................107
N. Leone, S. Perri, P. Rullo
Labelled Tableaux for Non-normal Modal Logics....................................................119
G. Governatori, A. Luppi
Temporal and Qualitative Reasoning
Pairing Transitive Closure and Reduction to Efficiently Reason about Partially
Ordered Events..........................................................................................................131
M. Franceschet, A. Montanari
TimeNetManager - A Software Tool for Generating Random Temporal Networks...143
A. Cesta, A. Oddi, A. Susi
A Fuzzy Extension of Allen’s Interval Algebra.........................................................155
S. Badaloni, M. Giacomin
Non Binary CSPs and Heuristics for Modeling and Diagnosing Dynamic Systems....166
A. Panati
X Table of Contents
Machine Learning, Data Mining and Theory Revision
Relational Learning: Hard Problems and Phase Transitions.....................................178
M. Botta, A. Giordana, L. Saitta, M. Sebag
A Machine Learning Approach to Web Mining........................................................190
F. Esposito, D. Malerba, L. Di Pace, P. Leo
Experiences with a Logic-Based Knowledge Discovery Support Environment.......202
F. Giannotti, G. Manco, D. Pedreschi, F. Turini
Conceptual Change in Learning Naive Physics:
The Computational Model as a Theory Revision Process ........................................214
F. Esposito, G. Semeraro, N. Fanizzi, S. Ferilli
Using the Hermite Regression Formula to Design a Neural Architecture with
Automatic Learning of the “Hidden” Activation Functions......................................226
S. Gaglio, G. Pilato, F. Sorbello, G. Vassallo
Natural Language and WWW Interfaces
XIG: Generating from Interchange Format Using Mixed Representations...............238
E. Pianta, L.M. Tovena
Natural Language Access to Public Administration Data:
The TAMIC-P System...............................................................................................249
C. Bagnasco, A. Cappelli, B. Magnini, D. Zamatteo
On the Application of Personalization Techniques to News Servers on the WWW..261
L. Ardissono, L. Console, I. Torre
Multi-agent Systems
Levels of Delegation and Levels of Adoption
as the Basis for Adjustable Autonomy......................................................................273
R. Falcone, C. Castelfranchi
Notes on Formalizing Coordination..........................................................................285
A. Agostini
Autonomous Spacecraft Resource Management: A Multi-agent Approach..............297
N. Monekosso, P. Remagnino
Multi-agent Scene Interpretation...............................................................................309
P. Remagnino, J. Orwell, G.A. Jones
An algorithm for Recruitment of Agents in Agency Design.....................................321
F. Amigoni, M. Villa
Perception and Robotics
Towards a Conceptual Representation of Actions.....................................................333
A. Chella, M. Frixione, S. Gaglio
Cellular Automata Based Inverse Perspective Transform as a Tool for
Indoor Robot Navigation...........................................................................................345
G. Adorni, S. Cagnoni, M. Mordonini
Planning and Scheduling
On Plan Adaptation through Planning Graph Analysis.............................................356
A. Gerevini, I. Serina
Real-Time Motion Planning in Autonomous Vehicles: A Hybrid Approach............368
M. Piaggio, A. Sgorbissa
Table of Contents XI
Solving Employee Timetabling Problems by Generalized Local Search..................380
A. Schaerf, A. Meisels
Author Index............................................................................................................391