Semantic inconsistency measures using 3-valued logics

DOI10.1016/J.IJAR.2023.02.008MaRDI QIDQ6114029zbMATH OpenFDO

Authors John Grant, Anthony Hunter

Publication date 11 July 2023

Published in International Journal of Approximate Reasoning (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/J.IJAR.2023.02.008

zbMATH Keywords

3-valued logicinconsistency analysisinconsistency measuresinconsistency tolerancesemantic inconsistency measures

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites work

• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Analysing inconsistent first-order knowledgebases
• Classifications for inconsistent theories
• Classifying Inconsistency Measures Using Graphs
• Conditional objects as nonmonotonic consequence relationships
• Dimensional inconsistency measures and postulates in spatio-temporal databases
• Formulas free from inconsistency: an atom-centric characterization in Priest's minimally inconsistent LP
• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 7368442 (Why is no real title available?)
• scientific article; zbMATH DE number 7566076 (Why is no real title available?)
• scientific article; zbMATH DE number 3392404 (Why is no real title available?)
• scientific article; zbMATH DE number 3077773 (Why is no real title available?)
• Inconsistency measures in hybrid logics
• Inconsistency Tolerance
• Localising iceberg inconsistencies
• Measuring inconsistency
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
• Measuring inconsistency in answer set programs
• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation
• Measuring inconsistency in some branching time logics
• Measuring inconsistency with many-valued logics
• Natural 3-valued logics—characterization and proof theory
• On the expressivity of inconsistency measures
• On the measure of conflicts: Shapley inconsistency values
• Preferential multi-context systems
• Reasoning with contradictory information using quasi-classical logic
• Relative inconsistency measures
• Repair-based degrees of database inconsistency
• Revisiting postulates for inconsistency measures
• Stone algebras, conditional events, and three valued logic
• The logic of paradox
• The value of the four values
• Three-valued logics, uncertainty management and rough sets

Cited in

(4)

• scientific article; zbMATH DE number 179051 (Why is no real title available?)
• Exploring inconsistency measurement in disjunctive temporal problems
• Identifying roles of formulas in inconsistency under Priest's minimally inconsistent logic of paradox
• On measuring inconsistency in graph databases with regular path constraints

This page was built for publication: Semantic inconsistency measures using 3-valued logics

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