An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

DOI10.1007/978-3-540-75256-1_11MaRDI QIDQ3524921zbMATH OpenOpenAlexFDO

Authors Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin

Publication date 16 September 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-75256-1_11

Mathematics Subject Classification ID

Knowledge representation (68T30) Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• Computing inconsistency measure based on paraconsistent semantics
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Measuring inconsistency with many-valued logics
• Inconsistency measurement
• On the complexity of inconsistency measurement

Cites work

• Classifications for inconsistent theories
• Computational Aspects of Quasi-Classical Entailment
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Measuring coherence using LP-models
• Measuring inconsistency
• Reasoning with contradictory information using quasi-classical logic
• Reducing Preferential Paraconsistent Reasoning to Classical Entailment
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• The value of the four values
• Tractable reasoning via approximation

Cited in

(5)

• Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
• Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics
• Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic
• Computing inconsistency measure based on paraconsistent semantics
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

This page was built for publication: An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

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