Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
1995 | 10.1016/0020-0255(94)00049-H | Inf. Sci. |
Keywords | Field | DocType |
conceptual knowledge,formal specification,fuzzy semantic analysis,medical diagnosis,operational semantics,expert system | Formal semantics (linguistics),Operational semantics,Axiomatic semantics,Computational semantics,Computer science,Action semantics,Denotational semantics,Failure semantics,Natural language processing,Artificial intelligence,Well-founded semantics | Journal |
Volume | Issue | ISSN |
82 | 3-4 | 0020-0255 |
Citations | PageRank | References |
6 | 0.82 | 7 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Dan E. Tamir | 1 | 79 | 13.26 |
Abraham Kandel | 2 | 2145 | 276.03 |