On implicative closure operators in approximate reasoning

This paper introduces a new class of fuzzy closure operators called implicative closure operators, which generalize some notions of fuzzy closure operators already introduced by different authors. We show that implicative closure operators capture some usual consequence relations used in Approximate Reasoning, like Chakraborty?s graded consequence relation, Castro et al.?s fuzzy consequence relation, similarity-based consequence operators introduced by Dubois et al. and Gerla?s canonical extension of classical closure operators. We also study the relation of the implicative closure operators to other existing fuzzy inference operators as the Natural Inference Operators defined by Boixader and Jacas and the fuzzy operators defined by Biacino, Gerla and Ying.

[1]  R. Belohlávek.  Fuzzy Closure Operators , 2001 .

[2]  Dionís Boixader,et al.  Extensionality based approximate reasoning , 1998, Int. J. Approx. Reason..

[3]  Lluís Godo Lacasa,et al.  Fuzzy approximation relations, modal structures and possibilistic logic , 1998 .

[4]  P ? ? ? ? ? ? ? % ? ? ? ? , 1991 .

[5]  Lluis Godo,et al.  Monoidal t-norm based logic: towards a logic for left-continuous t-norms , 2001, Fuzzy Sets Syst..

[6]  Giangiacomo Gerla.  An Extension Principle for Fuzzy Logics , 1994, Math. Log. Q..

[7]  Mingsheng Ying,et al.  A logic for approximate reasoning , 1994, Journal of Symbolic Logic.

[8]  J. ELORZA,et al.  On the Relation Between Fuzzy Preorders and Fuzzy Consequence Operators , 1999, Int. J. Uncertain. Fuzziness Knowl. Based Syst..

[9]  Frank Klawonn,et al.  Similarity in fuzzy reasoning , 1995 .

[10]  Giangiacomo Gerla,et al.  Fuzzy Logic: Mathematical Tools for Approximate Reasoning , 2001 .

[11]  J. Recasens,et al.  Fuzzy T-transitive relations: eigenvectors and generators , 1995 .

[12]  Giangiacomo Gerla,et al.  Graded Consequence Relations and Fuzzy Closure Operators , 1996, J. Appl. Non Class. Logics.

[13]  G. Pólya.  Patterns of plausible inference , 1970 .

[14]  Henri Prade,et al.  A logical approach to interpolation based on similarity relations , 1997, Int. J. Approx. Reason..

[15]  Nils J. Nilsson,et al.  Probabilistic Logic * , 2022 .

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

[17]  Jirí Michálek,et al.  Fuzzy topologies , 1975, Kybernetika (Praha).

[18]  Giangiacomo Gerla,et al.  Logics with approximate premises , 1998 .

[19]  P. Hájek.  Fuzzy logic and arithmetical hierarchy , 1995 .

[20]  Pere Garcia-Calvés,et al.  Relating and extending semantical approaches to possibilistic reasoning , 1994, Int. J. Approx. Reason..

[21]  Petr Hájek,et al.  Residuated fuzzy logics with an involutive negation , 2000, Arch. Math. Log..

[22]  Juan Luis Castro,et al.  On consequence in approximate reasoning , 1994, J. Appl. Non Class. Logics.

[23]  Mihir K. Chakraborty,et al.  Graded Consequence: Further Studies , 1995, J. Appl. Non Class. Logics.

[24]  S. L. Édel'man.  Closure operators on a lattice , 1980 .

[25]  Enric Trillas,et al.  TARSKI's FUZZY CONSEQUENCES , 1991 .

[26]  Jan Pavelka,et al.  On Fuzzy Logic I Many-valued rules of inference , 1979, Math. Log. Q..

[27]  Lluis Godo,et al.  Basic Fuzzy Logic is the logic of continuous t-norms and their residua , 2000, Soft Comput..

[28]  Joan Jacas,et al.  Fixed Points and Generators of Fuzzy Relations , 1994 .