Symbolic and Quantitative Approaches to Reasoning With Uncertainty: 7th European Conference, Ecsqaru 2003, Aalborg, Denmark, July 2-5, 2003 : Prceedings

by European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (7th : 2003 : Alborg, Denmark)

• ISBN13: 9783540404941
• ISBN10: 3540404945
• Format: Paperback
• Copyright: 2003-06-01
• Publisher: Springer Verlag

Summary

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.

Table of Contents

Qualitative Decision Rules under Uncertainty	p. 1
Applications of Latent Class Analysis in Social Science Research	p. 22
Transformations from Imprecise to Precise Probabilities	p. 37
A Representation Theorem and Applications	p. 50
On Modal Probability and Belief	p. 62
A Multi-layered Bayesian Network Model for Structured Document Retrieval	p. 74
Using Kappas as Indicators of Strength in Qualitative Probabilistic Networks	p. 87
Qualitative Bayesian Networks with Logical Constraints	p. 100
Introducing Situational Influences in QPNs	p. 113
Classification of Aerial Missions Using Hidden Markov Models	p. 125
Dynamic Importance Sampling Computation in Bayesian Networks	p. 137
Morphing the Hugin and Shenoy-Shafer Architectures	p. 149
Characterization of Inclusion Neighbourhood in Terms of the Essential Graph: Upper Neighbours	p. 161
Approximating Conditional MTE Distributions by Means of Mixed Trees	p. 173
Effective Dimensions of Partially Observed Polytrees	p. 184
Applying Numerical Trees to Evaluate Asymmetric Decision Problems	p. 196
Mixed Influence Diagrams	p. 208
Decision Making Based on Sampled Disease Occurrence in Animal Herds	p. 220
Decision Network Semantics of Branching Constraint Satisfaction Problems	p. 230
Web of Trust: Applying Probabilistic Argumentation of Public-Key Cryptography	p. 243
A Comparison of Methods for Transforming Belief Function Models to Probability Models	p. 255
Fuzzy Matching and Evidential Reasoning	p. 267
Modeling Positive and Negative Pieces of Evidence in Uncertainty	p. 279
Directed Evidential Networks with Conditional Belief Functions	p. 291
Computational-Workload Based Binarization and Partition of Qualitative Markov Trees for Belief Combination	p. 306
Risk Assessment in Drinking Water Production Using Belief Functions	p. 319
Algebraic Structures Related to the Consensus Operator for Combining of Beliefs	p. 332
Inclusion Measures in Intuitionistic Fuzzy Set Theory	p. 345
A Random Set Model for Fuzzy Labels	p. 357
On the Induction of Different Kinds of First-Order Fuzzy Rules	p. 370
Reasoning under Vagueness Expressed by Nuanced Statements	p. 382
Partial Lattice-Valued Possibilistic Measures and Some Relations Induced by Them	p. 395
Coherent Conditional Probability as a Measure of Uncertainty of the Relevant Conditioning Events	p. 407
Decision Trees and Qualitative Possibilistic Inference: Application to the Intrusion Detection Problem	p. 419
Multi-valued Conditional Events Avoid Lewis' Triviality Result	p. 432
Solving Semantic Problems with Odd-Length Cycles in Argumentation	p. 440
On the Relation between Reiter's Default Logic and Its (Major) Variants	p. 452
Probable Consistency Checking for Sets of Propositional Clauses	p. 464
On Iterated Revision in the AGM Framework	p. 477
Epistemic Logics for Information Fusion	p. 489
Propositional Fusion Rules	p. 502
Preferential Logics for Reasoning with Graded Uncertainty	p. 515
Paraconsistent Reasoning via Quantified Boolean Formulas, II: Circumscribing Inconsistent Theories	p. 528
Modal (Logic) Paraconsistency	p. 540
A Formal Framework for Handling Conflicting Desires	p. 552
A Sequent Calculus for Skeptical Reasoning in Predicate Default Logic (Extended Abstract)	p. 564
Probabilistic Lexicographic Entailment under Variable-Strength Inheritance with Overriding	p. 576
ABEL: An Interactive Tool for Probabilistic Argumentative Reasoning	p. 588
The Hugin Tool for Learning Bayesian Networks	p. 594
Author Index	p. 607
Table of Contents provided by Blackwell. All Rights Reserved.