Logical and Evidential Inconsistencies Meet: First Steps

DOI10.1007/978-3-030-88601-1_21MaRDI QIDQ6488071zbMATH OpenFDO

Authors Nadia Ben Abdallah, S. Destercke, Anne-Laure Jousselme, Frédéric Pichon

Publication date 24 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-88601-1_21

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37) Logic in artificial intelligence (68T27)

Recommendations

• Inconsistency measurement
• Measuring inconsistency in finitary first-order logic
• scientific article; zbMATH DE number 7088155
• Measuring inconsistency in argument graphs
• Measuring inconsistency with many-valued logics

Cites work

• Classic works on the Dempster-Shafer theory of belief functions
• Decomposition of conflict as a distribution on hypotheses in the framework on belief functions
• Geometric views on conflicting mass functions: from distances to angles
• Inconsistency Tolerance
• Measuring and repairing inconsistency in knowledge bases with graded truth
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• On the evaluation of inconsistency measures
• Several shades of conflict
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference

Cited in

(3)

• scientific article; zbMATH DE number 140409 (Why is no real title available?)
• scientific article; zbMATH DE number 7455726 (Why is no real title available?)
• Three types of internal conflict and its measurement in Dempster-Shafer theory

This page was built for publication: Logical and Evidential Inconsistencies Meet: First Steps

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