An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

DOI10.1007/978-3-540-75256-1_11zbMath1148.68495OpenAlexW1528062128MaRDI QIDQ3524921

Zuoquan Lin, Pascal Hitzler, Guilin Qi, Yue Ma

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

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

Related Items (1)

Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic

Cites Work

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

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