Computing inconsistency measure based on paraconsistent semantics

DOI10.1093/LOGCOM/EXQ053zbMATH Open1228.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

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

Cited In (7)

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

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)