计算机科学 ›› 2009, Vol. 36 ›› Issue (1): 153-157.

• • 上一篇    下一篇

动态模糊逻辑程序设计语言的指称语义

韩小芬 李凡长   

  1. 苏州大学计算机科学与技术学院,苏州215006
  • 出版日期:2018-11-16 发布日期:2018-11-16
  • 基金资助:
    本文的研究得到国家自然科学基金(60775045)和江苏省自然科学基金(BK2005027,BK2002040)资助.

HAN Xiao-fen ,LI Fan-zhang (School of Computer Science & Technology, Soochow University, Suzhou 215006, China)   

  • Online:2018-11-16 Published:2018-11-16

摘要: 文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。

关键词: 动态模糊逻辑 动态模糊逻辑程序设计语言 指称语义

Abstract: Reference[8] proposed the basic frame work of dynamic fuzzy logic programming language according to the guarded commands program structure proposed by Dijkstra. Based on it, this paper extended and completed the frame of dynamic fuzzy logic programming la

Key words: Dynamic fuzzy logic, Dynamic fuzzy logic programming language, Denotational semantics

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!