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.
Author(s): Didier Dubois, Hélène Fargier, Régis Sabbadin (auth.), Thomas Dyhre Nielsen, Nevin Lianwen Zhang (eds.)
Series: Lecture Notes in Computer Science 2711 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2003
Language: English
Pages: 608
Tags: Artificial Intelligence (incl. Robotics); Computer Science, general; Mathematical Logic and Formal Languages
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 -
