FUZZY SEMANTIC ANALYSIS AND FORMAL SPECIFICATION OF CONCEPTUAL KNOWLEDGE

Conceptual knowledge can be specified using one of the methods of form al specification of the semantics of a computer program: axiomatic sem antics, denotational semantics, or operational semantics. For example, axiomatic semantics can be used to specify the conceptual knowledge o f a medical doctor in an expert system for medical diagnosis. The prob lem is, however, that the knowledge of the expert is not always crisp and well defined. In such cases, a mean for specifying fuzzy conceptua l knowledge is required. This paper proposes a method for the specific ations of fuzzy conceptual knowledge. To this end, the concepts of fuz zy axiomatic semantics and fuzzy denotational semantics are developed. Fuzzy semantics is a generalization of classical semantics.