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))

This book constitutes 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. Front Matter....Pages - Qualitative Decision Rules under Uncertainty....Pages 1-21 Applications of Latent Class Analysis in Social Science Research....Pages 22-36 Transformations from Imprecise to Precise Probabilities....Pages 37-49 A Representation Theorem and Applications....Pages 50-61 On Modal Probability and Belief....Pages 62-73 A Multi-layered Bayesian Network Model for Structured Document Retrieval....Pages 74-86 Using Kappas as Indicators of Strength in Qualitative Probabilistic Networks....Pages 87-99 Qualitative Bayesian Networks with Logical Constraints....Pages 100-112 Introducing Situational Influences in QPNs....Pages 113-124 Classification of Aerial Missions Using Hidden Markov Models....Pages 125-136 Dynamic Importance Sampling Computation in Bayesian Networks....Pages 137-148 Morphing the Hugin and Shenoy–Shafer Architectures....Pages 149-160 Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Upper Neighbours....Pages 161-172 Approximating Conditional MTE Distributions by Means of Mixed Trees....Pages 173-183 Effective Dimensions of Partially Observed Polytrees....Pages 184-195 Applying Numerical Trees to Evaluate Asymmetric Decision Problems....Pages 196-207 Mixed Influence Diagrams....Pages 208-219 Decision Making Based on Sampled Disease Occurrence in Animal Herds....Pages 220-229 Decision Network Semantics of Branching Constraint Satisfaction Problems....Pages 230-242 Web of Trust: Applying Probabilistic Argumentation to Public-Key Cryptography....Pages 243-254 A Comparison of Methods for Transforming Belief Function Models to Probability Models....Pages 255-266 Fuzzy Matching and Evidential Reasoning....Pages 267-278 Modeling Positive and Negative Pieces of Evidence in Uncertainty....Pages 279-290 Directed Evidential Networks with Conditional Belief Functions....Pages 291-305 Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination....Pages 306-318 Risk Assessment in Drinking Water Production Using Belief Functions....Pages 319-331 Algebraic Structures Related to the Consensus Operator for Combining of Beliefs....Pages 332-344 Inclusion Measures in Intuitionistic Fuzzy Set Theory....Pages 345-356 A Random Set Model for Fuzzy Labels....Pages 357-369 On the Induction of Different Kinds of First-Order Fuzzy Rules....Pages 370-381 Reasoning under Vagueness Expressed by Nuanced Statements....Pages 382-394 Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them....Pages 395-406 Coherent Conditional Probability as a Measure of Uncertainty of the Relevant Conditioning Events....Pages 407-418 Decision Trees and Qualitative Possibilistic Inference: Application to the Intrusion Detection Problem....Pages 419-431 Multi-valued Conditional Events Avoid Lewis’ Triviality Result....Pages 432-439 Solving Semantic Problems with Odd-Length Cycles in Argumentation....Pages 440-451 On the Relation between Reiter’s Default Logic and Its (Major) Variants....Pages 452-463 Probable Consistency Checking for Sets of Propositional Clauses....Pages 464-476 On Iterated Revision in the AGM Framework....Pages 477-488 Epistemic Logics for Information Fusion....Pages 489-501 Propositional Fusion Rules....Pages 502-514 Preferential Logics for Reasoning with Graded Uncertainty....Pages 515-527 Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories....Pages 528-539 Modal (Logic) Paraconsistency....Pages 540-551 A Formal Framework for Handling Conflicting Desires....Pages 552-563 A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract)....Pages 564-575 Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding....Pages 576-587 ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning....Pages 588-593 The Hugin Tool for Learning Bayesian Networks....Pages 594-605 Back Matter....Pages - 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