Forgetting-Based Inconsistency Measure

DOI10.1007/978-3-319-45856-4_23MaRDI QIDQ5268425zbMATH OpenOpenAlexFDO

Authors P. Besnard

Publication date 20 June 2017

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

Full work available at URL https://oatao.univ-toulouse.fr/22245/1/besnard_22245.pdf

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Measuring inconsistency through subformula forgetting
• Recovering Consistency by Forgetting Inconsistency
• Reasoning under inconsistency: a forgetting-based approach
• Dynamic consistency and imperfect recall
• Retroactive interference model of forgetting
• Introspective forgetting
• A knowledge level account of forgetting
• Variable Forgetting in Reasoning about Knowledge
• Quantitative measure of memory loss in complex spatiotemporal systems

Cites work

• scientific article; zbMATH DE number 1946872 (Why is no real title available?)
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Distance-based measures of inconsistency
• Inconsistency measurement based on variables in minimal unsatisfiable subsets
• Inconsistency measures for probabilistic logics
• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• On measuring inconsistency using maximal consistent sets
• On strongest necessary and weakest sufficient conditions
• On the expressivity of inconsistency measures
• On the measure of conflicts: Shapley inconsistency values
• Remedying inconsistent sets of premises
• Responsibility for inconsistency
• Revisiting postulates for inconsistency measures
• Stream-based inconsistency measurement

Cited in

(9)

• Inconsistency measurement
• A comparison of ASP-based and SAT-based algorithms for the contension inconsistency measure
• Comparison of SAT-based and ASP-based algorithms for inconsistency measurement
• scientific article; zbMATH DE number 176948 (Why is no real title available?)
• On the complexity of inconsistency measurement
• Reasoning under inconsistency: a forgetting-based approach
• A model of three-way decisions for knowledge harnessing
• Recovering Consistency by Forgetting Inconsistency
• Measuring inconsistency through subformula forgetting

This page was built for publication: Forgetting-Based Inconsistency Measure

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