FUZZY SEMANTIC ANALYSIS AND FORMAL SPECIFICATION OF CONCEPTUAL KNOWLEDGE

被引：8
|
作者：
TAMIR, DE [1 ]
KANDEL, A [1 ]
机构：
[1] UNIV S FLORIDA,COLL ENGN,DEPT COMP SCI & ENGN,TAMPA,FL 33620
来源：
INFORMATION SCIENCES | 1995年 / 82卷 / 3-4期
关键词：
D O I：
10.1016/0020-0255(94)00049-H
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：181 / 196
页数：16
相关论文
共 50 条
  • [1] Formal ontology, conceptual analysis and knowledge representation
    Guarino, N
    INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 1995, 43 (5-6) : 625 - 640
  • [2] Formal ontology, conceptual analysis and knowledge representation
    Int J Hum Comput Stud, 5-6 (625):
  • [3] Conceptual knowledge processing with formal concept analysis and ontologies
    Cimiano, P
    Hotho, A
    Stumme, G
    Tane, J
    CONCEPT LATTICES, PROCEEDINGS, 2004, 2961 : 189 - 207
  • [4] A formal specification for a fuzzy expert system
    Matthews, C
    INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (07) : 419 - 429
  • [5] Computing semantic relatedness using latent semantic analysis and fuzzy formal concept analysis
    Jain S.
    Seeja K.R.
    Jindal R.
    Jain, Shivani (shivanijain13@gmail.com), 1600, Inderscience Publishers (13): : 92 - 100
  • [6] Semantic access control model:: A formal specification
    Yagüe, MI
    Gallardo, MD
    Maña, A
    COMPUTER SECURITY - ESORICS 2005, PROCEEDINGS, 2005, 3679 : 24 - 43
  • [7] Formal semantic specification for a set of UML diagrams
    Zhang, C
    SERP'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2003, : 883 - 889
  • [8] KNOWLEDGE BASED SUPPORT FOR FORMAL SPECIFICATION
    MASTERSON, JJ
    ISHAQ, KP
    HOCKLEY, AT
    BRITISH TELECOM TECHNOLOGY JOURNAL, 1988, 6 (04): : 73 - 83
  • [9] CONCEPT SIMILARITY IN FUZZY FORMAL CONCEPT ANALYSIS FOR SEMANTIC WEB
    Formica, Anna
    INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, 2010, 18 (02) : 153 - 167
  • [10] Formal Specification of Adaptable Semantic Web Services Composition
    Ben Lamine, Rihab
    Ben Jemaa, Raoudha
    Ben Amor, Ikram Amous
    INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2018, 13 (04) : 14 - 34
12345