Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings PDF
Preview Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings
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
The list of books you might like
