Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6-8, 2005. Proceedings

Serafín Moral (auth.), Lluís Godo (eds.)3540273263, 9783540273264

These are the proceedings of the 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2005, held in Barcelona (Spain), July 6–8, 2005. The ECSQARU conferences are biennial and have become a major forum for advances in the theory and practice of r- soning under uncertainty. The ?rst ECSQARU conference was held in Marseille (1991), and after in Granada (1993), Fribourg (1995), Bonn (1997), London (1999), Toulouse (2001) and Aalborg (2003). The papers gathered in this volume were selected out of 130 submissions, after a strict review process by the members of the Program Committee, to be presented at ECSQARU 2005. In addition, the conference included invited lectures by three outstanding researchers in the area, Seraf´ ?n Moral (Imprecise Probabilities), Rudolf Kruse (Graphical Models in Planning) and J´ erˆ ome Lang (Social Choice). Moreover, the application of uncertainty models to real-world problems was addressed at ECSQARU 2005 by a special session devoted to s- cessful industrial applications, organized by Rudolf Kruse. Both invited lectures and papers of the special session contribute to this volume. On the whole, the programme of the conference provided a broad, rich and up-to-date perspective of the current high-level research in the area which is re?ected in the contents of this volume. IwouldliketowarmlythankthemembersoftheProgramCommitteeandthe additional referees for their valuable work, the invited speakers and the invited session organizer.

---

Table of contents :
Front Matter….Pages –
Imprecise Probability in Graphical Models: Achievements and Challenges….Pages 1-2
Knowledge-Based Operations for Graphical Models in Planning….Pages 3-14
Some Representation and Computational Issues in Social Choice….Pages 15-26
Nonlinear Deterministic Relationships in Bayesian Networks….Pages 27-38
Penniless Propagation with Mixtures of Truncated Exponentials….Pages 39-50
Approximate Factorisation of Probability Trees….Pages 51-62
Abductive Inference in Bayesian Networks: Finding a Partition of the Explanation Space….Pages 63-75
Alert Systems for Production Plants: A Methodology Based on Conflict Analysis….Pages 76-87
Hydrologic Models for Emergency Decision Support Using Bayesian Networks….Pages 88-99
Probabilistic Graphical Models for the Diagnosis of Analog Electrical Circuits….Pages 100-110
Qualified Probabilistic Predictions Using Graphical Models….Pages 111-122
A Decision-Based Approach for Recommending in Hierarchical Domains….Pages 123-135
Scalable, Efficient and Correct Learning of Markov Boundaries Under the Faithfulness Assumption….Pages 136-147
Discriminative Learning of Bayesian Network Classifiers via the TM Algorithm….Pages 148-160
Constrained Score+(Local)Search Methods for Learning Bayesian Networks….Pages 161-173
On the Use of Restrictions for Learning Bayesian Networks….Pages 174-185
Foundation for the New Algorithm Learning Pseudo-Independent Models….Pages 186-197
Optimal Threshold Policies for Operation of a Dedicated-Platform with Imperfect State Information – A POMDP Framework….Pages 198-208
APPSSAT: Approximate Probabilistic Planning Using Stochastic Satisfiability….Pages 209-220
Racing for Conditional Independence Inference….Pages 221-232
Causality, Simpson’s Paradox, and Context-Specific Independence….Pages 233-243
A Qualitative Characterisation of Causal Independence Models Using Boolean Polynomials….Pages 244-256
On the Notion of Dominance of Fuzzy Choice Functions and Its Application in Multicriteria Decision Making….Pages 257-268
An Argumentation-Based Approach to Multiple Criteria Decision….Pages 269-280
Algorithms for a Nonmonotonic Logic of Preferences….Pages 281-292
Expressing Preferences from Generic Rules and Examples – A Possibilistic Approach Without Aggregation Function….Pages 293-304
On the Qualitative Comparison of Sets of Positive and Negative Affects….Pages 305-316
Symmetric Argumentation Frameworks….Pages 317-328
Evaluating Argumentation Semantics with Respect to Skepticism Adequacy….Pages 329-340
Logic of Dementia Guidelines in a Probabilistic Argumentation Framework….Pages 341-352
Argument-Based Expansion Operators in Possibilistic Defeasible Logic Programming: Characterization and Logical Properties….Pages 353-365
Gradual Valuation for Bipolar Argumentation Frameworks….Pages 366-377
On the Acceptability of Arguments in Bipolar Argumentation Frameworks….Pages 378-389
A Modal Logic for Reasoning with Contradictory Beliefs Which Takes into Account the Number and the Reliability of the Sources….Pages 390-401
A Possibilistic Inconsistency Handling in Answer Set Programming….Pages 402-414
Measuring the Quality of Uncertain Information Using Possibilistic Logic….Pages 415-426
Remedying Inconsistent Sets of Premises….Pages 427-439
Measuring Inconsistency in Requirements Specifications….Pages 440-451
Belief Revision of GIS Systems: The Results of REV!GIS….Pages 452-464
Multiple Semi-revision in Possibilistic Logic….Pages 465-476
A Local Fusion Method of Temporal Information….Pages 477-488
Mediation Using m -States….Pages 489-500
Combining Multiple Knowledge Bases by Negotiation: A Possibilistic Approach….Pages 501-513
Conciliation and Consensus in Iterated Belief Merging….Pages 514-526
An Argumentation Framework for Merging Conflicting Knowledge Bases: The Prioritized Case….Pages 527-538
Probabilistic Transformations of Belief Functions….Pages 539-551
Contextual Discounting of Belief Functions….Pages 552-562
Bilattice-Based Squares and Triangles….Pages 563-575
A New Algorithm to Compute Low T-Transitive Approximation of a Fuzzy Relation Preserving Symmetry. Comparisons with the T-Transitive Closure….Pages 576-586
Computing a Transitive Opening of a Reflexive and Symmetric Fuzzy Relation….Pages 587-599
Generating Fuzzy Models from Deep Knowledge: Robustness and Interpretability Issues….Pages 600-612
Analysis of the TaSe-II TSK-Type Fuzzy System for Function Approximation….Pages 613-624
Non-deterministic Semantics for Paraconsistent C -Systems….Pages 625-637
Multi-valued Model Checking in Dense-Time….Pages 638-649
Brun Normal Forms for Co-atomic Łukasiewicz Logics….Pages 650-661
Poset Representation for Gödel and Nilpotent Minimum Logics….Pages 662-674
Possibilistic Inductive Logic Programming….Pages 675-686
Query Answering in Normal Logic Programs Under Uncertainty….Pages 687-700
A Logical Treatment of Possibilistic Conditioning….Pages 701-713
A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability….Pages 714-725
A Logic with Coherent Conditional Probabilities….Pages 726-736
Probabilistic Description Logic Programs….Pages 737-749
Coherent Restrictions of Vague Conditional Lower-Upper Probability Extensions….Pages 750-762
Type Uncertainty in Ontologically-Grounded Qualitative Probabilistic Matching….Pages 763-774
Some Theoretical Properties of Conditional Probability Assessments….Pages 775-787
Unifying Logical and Probabilistic Reasoning….Pages 788-799
Possibility Theory for Reasoning About Uncertain Soft Constraints….Pages 800-811
About the Processing of Possibilistic and Probabilistic Queries….Pages 812-823
Conditional Deduction Under Uncertainty….Pages 824-835
Heterogeneous Spatial Reasoning….Pages 836-847
A Notion of Comparative Probabilistic Entropy Based on the Possibilistic Specificity Ordering….Pages 848-859
Consonant Random Sets: Structure and Properties….Pages 860-871
Comparative Conditional Possibilities….Pages 872-883
Second-Level Possibilistic Measures Induced by Random Variables….Pages 884-895
Hybrid Bayesian Estimation Trees Based on Label Semantics….Pages 896-907
Selective Gaussian Naïve Bayes Model for Diffuse Large-B-Cell Lymphoma Classification: Some Improvements in Preprocessing and Variable Elimination….Pages 908-920
Towards a Definition of Evaluation Criteria for Probabilistic Classifiers….Pages 921-931
Methods to Determine the Branching Attribute in Bayesian Multinets Classifiers….Pages 932-943
Qualitative Inference in Possibilistic Option Decision Trees….Pages 944-955
Partially Supervised Learning by a Cr edal EM Approach….Pages 956-967
Default Clustering from Sparse Data Sets….Pages 968-979
New Technique for Initialization of Centres in TSK Clustering-Based Fuzzy Systems….Pages 980-991
Learning Methods for Air Traffic Management….Pages 992-1001
Molecular Fragment Mining for Drug Discovery….Pages 1002-1013
Automatic Selection of Data Analysis Methods….Pages 1014-1025
Back Matter….Pages –