Simplifying Implications with Positive and Negative Attributes: A Logic-Based Approach
Concepts and implications are two facets of the knowledge contained within a binary relation between objects and attributes. Simplification logic (SL) has proved to be valuable for the study of attribute implications in a concept lattice, a topic of interest in the more general framework of formal c...
Main Authors: | Francisco Pérez-Gámez, Domingo López-Rodríguez, Pablo Cordero, Ángel Mora , Manuel Ojeda-Aciego |
---|---|
Format: | Article |
Language: | English |
Published: |
MDPI AG
2022-02-01
|
Series: | Mathematics |
Subjects: | |
Online Access: | https://www.mdpi.com/2227-7390/10/4/607 |
Similar Items
-
New Simplification Rules for Databases with Positive and Negative Attributes
by: Domingo López-Rodríguez, et al.
Published: (2025-01-01) -
Non-redundant implicational base of formal context with constraints using SAT
by: Taufiq Hidayat, et al.
Published: (2024-01-01) -
Minimal Generators from Positive and Negative Attributes: Analysing the Knowledge Space of a Mathematics Course
by: Manuel Ojeda-Hernández, et al.
Published: (2022-08-01) -
A Fast Algorithm for Updating Negative Concept Lattices with Increasing the Granularity Sizes of Attributes
by: Junping Xie, et al.
Published: (2023-07-01) -
ImplicPBDD: A New Approach to Extract Proper Implications Set from High-Dimension Formal Contexts Using a Binary Decision Diagram <sup>†</sup>
by: Phillip G. Santos, et al.
Published: (2018-10-01)