A new perspective on reasoning with fuzzy rules

This article expresses the idea that information encoded on a computer may have a negative or positive emphasis. Negative information corresponds to the statement that some situations are impossible. Often, it is the case for pieces of background knowledge expressed in a logical format. Positive information corresponds to observed cases. It is encountered often in data‐driven mathematical models, learning, etc. The notion of an “if …, then …” rule is examined in the context of positive and negative information. It is shown that it leads to the three‐valued representation of a rule, after De Finetti, according to which a given state of the world is an example of the rule, a counterexample to the rule, or is irrelevant for the rule. This view also sheds light on the typology of fuzzy rules. It explains the difference between a fuzzy rule modeled by a many‐valued implication and expressing negative information and a fuzzy rule modeled by a conjunction (a la Mamdani) and expressing positive information. A new compositional rule of inference adapted to conjunctive rules, specific to positive information, is proposed. Consequences of this framework on interpolation between sparse rules are also presented. © 2003 Wiley Periodicals, Inc.

[1]  Eyke Hüllermeier Fuzzy Association Rules: Semantic Issues and Quality Measures , 2001, Fuzzy Days.

[2]  Jf Baldwin,et al.  An Introduction to Fuzzy Logic Applications in Intelligent Systems , 1992 .

[3]  Joachim Weisbrod,et al.  A new approach to fuzzy reasoning , 1998, Soft Comput..

[4]  Philip G. Calabrese,et al.  An algebraic synthesis of the foundations of logic and probability , 1987, Inf. Sci..

[5]  László T. Kóczy,et al.  Interpolative reasoning with insufficient evidence in sparse fuzzy rule bases , 1993, Inf. Sci..

[6]  L. Zadeh Fuzzy sets as a basis for a theory of possibility , 1999 .

[7]  D. Dubois,et al.  Possibility theory as a basis for preference propagation in automated reasoning , 1992, [1992 Proceedings] IEEE International Conference on Fuzzy Systems.

[8]  Henri Prade,et al.  What are fuzzy rules and how to use them , 1996, Fuzzy Sets Syst..

[9]  Christian Borgelt,et al.  Graphical models - methods for data analysis and mining , 2002 .

[10]  L. Zadeh,et al.  An Introduction to Fuzzy Logic Applications in Intelligent Systems , 1992 .

[11]  Jörg Gebhardt,et al.  Learning from data: possibilistic graphical models , 2000 .

[12]  Didier Dubois,et al.  Fuzzy rules in knowledge-based systems , 1992 .

[13]  Ebrahim H. Mamdani,et al.  An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller , 1999, Int. J. Hum. Comput. Stud..

[14]  Didier Dubois,et al.  Upper and lower images of a fuzzy set induced by a fuzzy relation: Applications to fuzzy inference and diagnosis , 1992, Inf. Sci..

[15]  C. Marsala,et al.  Interpolative reasoning based on graduality , 2000, Ninth IEEE International Conference on Fuzzy Systems. FUZZ- IEEE 2000 (Cat. No.00CH37063).

[16]  Sarit Kraus,et al.  Nonmonotonic Reasoning, Preferential Models and Cumulative Logics , 1990, Artif. Intell..

[17]  B. Bouchon-Meunier,et al.  Analogy and Fuzzy Interpolation in the case of Sparse Rules , 1999 .

[18]  D. Dubois,et al.  Conditional Objects as Nonmonotonic Consequence Relationships , 1994, IEEE Trans. Syst. Man Cybern. Syst..

[19]  Michio Sugeno,et al.  Fuzzy identification of systems and its applications to modeling and control , 1985, IEEE Transactions on Systems, Man, and Cybernetics.

[20]  E. W. Adams,et al.  The logic of conditionals , 1975 .

[21]  Didier Dubois,et al.  Implicative and conjunctive fuzzy rules - A tool for reasoning from knowledge and examples , 1999, AAAI/IAAI.

[22]  Ebrahim H. Mamdani,et al.  An Experiment in Linguistic Synthesis with a Fuzzy Logic Controller , 1999, Int. J. Man Mach. Stud..

[23]  Attila Gyenesei,et al.  A Fuzzy Approach for Mining Quantitative Association Rules , 2000, Acta Cybern..

[24]  Didier Dubois,et al.  Checking the coherence and redundancy of fuzzy knowledge bases , 1997, IEEE Trans. Fuzzy Syst..

[25]  E. H. Mamdani,et al.  Application of Fuzzy Logic to Approximate Reasoning Using Linguistic Synthesis , 1976, IEEE Transactions on Computers.

[26]  Michel Grabisch,et al.  Gradual rules and the approximation of control laws , 1995 .

[27]  Didier Dubois,et al.  Fuzzy Logic, Control Engineering and Artificial Intelligence , 1999 .

[28]  Didier Dubois,et al.  Knowledge-Driven versus Data-Driven Logics , 2000, J. Log. Lang. Inf..

[29]  Didier Dubois,et al.  Soft computing, fuzzy logic, and artificial intelligence , 1998, Soft Comput..

[30]  Hung T. Nguyen,et al.  Conditional inference and logic for intelligent systems - a theory of measure-free conditioning , 1991 .

[31]  J. Mendel Fuzzy logic systems for engineering: a tutorial , 1995, Proc. IEEE.

[32]  László T. Kóczy,et al.  Approximate reasoning by linear rule interpolation and general approximation , 1993, Int. J. Approx. Reason..

[33]  Bernadette Bouchon-Meunier,et al.  Fuzzy Sets and Possibility Theory in Approximate and Plausible Reasoning , 1999 .

[34]  Lotfi A. Zadeh,et al.  A Theory of Approximate Reasoning , 1979 .

[35]  Lotfi A. Zadeh,et al.  The Calculus of Fuzzy If/Then Rules , 1992, Fuzzy Days.

[36]  J. Baldwin,et al.  MODELLING CONTROLLERS USING FUZZY RELATIONS , 1980 .

[37]  H. Prade,et al.  A comparative view of interpolation methods between sparse fuzzy rules , 2001, Proceedings Joint 9th IFSA World Congress and 20th NAFIPS International Conference (Cat. No. 01TH8569).

[38]  D. Dubois,et al.  ON FUZZY INTERPOLATION , 1999 .

[39]  Carl G. Hempel,et al.  A purely syntactical definition of confirmation , 1943, Journal of Symbolic Logic.

[40]  Christian Borgelt,et al.  Learning from imprecise data: Possibilistic graphical models , 2002 .

[41]  B. Baets,et al.  Fuzzy relational compositions , 1993 .

[42]  Witold Pedrycz,et al.  An aspect of discrepancy in the implementation of modus ponens in the presence of fuzzy quantities , 1989, Int. J. Approx. Reason..

[43]  Laurent Ughetto Inferential Independence of Fuzzy Rules , 1998, ECAI.

[44]  Henri Prade,et al.  Fuzzy interpolation by convex completion of sparse rule bases , 2000, Ninth IEEE International Conference on Fuzzy Systems. FUZZ- IEEE 2000 (Cat. No.00CH37063).

[45]  Lotfi A. Zadeh,et al.  Outline of a New Approach to the Analysis of Complex Systems and Decision Processes , 1973, IEEE Trans. Syst. Man Cybern..

[46]  D. Lewis Probabilities of Conditionals and Conditional Probabilities , 1976 .

[47]  Eyke Hüllermeier,et al.  Flexible Control of Case-Based Prediction in the Framework of Possibility Theory , 2000, EWCBR.