Computing inconsistency measure based on paraconsistent semantics

DOI10.1093/logcom/exq053zbMath1228.68046OpenAlexW1987810457MaRDI QIDQ3103984

Pascal Hitzler, Guilin Qi, Yue Ma

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

algorithmsmeasuring inconsistencyapproximating inconsistency degreesfour-valued first-order logic

Mathematics Subject Classification ID

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

Related Items (6)

Measure-Based Inconsistency-Tolerant Maintenance of Database Integrity ⋮ Measuring inconsistency with many-valued logics ⋮ Quantifying conflicts in propositional logic through prime implicates ⋮ A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite ⋮ On the measure of conflicts: an argumentation-based framework ⋮ On the expressivity of inconsistency measures

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