Measuring inconsistency with constraints for propositional knowledge bases

DOI10.1016/J.ARTINT.2018.02.003MaRDI QIDQ1647509zbMATH OpenOpenAlexWikidataFDO

Authors Kedian Mu

Publication date 26 June 2018

Published in Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.artint.2018.02.003

zbMATH Keywords

causalityconstraintsbipartite graphinconsistency

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Responsibility for inconsistency
• Measuring inconsistency through minimal proofs
• Distance-based measures of inconsistency
• Analysing inconsistent information using distance-based measures
• Measuring the blame of each formula for inconsistent prioritized knowledge bases

Cites work

• scientific article; zbMATH DE number 2243367 (Why is no real title available?)
• scientific article; zbMATH DE number 3078997 (Why is no real title available?)
• A syntax-based approach to measuring the degree of inconsistency for belief bases
• A theory of diagnosis from first principles
• Algorithms for computing minimal unsatisfiable subsets of constraints
• Approaches to measuring inconsistency for stratified knowledge bases
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• From inconsistency handling to non-canonical requirements management: a logical perspective
• MEASURING INCONSISTENCY IN A NETWORK INTRUSION DETECTION RULE SET BASED ON SNORT
• Managing software requirements changes based on negotiation-style revision
• Measuring Consistency Gain and Information Loss in Stepwise Inconsistency Resolution
• Measuring and repairing inconsistency in probabilistic knowledge bases
• Measuring inconsistency through minimal proofs
• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• Merging Information Under Constraints: A Logical Framework
• On the expressivity of inconsistency measures
• On the measure of conflicts: Shapley inconsistency values
• Responsibility for inconsistency
• Revisiting postulates for inconsistency measures
• Symbolic and quantitative approaches to reasoning and uncertainty. European conference, ECSQARU `99. London, GB, July 5-9, 1999. Proceedings
• What causes a system to satisfy a specification?

Cited in

(17)

• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• scientific article; zbMATH DE number 2080549 (Why is no real title available?)
• Formulas free from inconsistency: an atom-centric characterization in Priest's minimally inconsistent LP
• Distance-based measures of inconsistency
• Measuring inconsistency through minimal proofs
• The degree of conflict between formulas in an inconsistent knowledge base
• Intrinsic approaches to prioritizing diagnoses in multi-context systems
• Responsibility for inconsistency
• scientific article; zbMATH DE number 6902558 (Why is no real title available?)
• Analysing inconsistent information using distance-based measures
• Measuring and repairing inconsistency in knowledge bases with graded truth
• On measuring inconsistency in definite and indefinite databases with denial constraints
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Handling and measuring inconsistency in non-monotonic logics
• Approaches to measuring inconsistency for stratified knowledge bases
• Detecting inconsistencies in large first-order knowledge bases
• A Measure of Inconsistency for Simple Decision Systems over Ontological Graphs

This page was built for publication: Measuring inconsistency with constraints for propositional knowledge bases

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