Concept lattices and similarity in non-commutative fuzzy logic
George Georgescu, Andrei Ion Popescu
Abstract
George Georgescu, Andrei Ion Popescu
Abstract
A classical (crisp) concept is given by its extent (a set of objects) and its intent (a set of properties). In commutative fuzzy logic, the generalization comes naturally, considering fuzzy sets of objects and properties. In both cases (the first being actually a particular case of the second), the situation is perfectly symmetrical: a concept is given by a pair (A,B), where A is the largest set of objects sharing the attributes from B and B is the largest set of attributes shared by the objects from A (with the necessary nuance when fuzziness is concerned). Because of this symmetry, working with objects is the same as working with properties, so there is no need to make any choice. In this paper, we define concepts in a "non-commutative fuzzy world", where conjunction of sentences is not necessarily commutative, which leads to the following non-symmetrical situation: a concept has one extent (because, at the end of the day, concepts are meant to embrace, using certain descriptions, diverse sets of objects), but two intents, given by the two residua (implications) of the non-commutative conjunction.
OpenAlex reports 44 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
A classical (crisp) concept is given by its extent (a set of objects) and its intent (a set of properties). In commutative fuzzy logic, the generalization comes naturally, considering fuzzy sets of objects and properties. In both cases (the first being actually a particular case of the second), the situation is perfectly symmetrical: a concept is given by a pair (A,B), where A is the largest set of objects sharing the attributes from B and B is the largest set of attributes shared by the objects from A (with the necessary nuance when fuzziness is concerned). Because of this symmetry, working with objects is the same as working with properties, so there is no need to make any choice. In this paper, we define concepts in a "non-commutative fuzzy world", where conjunction of sentences is not necessarily commutative, which leads to the following non-symmetrical situation: a concept has one extent (because, at the end of the day, concepts are meant to embrace, using certain descriptions, diverse sets of objects), but two intents, given by the two residua (implications) of the non-commutative conjunction.
Key concepts: Commutative property, Fuzzy logic, Similarity (geometry), Mathematics, Computer science, Algebra over a field, Theoretical computer science, Pure mathematics