Computing inconsistency measure based on paraconsistent semantics

DOI10.1093/LOGCOM/EXQ053MaRDI QIDQ3103984zbMATH OpenOpenAlexFDO

Authors Yue Ma, Guilin Qi, Pascal Hitzler

Publication date 19 December 2011

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1030&context=cse

zbMATH Keywords

algorithmsapproximating inconsistency degreesfour-valued first-order logicmeasuring inconsistency

Mathematics Subject Classification ID

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

Recommendations

• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• On the complexity of inconsistency measurement
• scientific article; zbMATH DE number 6902558
• Distance-based measures of inconsistency

Cited in

(12)

• Quantifying conflicts in propositional logic through prime implicates
• A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
• Measuring inconsistency with many-valued logics
• On the expressivity of inconsistency measures
• Measure-based inconsistency-tolerant maintenance of database integrity
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
• On the measure of conflicts: an argumentation-based framework
• Measuring incompleteness under multi-valued semantics by partial MaxSAT solvers
• Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics
• Measuring inconsistency in finitary first-order logic
• Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox

This page was built for publication: Computing inconsistency measure based on paraconsistent semantics

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