Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

951 Pages·2009·13.33 MB·English

by  Isabelle Bloch (auth.), Claudio Sossai, Gaetano Chemello (eds.)

Lecture Notes in Artificial Intelligence 5590
EditedbyR.Goebel,J.Siekmann,andW.Wahlster
Subseries of Lecture Notes in Computer Science
Claudio Sossai Gaetano Chemello (Eds.)
Symbolic and Quantitative
Approaches to Reasoning
with Uncertainty
10th European Conference, ECSQARU 2009
Verona, Italy, July 1-3, 2009
Proceedings
1 3
SeriesEditors
RandyGoebel,UniversityofAlberta,Edmonton,Canada
JörgSiekmann,UniversityofSaarland,Saarbrücken,Germany
WolfgangWahlster,DFKIandUniversityofSaarland,Saarbrücken,Germany
VolumeEditors
ClaudioSossai
ISIB-CNR
CorsoStatiUniti4
35127Padova,Italy
E-mail:[email protected]
GaetanoChemello
ISIB-CNR
CorsoStatiUniti,4
35127Padova,Italy
E-mail:[email protected]
LibraryofCongressControlNumber:Appliedfor
CRSubjectClassification(1998):I.2,F.4.1,F.3,F.4,I.2.3,I.2.4
LNCSSublibrary:SL7–ArtificialIntelligence
ISSN 0302-9743
ISBN-10 3-642-02905-1SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-642-02905-9SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
springer.com
©Springer-VerlagBerlinHeidelberg2009
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper SPIN:12702138 06/3180 543210
Preface
These are the proceedings of the 10th European Conference on Symbolic and
QuantitativeApproachesto Reasoningwith Uncertainty,ECSQARU2009,held
in Verona (Italy), July 1–3, 2009.
The biennial ECSQARU conferences are a major forum for advances in the
theoryandpracticeofreasoningunderuncertainty.ThefirstECSQARUconfer-
ence was held in Marseille (1991), and since then it has been held in Granada
(1993),Fribourg(1995),Bonn(1997),London(1999),Toulouse(2001),Aalborg
(2003), Barcelona (2005) and Hammamet (2007).
The 76 papers gathered in this volume were selected out of 118 submissions
from 34 countries, after a rigorous review process. In addition, the conference
included invited lectures by three outstanding researchers in the area: Isabelle
Bloch (“Fuzzy and bipolar mathematical morphology, applications in spatial
reasoning”), Petr Cintula (“From (deductive) fuzzy logic to (logic-based) fuzzy
mathematics”),andDanieleMundici(“Conditionalsandindependenceinmany-
valued logics”).
Twospecialsessionswerepresentedduringtheconference:“Conditioning,in-
dependence,inference”(organizedbyGiulianellaColettiandBarbaraVantaggi)
and“Mathematicalfuzzylogic”(organizedbyStefanoAguzzoli,BrunellaGerla,
Llu´ıs Godo, Vincenzo Marra, Franco Montagna)
On the whole, the program of the conference provided a broad, rich and
up-to-date perspective of the current high-level research in the area which is
reflected in the contents of this volume.
We would like to thank the members of the Program Committee, the ad-
ditional reviewers, the invited speakers, the organizers of the special sessions
andthe members of the OrganizingCommittee for their supportin making this
conference successful. We also thank the creators and maintainers of the free
conference management system EasyChair (http://www.easychair.org).
Finally, we gratefully acknowledge the sponsoring institutions for their sup-
port.
April 2009 Claudio Sossai
Gaetano Chemello
Organization
ECSQARU2009wasorganizedbytheInstituteofBiomedicalEngineeringofthe
Italian NationalResearchCouncil (ISIB-CNR, Padova)and by the Department
of Computer Science of the University of Verona.
Executive Committee
Conference Chair Claudio Sossai (ISIB-CNR, Italy)
Organizing Committee Paolo Bison (ISIB-CNR, Italy)
Claudio Cavaggion(ISIB-CNR, Italy)
Gaetano Chemello (ISIB-CNR, Italy)
Matteo Cristani (University of Verona, Italy)
Elisabetta Di Prisco (Ecsqaru Verona 2009, Italy)
Paolo Fiorini (University of Verona, Italy)
Massimiliano Giacomin (University of Brescia, Italy)
Gianni Perbellini (Ecsqaru Verona 2009, Italy)
Silvia Zoletto (ISIB-CNR, Italy)
Program Committee
Stefano Aguzzoli (Italy) Marek Druzdzel (USA)
Alain Appriou (France) Didier Dubois (France)
Nahla Ben Amor (Tunisia) Zied Elouedi (Tunisia)
Boutheina Ben Yaghlane (Tunisia) Francesc Esteva (Spain)
Salem Benferhat (France) Paolo Fiorini (Italy)
Philippe Besnard (France) Hector Geffner (Spain)
Isabelle Bloch (France) Brunella Gerla (Italy)
Gerd Brewka (Germany) Massimiliano Giacomin (Italy)
Claudette Cayrol(France) Angelo Gilio (Italy)
Gaetano Chemello (Italy) Llu´ıs Godo (Spain)
Carlos Chesn˜evar (Argentina) Michel Grabisch (France)
Laurence Cholvy (France) Petr Ha´jek (Czech Republic)
Agata Ciabattoni (Austria) Andreas Herzig (France)
Giulianella Coletti (Italy) Eyke Hu¨llermeier (Germany)
Fabio Cozman (Brazil) Anthony Hunter (UK)
Fabio Cuzzolin (UK) Katsumi Inoue (Japan)
Lu´ıs Miguel de Campos (Spain) Gabriele Kern-Isberner (Germany)
Gert de Cooman (Belgium) Ivan Kramosil (Czech Republic)
James P. Delgrande (Canada) Rudolf Kruse (Germany)
Thierry Denoeux (France) J´erˆome Lang (France)
Antonio di Nola (Italy) Pedro Larran˜aga (Spain)
VIII Organization
Jonathan Lawry (UK) David Poole (Canada)
Churn-Jung Liau (Taiwan) Henri Prade (France)
Paolo Liberatore (Italy) Maria Rifqi (France)
Weiru Liu (UK) Alessandro Saffiotti (Sweden)
Thomas Lukasiewicz (Italy) Sandra Sandri (Spain)
Pierre Marquis (France) Torsten Schaub (Germany)
Vincenzo Marra (Italy) Romano Scozzafava (Italy)
Khaled Mellouli (Tunisia) Prakash P. Shenoy (USA)
Lu´ıs Moniz Pereira (Portugal) Guillermo Simari (Argentina)
Franco Montagna (Italy) Enric Trillas (Spain)
Seraf´ın Moral (Spain) LindavanderGaag(TheNetherlands)
Thomas Dyhre Nielsen (Denmark) Leon van der Torre (The Netherlands)
Kristian G. Olesen (Denmark) Barbara Vantaggi (Italy)
Ewa Orlowska (Poland) Emil Weydert (Luxembourg)
Odile Papini (France) Mary-Anne Williams (Australia)
Simon Parsons (USA) Nevin L. Zhang (Hong Kong, China)
Ram´on Pino-P´erez(Venezuela)
Additional Reviewers
Teresa Alsinet Petri Kontkanen
Mohamed Anis Bach Tobji Sylvain Lagrue
Marco Baioletti Ada Lettieri
Philippe Balbiani Jianbing Ma
Matteo Bianchi Enrico Marchioni
Martin Caminada Christophe Marsala
Andrea Capotorti Marie-H´el`ene Masson
Walter Carnielli Christian Moewes
Federico Cerutti Daniele Mundici
Tao Chen Pascal Nicolas
Sylvie Coste-Marquis David Picado Muin˜o
Andrei Doncescu Gabriella Pigozzi
Phan Minh Dung Valentina Poggioni
Tommaso Flaminio Benjamin Quost
Alfredo Gabaldon Thorsteinn Rognvaldsson
Fabio Gadducci Pavel Rusnok
Cipriano Galindo Georg Ruß
Pere Garc´ıa-Calv´es Chiaki Sakama
Martin Gebser Matthias Steinbrecher
Daniele Genito Umberto Straccia
Herv´e Glotin Carlos Uzca´tegui
Joanna Golinska-Pilarek Yi Wang
Stijn Heymans Gregory Wheeler
Andrzej Hildebrandt Roland Winkler
Szymon Jaroszewicz Eric Wu¨rbel
Reinhard Kahle Anbu Yue
Organization IX
Sponsoring Institutions
Institute of Biomedical Engineering (ISIB-CNR), Padova
Department of Computer Science, University of Verona
Fondazione Arena di Verona
Table of Contents
Invited Talks
Fuzzy and Bipolar Mathematical Morphology, Applications in Spatial
Reasoning....................................................... 1
Isabelle Bloch
From (Deductive) Fuzzy Logic to (Logic-Based) Fuzzy Mathematics .... 14
Petr Cintula
Conditionals and Independence in Many-Valued Logics ............... 16
Daniele Mundici
Algorithms for Uncertain Inference
Inference from Multinomial Data Based on a MLE-Dominance
Criterion........................................................ 22
Alessio Benavoli and Cassio P. de Campos
Local Computation Schemes with Partially Ordered Preferences ....... 34
H´el`ene Fargier and Nic Wilson
Inference in Hybrid BayesianNetworks with Deterministic Variables.... 46
Prakash P. Shenoy and James C. West
Argumentation Systems
Extracting the Core of a PersuasionDialog to Evaluate Its Quality..... 59
Leila Amgoud and Florence Dupin de Saint-Cyr
On Revising Argumentation-Based Decision Systems ................. 71
Leila Amgoud and Srdjan Vesic
Encompassing Attacks to Attacks in Abstract Argumentation
Frameworks ..................................................... 83
Pietro Baroni, Federico Cerutti, Massimiliano Giacomin, and
Giovanni Guida
Social Argument Justification: Some Mechanisms and Conditions for
Their Coincidence................................................ 95
Gustavo Adri´an Bodanza and Marcelo Roberto Auday
Dynamics in Argumentation with Single Extensions: Abstraction
Principles and the Grounded Extension............................. 107
Guido Boella, Souhila Kaci, and Leendert van der Torre
XII Table of Contents
An Algorithm for Generating Arguments in Classical Predicate Logic... 119
Vasiliki Efstathiou and Anthony Hunter
Modelling Argument Accrual in Possibilistic Defeasible Logic
Programming.................................................... 131
Mauro J. Go´mez Lucero, Carlos I. Chesn˜evar, and
Guillermo R. Simari
Generalized Abstract Argumentation: Handling Arguments in FOL
Fragments ...................................................... 144
Mart´ın O. Moguillansky, Nicola´s D. Rotstein,
Marcelo A. Falappa, and Guillermo R. Simari
Bayesian Networks
Probability Density Estimation by Perturbing and Combining Tree
Structured Markov Networks ...................................... 156
Sourour Ammar, Philippe Leray, Boris Defourny, and
Louis Wehenkel
Integrating Ontological Knowledge for Iterative Causal Discovery and
Visualization .................................................... 168
Montassar Ben Messaoud, Philippe Leray, and Nahla Ben Amor
Binary Probability Trees for Bayesian Networks Inference ............. 180
Andr´es Cano, Manuel Go´mez-Olmedo, and Seraf´ın Moral
Marginals of DAG-Isomorphic Independence Models.................. 192
Peter R. de Waal
The Probabilistic Interpretation of Model-Based Diagnosis ............ 204
Ildiko´ Flesch and Peter J.F. Lucas
Simplifying Learning in Non-repetitive Dynamic Bayesian Networks .... 216
Ildiko´ Flesch and Eric O. Postma
Surprise-BasedQualitative Probabilistic Networks.................... 228
Zina M. Ibrahim, Ahmed Y. Tawfik, and Alioune Ngom
Maximum Likelihood Learning of Conditional MTE Distributions ...... 240
Helge Langseth, Thomas D. Nielsen, Rafael Rum´ı, and
Antonio Salmer´on
Belief Functions
A Generalization of the Pignistic Transform for Partial Bet............ 252
Thomas Burger and Alice Caplier