Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003, Aalborg, Denmark, July 2-5, 2003. Proceedings (Lecture Notes in Computer Science (2711))

The refereed proceedings of the 7th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2003, held in Aalborg, Denmark in July 2003. The 47 revised full papers presented together with 2 invited survey articles were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on foundations of uncertainty concepts, Bayesian networks, algorithms for uncertainty inference, learning, decision graphs, belief functions, fuzzy sets, possibility theory, default reasoning, belief revision and inconsistency handling, logics, and tools. Since 1991, The European Conference On Symbolic And Quantitative Appr- Ches To Reasoning With Uncertainty (ecsqaru) Has Been A Major Forum For Advances In The Theory And Practice Of Reasoning And Decision Making Under - Certainty. The Scope Of Ecsqaru Is Wide And Includes, But Is Not Limited To, Fundamental Issues, Representation, Inference, Learning, And Decision Making In Qualitative And Numeric Paradigms. The ?rst Ecsqaru Conference (1991) Was Held In Marseilles, And Since Then It Has Been Held In Granada (1993), Fribourg (1995), Bonn (1997), London (1999) And Toulouse (2001). This Volume Contains The Papers That Were Presented At Ecsqaru 2003, Held At Aalborg University, Denmark, From July 2 To July 5, 2003. The Papers Went Through A Rigorous Reviewing Process: Three Program Committee Members Reviewed Each Paper Monitored By An Area Chair, Who Made A ?nal Recomm- Dation To The Program Co-chairs. In Addition To The Regular Presentations, The Technical Program For Ecsqaru 2003 Also Included Talks By Three Distingu- Hedinvitedspeakers:didierdubois,philippesmetsandjeroenvermunt.didier Dubois And Jeroen Vermunt Also Contributed To This Volume With Papers On The Subjects Of Their Talks. Invited Papers -- Qualitative Decision Rules Under Uncertainty -- Applications Of Latent Class Analysis In Social Science Research -- Foundations Of Uncertainty Concepts -- Transformations From Imprecise To Precise Probabilities -- A Representation Theorem And Applications -- On Modal Probability And Belief -- Bayesian Networks -- A Multi-layered Bayesian Network Model For Structured Document Retrieval -- Using Kappas As Indicators Of Strength In Qualitative Probabilistic Networks -- Qualitative Bayesian Networks With Logical Constraints -- Introducing Situational Influences In Qpns -- Classification Of Aerial Missions Using Hidden Markov Models -- Algorithms For Uncertainty Inference -- Dynamic Importance Sampling Computation In Bayesian Networks -- Morphing The Hugin And Shenoy–shafer Architectures -- Learning -- Characterization Of Inclusion Neighbourhood In Terms Of The Essential Graph: Upper Neighbours -- Approximating Conditional Mte Distributions By Means Of Mixed Trees --^ Effective Dimensions Of Partially Observed Polytrees -- Decision Graphs -- Applying Numerical Trees To Evaluate Asymmetric Decision Problems -- Mixed Influence Diagrams -- Decision Making Based On Sampled Disease Occurrence In Animal Herds -- Decision Network Semantics Of Branching Constraint Satisfaction Problems -- Belief Functions -- Web Of Trust: Applying Probabilistic Argumentation To Public-key Cryptography -- A Comparison Of Methods For Transforming Belief Function Models To Probability Models -- Fuzzy Matching And Evidential Reasoning -- Modeling Positive And Negative Pieces Of Evidence In Uncertainty -- Directed Evidential Networks With Conditional Belief Functions -- Computational-workload Based Binarization And Partition Of Qualitative Markov Trees For Belief Combination -- Risk Assessment In Drinking Water Production Using Belief Functions -- Algebraic Structures Related To The Consensus Operator For Combining Of Beliefs -- Fuzzy Sets --^ Inclusion Measures In Intuitionistic Fuzzy Set Theory -- A Random Set Model For Fuzzy Labels -- On The Induction Of Different Kinds Of First-order Fuzzy Rules -- Reasoning Under Vagueness Expressed By Nuanced Statements -- Possibility Theory -- Partial Lattice-valued Possibilistic Measures And Some Relations Induced By Them -- Coherent Conditional Probability As A Measure Of Uncertainty Of The Relevant Conditioning Events -- Decision Trees And Qualitative Possibilistic Inference: Application To The Intrusion Detection Problem -- Default Reasoning -- Multi-valued Conditional Events Avoid Lewis’ Triviality Result -- Solving Semantic Problems With Odd-length Cycles In Argumentation -- On The Relation Between Reiter’s Default Logic And Its (major) Variants -- Belief Revision And Inconsistency Handling -- Probable Consistency Checking For Sets Of Propositional Clauses -- On Iterated Revision In The Agm Framework -- Epistemic Logics For Information Fusion -- Logics --^ Propositional Fusion Rules -- Preferential Logics For Reasoning With Graded Uncertainty -- Paraconsistent Reasoning Via Quantified Boolean Formulas, Ii: Circumscribing Inconsistent Theories -- Modal (logic) Paraconsistency -- A Formal Framework For Handling Conflicting Desires -- A Sequent Calculus For Skeptical Reasoning In Predicate Default Logic (extended Abstract) -- Probabilistic Lexicographic Entailment Under Variable-strength Inheritance With Overriding -- Demo Papers -- Abel: An Interactive Tool For Probabilistic Argumentative Reasoning -- The Hugin Tool For Learning Bayesian Networks. Thomas Dyhre Nielsen, Nevin Lianwen Zhang (eds.). Includes Bibliographical References And Index. Frontmatter Invited Papers Qualitative Decision Rules under Uncertainty Applications of Latent Class Analysis in Social Science Research Foundations of Uncertainty Concepts Transformations from Imprecise to Precise Probabilities A Representation Theorem and Applications On Modal Probability and Belief Bayesian Networks A Multi-layered Bayesian Network Model for Structured Document Retrieval Using Kappas as Indicators of Strength in Qualitative Probabilistic Networks Qualitative Bayesian Networks with Logical Constraints Introducing Situational Influences in QPNs Classification of Aerial Missions Using Hidden Markov Models Algorithms for Uncertainty Inference Dynamic Importance Sampling Computation in Bayesian Networks Morphing the Hugin and Shenoy--Shafer Architectures Learning Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Upper Neighbours Approximating Conditional MTE Distributions by Means of Mixed Trees Effective Dimensions of Partially Observed Polytrees Decision Graphs Applying Numerical Trees to Evaluate Asymmetric Decision Problems Mixed Influence Diagrams Decision Making Based on Sampled Disease Occurrence in Animal Herds Decision Network Semantics of Branching Constraint Satisfaction Problems Belief Functions Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography A Comparison of Methods for Transforming Belief Function Models to Probability Models Fuzzy Matching and Evidential Reasoning Modeling Positive and Negative Pieces of Evidence in Uncertainty Directed Evidential Networks with Conditional Belief Functions Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination Risk Assessment in Drinking Water Production Using Belief Functions Algebraic Structures Related to the Consensus Operator for Combining of Beliefs Fuzzy Sets Inclusion Measures in Intuitionistic Fuzzy Set Theory A Random Set Model for Fuzzy Labels On the Induction of Different Kinds of First-Order Fuzzy Rules Reasoning under Vagueness Expressed by Nuanced Statements Possibility Theory Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them Coherent Conditional Probability as a Measure of Uncertainty of the Relevant Conditioning Events Decision Trees and Qualitative Possibilistic Inference: Application to the Intrusion Detection Problem Default Reasoning Multi-valued Conditional Events Avoid Lewis' Triviality Result Solving Semantic Problems with Odd-Length Cycles in Argumentation On the Relation between Reiter's Default Logic and Its (Major) Variants Belief Revision and Inconsistency Handling Probable Consistency Checking for Sets of Propositional Clauses On Iterated Revision in the AGM Framework Epistemic Logics for Information Fusion Logics Propositional Fusion Rules Preferential Logics for Reasoning with Graded Uncertainty Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories Modal (Logic) Paraconsistency A Formal Framework for Handling Conflicting Desires A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract) Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding Demo Papers ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning The Hugin Tool for Learning Bayesian Networks Backmatter Symbolic and Quantitative Approaches to Reasoning with Uncertainty: 7th European Conference, ECSQARU 2003 Aalborg, Denmark, July 2-5, 2003 Proceedings Author: Thomas Dyhre Nielsen, Nevin Lianwen Zhang Published by Springer Berlin Heidelberg ISBN: 978-3-540-40494-1 DOI: 10.1007/b11792 Table of Contents: Qualitative Decision Rules under Uncertainty Applications of Latent Class Analysis in Social Science Research Transformations from Imprecise to Precise Probabilities A Representation Theorem and Applications On Modal Probability and Belief A Multi-layered Bayesian Network Model for Structured Document Retrieval Using Kappas as Indicators of Strength in Qualitative Probabilistic Networks Qualitative Bayesian Networks with Logical Constraints Introducing Situational Influences in QPNs Classification of Aerial Missions Using Hidden Markov Models Dynamic Importance Sampling Computation in Bayesian Networks Morphing the Hugin and Shenoy–Shafer Architectures Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Upper Neighbours Approximating Conditional MTE Distributions by Means of Mixed Trees Effective Dimensions of Partially Observed Polytrees Applying Numerical Trees to Evaluate Asymmetric Decision Problems Mixed Influence Diagrams Decision Making Based on Sampled Disease Occurrence in Animal Herds Decision Network Semantics of Branching Constraint Satisfaction Problems Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography