Fuzzy rules in knowledge-based systems

The paper starts with ideas of possibility qualification and certainty qualification for specifying the possible range of a variable whose value is ill-known. The notion of possibility which is used for that purpose is not the standard one in possibility theory, although the two notions of possibility can be related. Based on these considerations four distinct types of rules with different semantics involving gradedness and uncertainty are then introduced. The combination operations which appear for taking advantage of the available knowledge are all derived from the intended semantics of the rules. The processing of these four types of rules is studied in detail. Fuzzy rules modelling preference in decision processes are also discussed.

[1]  Didier Dubois,et al.  Gradual inference rules in approximate reasoning , 1992, Inf. Sci..

[2]  Bruce G. Buchanan,et al.  The MYCIN Experiments of the Stanford Heuristic Programming Project , 1985 .

[3]  Piero P. Bonissone,et al.  RUM: A Layered Architecture for Reasoning with Uncertainty , 1987, IJCAI.

[4]  Madan M. Gupta,et al.  Fuzzy Computing: Theory, Hardware, and Applications , 1988 .

[5]  Suzanne Pinson,et al.  A Multi-Attribute Approach to Knowledge Representation for Loan Granting , 1987, IJCAI.

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

[7]  Bernadette Bouchon.  Fuzzy inferences and conditional possibility distributions , 1987 .

[8]  Michio Sugeno,et al.  Industrial Applications of Fuzzy Control , 1985 .

[9]  Lotfi A. Zadeh,et al.  PRUF—a meaning representation language for natural languages , 1978 .

[10]  L. N. Kanal,et al.  Uncertainty in Artificial Intelligence 5 , 1990 .

[11]  J. F. Baldwin,et al.  A model of fuzzy reasoning through multi-valued logic and set theory , 1979 .

[12]  D. Dubois,et al.  Social choice axioms for fuzzy set aggregation , 1991 .

[13]  Glenn Shafer,et al.  A Mathematical Theory of Evidence , 2020, A Mathematical Theory of Evidence.

[14]  H. Zimmermann,et al.  Comparison of fuzzy reasoning methods , 1982 .

[15]  T. Tsukiyama,et al.  A FUZZY SYSTEM MODEL BASED ON THE LOGICAL STRUCTURE , 1993 .

[16]  Didier Dubois,et al.  Inference in Possibilistic Hypergraphs , 1990, IPMU.

[17]  Lotfi A. Zadeh,et al.  Similarity relations and fuzzy orderings , 1971, Inf. Sci..

[18]  Philippe Smets,et al.  Epistemic necessity, possibility, and truth. Tools for dealing with imprecision and uncertainty in fuzzy knowledge-based systems , 1989, Int. J. Approx. Reason..

[19]  M. Gupta,et al.  FUZZY INFORMATION AND DECISION PROCESSES , 1981 .

[20]  Marialuisa N. McAllister.  Possibility Theory: An Approach to Computerized Processing of Uncertainty (Didier Dubois and Henri Prade with the collaboration o f Henri Farreny, Roger Martin-Clouaire, and Claudette Testemale; E. F. Handing, trans.) , 1992, SIAM Rev..

[21]  L. Valverde,et al.  ON MODE AND IMPLICATION IN APPROXIMATE REASONING , 1993 .

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

[23]  Eric Horvitz,et al.  The myth of modularity in rule-based systems for reasoning with uncertainty , 1986, UAI.

[24]  Rudolf Kruse,et al.  Fuzzy reasoning in a multidimensional space of hypotheses , 1990, Int. J. Approx. Reason..

[25]  Madan M. Gupta,et al.  Approximate reasoning in expert systems , 1985 .

[26]  Didier Dubois,et al.  Resolution principles in possibilistic logic , 1990, Int. J. Approx. Reason..

[27]  E. Bensana,et al.  OPAL: A Knowledge-Based System for Industrial Job-Shop Scheduling , 1988 .

[28]  D. Dubois,et al.  Fuzzy sets in approximate reasoning, part 2: logical approaches , 1991 .

[29]  D. Dubois,et al.  Weighted fuzzy pattern matching , 1988 .

[30]  Roger Martin-Clouaire,et al.  Semantics and computation of the generalized modus ponens: The long paper , 1989, Int. J. Approx. Reason..

[31]  Ronald R. Yager,et al.  On considerations of credibility of evidence , 1992, Int. J. Approx. Reason..

[32]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[33]  Philippe Smets,et al.  Implication in fuzzy logic , 1987, Int. J. Approx. Reason..

[34]  Ronald R. Yager,et al.  Approximate reasoning as a basis for rule-based expert systems , 1984, IEEE Transactions on Systems, Man, and Cybernetics.

[35]  Ralph L. Keeney,et al.  Value-driven expert systems for decision support , 1988, Decis. Support Syst..

[36]  Henri Prade,et al.  A Computational Approach to Approximate and Plausible Reasoning with Applications to Expert Systems , 1985, IEEE Transactions on Pattern Analysis and Machine Intelligence.

[37]  Lluís Godo,et al.  Managing Linguistically Expressed Uncertainty in MILORD Application to Medical Diagnosis , 1988 .

[38]  Elie Sanchez,et al.  On possibility qualification in natural languages , 1978, Inf. Sci..

[39]  B. Bounchon,et al.  Stability of linguistic modifiers compatible with a fuzzy logic , 1988 .

[40]  D. Dubois,et al.  FUZZY LOGICS AND THE GENERALIZED MODUS PONENS REVISITED , 1984 .

[41]  L. Zadeh.  A Fuzzy-Set-Theoretic Interpretation of Linguistic Hedges , 1972 .

[42]  Didier Dubois,et al.  Possibility Theory - An Approach to Computerized Processing of Uncertainty , 1988 .