Attribute exploration of many-valued context with SAT

Authors:
Taufiq Hidayat
Affiliations:
Technical University of Dresden, Knowledge Representation and Reasoning Group, Institute of Artificial Intelligence, Germany and Islamic University of Indonesia, Department of Informatics, Indones ...
Venue:
CIMMACS'11/ISP'11 Proceedings of the 10th WSEAS international conference on Computational Intelligence, Man-Machine Systems and Cybernetics, and proceedings of the 10th WSEAS international conference on Information Security and Privacy
Year:
2011

Citing 5
Cited 0

Attribute exploration with background knowledge

Theoretical Computer Science
Formal Concept Analysis: Mathematical Foundations

Formal Concept Analysis: Mathematical Foundations
Many-Valued Context Analysis Using Descriptions

ICCS '01 Proceedings of the 9th International Conference on Conceptual Structures: Broadening the Base
Adding background knowledge to formal concept analysis via attribute dependency formulas

Proceedings of the 2008 ACM symposium on Applied computing
Formal concept analysis as mathematical theory of concepts and concept hierarchies

Formal Concept Analysis

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper proposes an encoding a background-implying problem in attribute exploration of manyvalued context into a SAT problem. A background-implying problem is whether an attribute implication is implied by some other attribute implications and is also compatible with background knowledge. In the case of manyvalued context, the background knowledge will be its scales which are also formal contexts.