Approximate reasoning and prototypical knowledge

Abstract Prototypical knowledge plays an important role in many representation formalisms, particularly in those used to implement diagnostic expert systems. The aim of this paper is to present a general technique for performing approximate reasoning in systems based on prototypical knowledge representation. We extend some of the formalisms currently used in knowledge representation to the case of uncertain knowledge by defining a more flexible mechanism for representing admissible values of a given feature (via fuzzy logic), by designing general evaluation mechanisms for the match between prototypical knowledge and incomplete and/or partial data, and by introducing the notion of relevance in order to avoid the choice between strictly necessary conditions and strictly sufficient conditions.

[1]  Didier Dubois,et al.  A review of fuzzy set aggregation connectives , 1985, Inf. Sci..

[2]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[3]  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.

[4]  Ronald J. Brachman,et al.  "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..

[5]  S. Weber.  A general concept of fuzzy connectives, negations and implications based on t-norms and t-conorms , 1983 .

[6]  E. Shortliffe.  Computer-based medical consultations: mycin (elsevier north holland , 1976 .

[7]  L. Zadeh.  The role of fuzzy logic in the management of uncertainty in expert systems , 1983 .

[8]  Pietro Torasso,et al.  Causal Reasoning In Diagnostic Expert Systems , 1987, Other Conferences.

[9]  Hector J. Levesque,et al.  The Tractability of Subsumption in Frame-Based Description Languages , 1984, AAAI.

[10]  G. Gorry,et al.  Towards the simulation of clinical cognition. Taking a present illness by computer. , 1976, The American journal of medicine.

[11]  Pietro Torasso,et al.  Prototypical knowledge for interpreting fuzzy concepts and quantifiers , 1987 .

[12]  Edward E. Smith,et al.  On the adequacy of prototype theory as a theory of concepts , 1981, Cognition.

[13]  William J. Clancey,et al.  Heuristic Classification , 1986, Artif. Intell..

[14]  Marvin Minsky,et al.  A framework for representing knowledge" in the psychology of computer vision , 1975 .

[15]  Liu Dsosu,et al.  Fuzzy random measure and its extension theorem , 1983 .

[16]  Janice S. Aikins,et al.  Prototypical Knowledge for Expert Systems , 1983, Artif. Intell..

[17]  Richard Fikes,et al.  The role of frame-based representation in reasoning , 1985, CACM.

[18]  Pietro Torasso,et al.  Evidence Combination in Expert Systems , 1985, Int. J. Man Mach. Stud..

[19]  Lotfi A. Zadeh,et al.  A Computational Theory of Dispositions , 1984, ACL.

[20]  James A. Reggia,et al.  Diagnostic Expert Systems Based on a Set Covering Model , 1983, Int. J. Man Mach. Stud..

[21]  Edward H. Shortliffe,et al.  Computer-based medical consultations, MYCIN , 1976 .

[22]  William A. Woods,et al.  What's in a Link: Foundations for Semantic Networks , 1975 .

[23]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .