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

Denotational Semantics of Dynamic Fuzzy Logic Programming Language

作　　者：韩小芬[1] 李凡长[1] 

机构地区：[1]苏州大学计算机科学与技术学院

出　　处：《计算机科学》2009年第1期153-157,共5页Computer Science

基　　金：国家自然科学基金(60775045);江苏省自然科学基金(BK2005027;BK2002040)资助

摘　　要：文献[8]借鉴Dijkstra的监督命令程序结构,给出了动态模糊逻辑程序设计语言的基本框架结构。在此基础上,进一步扩充和完善,并根据指称语义的原理和方法,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义,主要包括:动态模糊程序设计语言的语义域、语义函数及其指称语义。最后给出了一个动态模糊程序设计语言的例子以观察程序的运行过程。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 language, and then according to the principle and method of denotational semantics, defined its denotational semantics by structural induction, which includes the semantics domains and semantics functions of dynamic fuzzy logic programming language and its denotational semantics model. We provided an example to observe the execute process of the program.

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

分 类 号：TP312[自动化与计算机技术—计算机软件与理论] TN919.81[自动化与计算机技术—计算机科学与技术]