Denotational semantics of dynamic fuzzy logic programming language

被引：0
|
作者：
Zhao, Xiaofang [1 ]
Li, Fanzhang [1 ]
机构：
[1] Suzhou Univ, Sch Comp & Technol, Suzhou 215006, Peoples R China
来源：
2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING | 2006年
关键词：
denotational semantics; dynamic fuzzy logic; (DFL) programming language; operational semantics;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In reference [1], we have given the operational semantics model of dynamic fuzzy logic (DFL) programming language which has an excellent leading meaning to realizers. However, it is hard to see whether the language is well defined. That led us to pay attention to the denotational semantics because it is suitable for testing the validity of the implement of a language. In this paper we research the denotationl semantics of dynamic fuzzy logic programming language, which includes modifying the classical lambda calculus to introduce the character of dynamic fuzzy, the abstract syntax, the descriptions of semantic objects and the handling functions of semantics.
引用
收藏
页码：409 / +
页数：2
相关论文
共 50 条
  • [1] The Semantics of Dynamic Fuzzy Logic Programming Language
    Zhao, Xiaofang
    [J]. EMERGING RESEARCH IN ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, 2011, 237 : 272 - 279
  • [2] A denotational semantics of a concatenative/compositional programming language
    Mihelic, Jurij
    Steingartner, William
    Novitzka, Valerie
    [J]. ACTA POLYTECHNICA HUNGARICA, 2021, 18 (04) : 231 - 250
  • [3] DENOTATIONAL SEMANTICS OF A PARA-FUNCTIONAL PROGRAMMING LANGUAGE
    HUDAK, P
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 1986, 15 (02) : 103 - 125
  • [4] PROGRAMMING DENOTATIONAL SEMANTICS
    ALLISON, L
    [J]. COMPUTER JOURNAL, 1983, 26 (02): : 164 - 174
  • [5] An object-oriented denotational semantics of a small programming language
    Dong, JS
    Duke, R
    Rose, G
    [J]. OBJECT ORIENTED SYSTEMS, 1997, 4 (01): : 29 - 52
  • [6] DENOTATIONAL SEMANTICS OF MIXED COMPUTATION PROCESSES FOR A STRUCTURAL PROGRAMMING LANGUAGE
    ZAKHAROVA, NT
    PETRUSHIN, VA
    YUSHCHENKO, EL
    [J]. CYBERNETICS, 1988, 24 (01): : 19 - 32
  • [7] A denotational semantics of defeasible logic
    Maher, MJ
    [J]. COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
  • [8] DENOTATIONAL SEMANTICS OF PROGRAMMING LANGUAGES
    TENNENT, RD
    [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (08) : 437 - 453
  • [9] A denotational semantics for equilibrium logic
    Aguado, Felicidad
    Cabalar, Pedro
    Pearce, David
    Perez, Gilberto
    Vidal, Concepcion
    [J]. THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2015, 15 : 620 - 634
  • [10] Dynamic Fuzzy Logic, Denotational Mathematics, and Cognition Modeling
    Perlovsky, Leonid
    [J]. JOURNAL OF ADVANCED MATHEMATICS AND APPLICATIONS, 2012, 1 (01) : 27 - 41
12345