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 条
  • [1] Denotational semantics of dynamic fuzzy logic programming language
    Zhao, Xiaofang
    Li, Fanzhang
    [J]. 2006 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING, 2006, : 409 - +
  • [2] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
    VANEMDEN, MH
    KOWALSKI, RA
    [J]. JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
  • [3] A Kripkean semantics for dynamic logic programming
    Sefránek, J
    [J]. LOGIC FOR PROGRAMMING AND AUTOMATED REASONING, PROCEEDINGS, 2000, 1955 : 469 - 486
  • [4] Programming fuzzy logic in assembly language
    Sibigtroth, JM
    [J]. NORTHCON/96 - IEEE TECHNICAL APPLICATIONS CONFERENCE, CONFERENCE RECORD, 1996, : 456 - 458
  • [5] Fuzzy constraint logic programming with answer set semantics
    Wang, Jie
    Liu, Chunnian
    [J]. KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2007, 4798 : 52 - +
  • [6] AN APPROACH TO NATURAL-LANGUAGE SEMANTICS IN LOGIC PROGRAMMING
    SAINTDIZIER, P
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1986, 3 (04): : 329 - 356
  • [7] The refined extension principle for semantics of dynamic logic programming
    Alferes J.J.
    Banti F.
    Brogi A.
    Leite J.A.
    [J]. Studia Logica, 2005, 79 (1) : 7 - 32
  • [8] THE PARTIAL CORRECTNESS SEMANTICS OF IMPERATIVE FUZZY PROGRAMMING LANGUAGE
    Wu, Hengyang
    Chen, Yixiang
    [J]. QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 223 - 230
  • [9] From Rewriting Logic, to Programming Language Semantics, to Program Verification
    Rosu, Grigore
    [J]. LOGIC, REWRITING, AND CONCURRENCY, 2015, 9200 : 598 - 616
  • [10] A Sound Semantics for a Similarity-Based Logic Programming Language
    Julian-Iranzo, Pascual
    Rubio-Manzano, Clemente
    [J]. ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2011, PT II, 2011, 6692 : 421 - 428
12345