Enriched Generic Algebras of Fuzzy Relations

The paper presents an overview of a computation friendly calculus of fuzzy relations. It is presented within the framework of an enriched generic algebra of relations that we have been developing since 1979. It is enriched with BK-non-associative products of relations of three kinds: triangle subproduct C, superproduct B and the square product . The BK-products have been useful in concise formulation of new theorems in relational mathematics as well as in a number of practical applications in medicine, engineering, information retrieval and elsewhere. The concise algebraic manipulation is also advantageous in symbolic computing. Currently we are engaged in developing an equational theorem checker in which the BK-products play a substantial role. In this endeavour, Tarski style relational calculi play an essential role.

[1]  L. Kohout,et al.  FUZZY POWER SETS AND FUZZY IMPLICATION OPERATORS , 1980 .

[2]  Bush Jones,et al.  Architecture of systems problem solving , 1986, Journal of the American Society for Information Science.

[3]  Ladislav J. Kohout.  Basic algebra of BK products of relations in t-norm fuzzy logics , 2000, Ninth IEEE International Conference on Fuzzy Systems. FUZZ- IEEE 2000 (Cat. No.00CH37063).

[4]  Radim Belohlávek,et al.  Similarity relations and BK-relational products , 2000, Inf. Sci..

[5]  C.J.H. Mann,et al.  Fuzzy Relational Systems: Foundations and Principles , 2003 .

[6]  Didier Dubois,et al.  Readings in Fuzzy Sets for Intelligent Systems , 1993 .

[7]  Wyllis Bandler,et al.  Fuzzy Relational Products as a Tool for Analysis and Synthesis of the Behaviour of Complex Natural and Artificial Systems , 1980 .

[8]  Ladislav J. Kohout,et al.  ON THE GENERAL THEORY OF RELATIONALMORPHISMS , 1986 .

[9]  Ladislav J. Kohout,et al.  Fuzzy relational equations in monoidal logics , 2004, 2004 IEEE International Conference on Fuzzy Systems (IEEE Cat. No.04CH37542).

[10]  Petr Hájek,et al.  A REMARK ON BANDLER-KOHOUT PRODUCTS OF RELATIONS , 1996 .

[11]  Ladislav J. Kohout,et al.  Theory of Fuzzy Generalized Morphisms and Relational Inequalities , 2004, Int. J. Gen. Syst..

[12]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[13]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[14]  L. Kohout,et al.  Fuzzy Relational Products in Knowledge Engineering , 1992 .

[15]  Ladislav J. Kohout,et al.  Use of fuzzy relations in knowledge representation, acquisition, and processing , 1992 .

[16]  L. Kohout,et al.  Special properties, closures and interiors of crisp and fuzzy relations , 1988 .

[17]  Ladislav J. Kohout.  Boolean and Fuzzy Relations , 2009, Encyclopedia of Optimization.

[18]  Wyllis Bandler,et al.  Some Esomathematical Uses of Category Theory , 1978 .

[19]  Ladislav J. Kohout,et al.  Cuts Commute with Closures , 1993 .