Measuring inconsistency through minimal proofs

DOI10.1007/978-3-642-39091-3_25MaRDI QIDQ5326427zbMATH OpenOpenAlexFDO

Authors Said Jabbour, Badran Raddaoui

Publication date 5 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39091-3_25

Mathematics Subject Classification ID

Knowledge representation (68T30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Classical propositional logic (03B05) Logic in artificial intelligence (68T27)

Recommendations

• Responsibility for inconsistency
• Measuring inconsistency with constraints for propositional knowledge bases
• Distance-based measures of inconsistency
• scientific article; zbMATH DE number 6902558
• Analysing inconsistent information using distance-based measures

Cited in

(20)

• On the expressivity of inconsistency measures
• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Measuring inconsistency with many-valued logics
• On the measure of conflicts: Shapley inconsistency values
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Using inconsistency measures for estimating reliability
• Formulas free from inconsistency: an atom-centric characterization in Priest's minimally inconsistent LP
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Distance-based measures of inconsistency
• Measuring inconsistency with constraints for propositional knowledge bases
• Responsibility for inconsistency
• On the measure of conflicts: an argumentation-based framework
• Analysing inconsistent information using distance-based measures
• Quantifying conflicts in propositional logic through prime implicates
• Measuring and repairing inconsistency in knowledge bases with graded truth
• Using Shapley inconsistency values for distributed information systems with uncertainty
• A reasoning platform based on the MI Shapley inconsistency value
• Localising iceberg inconsistencies
• Measuring inconsistency through subformula forgetting

This page was built for publication: Measuring inconsistency through minimal proofs

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