Fuzzy Semantic Analysis and Formal Specification of Conceptual Knowledge

Conceptual knowledge can be specified using one of the methods of formal specification of the semantics of a computer program: axiomatic semantics, denotational semantics, or operational semantics. For example, axiomatic semantics can be used to specify the conceptual knowledge of a medical doctor in an expert system for medical diagnosis. The problem is, however, that the knowledge of the expert is not always crisp and well defined. In such cases, a mean for specifying fuzzy conceptual knowledge is required. This paper proposes a method for the specifications of fuzzy conceptual knowledge. To this end, the concepts of fuzzy axiomatic semantics and fuzzy denotational semantics are developed. Fuzzy semantics is a generalization of classical semantics.

[1]  Karen Spärck Jones,et al.  Readings in natural language processing , 1986 .

[2]  Joseph O'Rourke,et al.  The Living Word Vocabulary: The Words We Know, A National Vocabulary Inventory , 1976 .

[3]  Rudolf Carnap,et al.  Meaning and Necessity, A Study in Semantics and Modal Logic. , 1958 .

[4]  Joseph E. Stoy,et al.  Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory , 1981 .

[5]  Abraham Adolf Fraenkel,et al.  Abstract set theory , 1953 .

[6]  L. A. Zadeh,et al.  From Circuit Theory to System Theory , 1962, Proceedings of the IRE.

[7]  Abraham Kandel.  Fuzzy Statistics and Policy Analysis , 1980 .

[8]  R. Carnap.  Meaning and necessity : a study in semantics and modal logic , 1948 .

[9]  J. Heijenoort.  From Frege To Gödel , 1967 .

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

[11]  Gruia-Catalin Roman.  Formal specification of geographic data processing requirements , 1986, 1986 IEEE Second International Conference on Data Engineering.

[12]  David Chenho Kung,et al.  On Structural and Behavioral Modeling of Reality , 1985, DS-1.

[13]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[14]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[15]  Edward Sciore,et al.  A Universal Relation Data Model with Semantic Abstraction , 1992, IEEE Trans. Knowl. Data Eng..

[16]  Raj Bhatnagar,et al.  Handling Uncertain Information: A Review of Numeric and Non-numeric Methods , 1985, UAI.

[17]  Donald Nute.  Essential Formal Semantics , 1981 .

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

[19]  M.McGee Wood,et al.  Natural language processing in Prolog , 1990 .

[20]  Ronald M. Lee.  A denotational Semantics for Administrative Databases , 1985, DS-1.

[21]  Y. Wilks.  Default reasoning and self-knowledge , 1986, Proceedings of the IEEE.

[22]  R. Montague.  Formal philosophy; selected papers of Richard Montague , 1974 .

[23]  Jim Diederich,et al.  Creating Domain Specific Metadata for Scientific and Knowledge Bases , 1991, IEEE Trans. Knowl. Data Eng..

[24]  Richard Montague,et al.  ENGLISH AS A FORMAL LANGUAGE , 1975 .

[25]  Robert C. Berwick,et al.  Computational complexity and natural language , 1987 .

[26]  Dan E. Tamir.  A schema for knowledge representation and its implementation in a computer-aided design and manufacturing system , 1989 .

[27]  Hung T. Nguyen,et al.  Uncertainty Models for Knowledge-Based Systems; A Unified Approach to the Measurement of Uncertainty , 1985 .

[28]  Abraham Kandel,et al.  An axiomatic approach to fuzzy set theory , 1990, Inf. Sci..

[29]  Lotfi A. Zadeh,et al.  Quantitative fuzzy semantics , 1971, Inf. Sci..

[30]  Lotfi A. Zadeh,et al.  Fuzzy Sets , 1996, Inf. Control..

[31]  H. Feigl,et al.  Readings in philosophical analysis , 1950 .

[32]  Peter Lucas,et al.  Formal Semantics of Programming Languages: VDL , 1981, IBM J. Res. Dev..

[33]  Peter Schefe.  On foundations of reasoning with uncertain facts and vague concepts , 1980 .

[34]  John F. Lemmer,et al.  Confidence Factors, Empiricism and the Dempster-Shafer Theory of Evidence , 1985, UAI.

[35]  M. Symons.  An introduction to probability, decision, and inference , 1971 .

[36]  H. K. Berg.  Formal methods of program verification and specification , 1982 .

[37]  Michael A. Arbib,et al.  From Schema Theory To Language , 1987 .