Search Results for author:
Found 6 papers, 0 papers with code
Computing sets of graded attribute implications with witnessed non-redundancy
As a consequence, we solve the open problem regarding the existence of general systems of pseudo-intents which appear in formal concept analysis of object-attribute data with graded attributes and linguistic hedges.
On sets of graded attribute implications with witnessed non-redundancy
We introduce notions of saturation and witnessed non-redundancy of sets of graded attribute implications are show that bases of graded attribute implications given by systems of pseudo-intents correspond to non-redundant sets of graded attribute implications with saturated consequents where the non-redundancy is witnessed by antecedents of the contained graded attribute implications.
Logic of temporal attribute implications
We investigate decidability and complexity issues of the logic and prove that the entailment problem is NP-hard and belongs to EXPSPACE.
Parameterizing the semantics of fuzzy attribute implications by systems of isotone Galois connections
We study the semantics of fuzzy if-then rules called fuzzy attribute implications parameterized by systems of isotone Galois connections.
Fuzzy inequational logic
We present a logic for reasoning about graded inequalities which generalizes the ordinary inequational logic used in universal algebra.
On minimal sets of graded attribute implications
We explore the structure of non-redundant and minimal sets consisting of graded if-then rules.
