Remedying inconsistent sets of premises

DOI10.1016/J.IJAR.2006.06.013MaRDI QIDQ997052zbMATHOpenAlexFDO

Authors P. Besnard

Publication date 19 July 2007

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ijar.2006.06.013

zbMATH Keywords

forget operationLang-Marquis

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A logic for reasoning with inconsistency
• A general framework for reasoning on inconsistency
• scientific article; zbMATH DE number 487144
• Making logical inferences in inconsistent systems
• Consistent theories in inconsistent logics
• Inconsistency and Incompleteness, Revisited
• A logic for reasoning with inconsistent knowledge
• Consistency in assumption-based argumentation
• Handling inconsistencies in multi-dimensional logics

Cites work

• A consistency-based approach for belief change
• Logic based merging
• On strongest necessary and weakest sufficient conditions

Cited in

(6)

• Extending Removed Sets Revision to partially preordered belief bases
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Logic, arguments and inconsistencies: an introduction to the festschrift in honour of Philippe Besnard
• A general framework for reasoning on inconsistency
• Reasoning under inconsistency: a forgetting-based approach
• Forgetting-Based Inconsistency Measure

This page was built for publication: Remedying inconsistent sets of premises

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