Interactive error correction in implicative theories

DOI10.1016/J.IJAR.2015.06.004zbMATH Open1346.68192arXiv1410.5215OpenAlexW1689482446MaRDI QIDQ899138FDOQ899138

Artem Revenko, Sergei O. Kuznetsov

Publication date: 21 December 2015

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

Abstract: Errors in implicative theories coming from binary data are studied. First, two classes of errors that may affect implicative theories are singled out. Two approaches for finding errors of these classes are proposed, both of them based on methods of Formal Concept Analysis. The first approach uses the cardinality minimal (canonical or Duquenne-Guigues) implication base. The construction of such a base is computationally intractable. Using an alternative approach one checks possible errors on the fly in polynomial time via computing closures of subsets of attributes. Both approaches are interactive, based on questions about the validity of certain implications. Results of computer experiments are presented and discussed.

Full work available at URL: https://arxiv.org/abs/1410.5215

zbMATH Keywords

formal concept analysiserror correctionclosure systemimplicative theory

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cites Work

• Title not available (Why is that?)
• Mathematical classification and clustering
• Concept Lattices
• Computing premises of a minimal cover of functional dependencies is intractable
• The Description Logic Handbook
• Title not available (Why is that?)
• Two Basic Algorithms in Concept Analysis
• Title not available (Why is that?)
• On the complexity of enumerating pseudo-intents
• Some decision and counting problems of the Duquenne-Guigues basis of implications
• Attribute-incremental construction of the canonical implication basis
• Usability Issues in Description Logic Knowledge Base Completion
• Title not available (Why is that?)
• Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5
• Title not available (Why is that?)

Cited In (2)

• Concept lattices with negative information: a characterization theorem
• A new kind of implication to reason with unknown information

Uses Software

• UCI-ml
• fca

This page was built for publication: Interactive error correction in implicative theories

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