Towards a logical belief function theory

DOI10.1016/J.JAL.2014.12.002MaRDI QIDQ901078zbMATHOpenAlexFDO

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

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)

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

Cites work

• scientific article; zbMATH DE number 3560492 (Why is no real title available?)
• scientific article; zbMATH DE number 2063019 (Why is no real title available?)
• scientific article; zbMATH DE number 3271180 (Why is no real title available?)
• A logic-based analysis of Dempster-Shafer theory
• Non-exclusive hypotheses in Dempster-Shafer theory
• Perspectives on the theory and practice of belief functions
• Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
• The complexity of theorem-proving procedures

Cited in

(15)

• scientific article; zbMATH DE number 6093230 (Why is no real title available?)
• Belief Functions and the Possible Worlds Paradigm
• An elementary belief function logic
• Belief Logic Programming: Uncertainty Reasoning with Correlation of Evidence
• Belief functions on lattices
• scientific article; zbMATH DE number 761252 (Why is no real title available?)
• 2CoBel: a scalable belief function representation for 2D discernment frames
• Toward updating belief functions over Belnap-Dunn logic
• From set relations to belief function relations
• A qualitative belief logic
• Logistic Regression Revisited: Belief Function Analysis
• The normative representation of quantified beliefs by belief functions
• Logics for belief functions on MV-algebras
• Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models
• A logical version of the belief function theory

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)