An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

DOI10.1007/978-3-540-75256-1_11zbMATH Open1148.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

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

Cites Work

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

Cited In (2)

• Measuring conflict and agreement between two prioritized knowledge bases in possibilistic logic
• 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)