The Semantics of Dynamic Fuzzy Logic Programming Language

被引：0
|
作者：
Zhao, Xiaofang [1 ]
机构：
[1] Shandong Inst Business & Technol, Sch Comp Sci & Technol, Yantai, Peoples R China
来源：
EMERGING RESEARCH IN ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE | 2011年 / 237卷
关键词：
Dynamic fuzzy logic (DFL); Programming language; Denotational semantics;
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Dynamic fuzzy problems exist extensively in realistic world. The dynamic fuzzy logic (DFL) programming language is to deal with dynamic fuzzy data. In order to implement DFL programming language, it should be firstly defined. In this paper, we give the denotational semantics of DFL programming language. The work mainly includes modifying the classical lambda calculus to introduce the character of dynamic fuzzy, the descriptions of semantic objects and the handling functions of semantics.
引用
收藏
页码：272 / 279
页数：8
相关论文
共 50 条
  • [41] Fuzzy logic programming
    Ebrahim, R
    [J]. FUZZY SETS AND SYSTEMS, 2001, 117 (02) : 215 - 230
  • [42] COALGEBRAIC SEMANTICS FOR PROBABILISTIC LOGIC PROGRAMMING
    Gu, Tao
    Zanasi, Fabio
    [J]. LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (02) : 2:1 - 2:35
  • [43] Fixpoint semantics for logic programming a survey
    Fitting, M
    [J]. THEORETICAL COMPUTER SCIENCE, 2002, 278 (1-2) : 25 - 51
  • [44] Logic, semantics and theory of programming - Preface
    Danvy, Olivier
    O'Hearn, Peter
    Wadler, Philip
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 375 (1-3) : 1 - 2
  • [45] LOGIC, SEMANTICS AND THEORY OF PROGRAMMING - PREFACE
    DEZANICIANCAGLINI, M
    DELLAROCCA, SR
    VENTURINIZILLI, M
    [J]. THEORETICAL COMPUTER SCIENCE, 1993, 121 (1-2) : R11 - R12
  • [46] Semantics and types in functional logic programming
    González-Moreno, JC
    Hortalá-González, MT
    Rodríguez-Artalejo, M
    [J]. FUNCTIONAL AND LOGIC PROGRAMMING, PROCEEDINGS, 1999, 1722 : 1 - 20
  • [47] SEMANTICS OF NONMONOTONIC REASONING IN LOGIC PROGRAMMING
    HERRE, H
    [J]. LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 619 : 104 - 124
  • [48] Logic, semantics and theory of programming Preface
    Mislove, Michael
    [J]. THEORETICAL COMPUTER SCIENCE, 2010, 411 (19) : 1899 - 1899
  • [49] Logic, semantics and theory of programming Foreword
    Kopperman, Ralph
    Panangaden, Prakash
    Smyth, Michael B.
    Spreen, Dieter
    [J]. THEORETICAL COMPUTER SCIENCE, 2008, 405 (1-2) : 1 - 2
  • [50] A game semantics for disjunctive logic programming
    Tsouanas, Thanos
    [J]. ANNALS OF PURE AND APPLIED LOGIC, 2013, 164 (11) : 1144 - 1175
12345