Towards a logical belief function theory

DOI10.1016/J.JAL.2014.12.002zbMATH Open1378.03013OpenAlexW1972603077MaRDI QIDQ901078FDOQ901078

Authors: Laurence Cholvy 

Publication date: 23 December 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2014.12.002

Recommendations

• A logical version of the belief function theory
• Belief functions and default reasoning
• An elementary belief function logic
• Belief Functions and the Possible Worlds Paradigm
• Reasoning with belief functions: An analysis of compatibility
• Perspectives on the theory and practice of belief functions
• The Dynamics of Belief as a Basis for Logic
• A behavioral interpretation of belief functions
• scientific article; zbMATH DE number 721700
• scientific article; zbMATH DE number 859799

zbMATH Keywords

uncertainty modelingpropositional logicbelief function theory

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• The complexity of theorem-proving procedures
• Title not available (Why is that?)
• Perspectives on the theory and practice of belief functions
• Non-exclusive hypotheses in Dempster-Shafer theory
• A logic-based analysis of Dempster-Shafer theory
• Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
• Title not available (Why is that?)

Cited In (13)

• Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
• Toward updating belief functions over Belnap-Dunn logic
• From set relations to belief function relations
• A qualitative belief logic
• Belief Functions and the Possible Worlds Paradigm
• Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models
• Belief functions on lattices
• The normative representation of quantified beliefs by belief functions
• Title not available (Why is that?)
• An elementary belief function logic
• Logics for belief functions on MV-algebras
• Title not available (Why is that?)
• Logistic Regression Revisited: Belief Function Analysis

This page was built for publication: Towards a logical belief function theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q901078)