Measuring inconsistency with many-valued logics

DOI10.1016/J.IJAR.2017.04.001zbMATH Open1419.68134OpenAlexW2604177337MaRDI QIDQ2407935FDOQ2407935

Authors: Matthias Thimm 

Publication date: 6 October 2017

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

Full work available at URL: https://doi.org/10.1016/j.ijar.2017.04.001

Recommendations

• Measuring inconsistency in generalized propositional logic
• On the complexity of inconsistency measurement
• scientific article; zbMATH DE number 7088155
• On the evaluation of inconsistency measures
• Measuring inconsistency in argument graphs

zbMATH Keywords

many-valued logicsfuzzy logicinconsistency measure

Mathematics Subject Classification ID

Knowledge representation (68T30) Many-valued logic (03B50) Fuzzy logic; logic of vagueness (03B52) Logic in artificial intelligence (68T27)

Cites Work

• Title not available (Why is that?)
• The logic of paradox
• Measuring inconsistency
• On the expressivity of inconsistency measures
• Revisiting postulates for inconsistency measures
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Computing inconsistency measure based on paraconsistent semantics
• On Measuring Inconsistency Using Maximal Consistent Sets
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Inconsistency measures for probabilistic logics
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Measuring inconsistency through minimal proofs
• Inconsistency Tolerance
• On the measure of conflicts: Shapley inconsistency values
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• Stream-based inconsistency measurement
• Metamathematics of fuzzy logic
• Title not available (Why is that?)
• Probability logic
• Title not available (Why is that?)
• Parallel interpolation, splitting, and relevance in belief change
• On an MCS-based inconsistency measure
• Title not available (Why is that?)
• Analysing inconsistent information using distance-based measures
• Title not available (Why is that?)

Cited In (23)

• Title not available (Why is that?)
• Measures of inconsistency and defaults
• Towards a Logic of Value and Disagreement via Imprecise Measures
• Inconsistency Measurement
• Inconsistency management
• Measuring inaccuracy of uncertain doxastic states in many-valued logical systems
• Measuring contradiction in fuzzy logic
• Revisiting postulates for inconsistency measures
• On the complexity of inconsistency measurement
• Similarity-based inconsistency-tolerant logics
• Measuring inconsistency in some branching time logics
• Semantic inconsistency measures using 3-valued logics
• Measuring instability in normal residuated logic programs: discarding information
• Measuring inconsistency in generalized propositional logic extended with nonunary operators
• Validity Measurement in Some Propositional Logics
• Logical and Evidential Inconsistencies Meet: First Steps
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
• A reasoning platform based on the MI Shapley inconsistency value
• Title not available (Why is that?)
• A new theory consistency index based on deduction theorems in several logic systems
• Handling and measuring inconsistency in non-monotonic logics
• Title not available (Why is that?)
• Measuring coherence using LP-models

Uses Software

• Tweety

This page was built for publication: Measuring inconsistency with many-valued logics

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