Logical and Evidential Inconsistencies Meet: First Steps

DOI10.1007/978-3-030-88601-1_21zbMATH Open1518.68355MaRDI QIDQ6488071FDOQ6488071

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

Publication date: 24 March 2023

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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)