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

第 36 卷 　第 1 期 计 算 机 科 学 Vol . 36 No . 1 2009 年 1 月 Co mp ut er Science J an . 2009 动态模糊逻辑程序设计语言的指称语义 韩小芬 　李凡长 (苏州大学计算机科学与技术学院　苏州 2 15006) 　 摘 　要 　文献[ 8 ]借鉴 Dij k st ra 的监督命令程序结构 ,给出了动态模糊逻辑程序设计语言的基本框架结构 。在此基础 上 ,进一步扩充和完善 ,并根据指称语义的原理和方法 ,用结构归纳法给出动态模糊逻辑程序设计语言的指称语义 ,主 要包括 :动态模糊程序设计语言的语义域 、语义函数及其指称语义 。最后给出了一个动态模糊程序设计语言的例子以 观察程序的运行过程 。 关键词 　动态模糊逻辑 ,动态模糊逻辑程序设计语言 ,指称语义 　 Denotational Semantics of Dynamic Fuzzy Logic Programming Language HAN Xiaofen 　L I Fanzhang ( School of Comp ut er Science Technology , Soochow U niver sit y ,Suzhou 2 15006 ,China) 　 Abstract 　Reference [ 8 ] p ropo sed t he basic f rame work of dynamic fuzzy lo gic p ro gramming language accor ding to t he guar ded commands p ro gram st ruct ure p ropo sed by Dij k st ra . Ba sed on it ,t hi s p ap er ext ended and comp let ed t he f rame of dynamic fuzzy logic p rogramming language ,and t hen accor ding to t he p rincip le and met hod of denot ational semantics , defined it s denot ational semantics by st ruct ural induction ,which includes t he semantics domain s and semantics function s of dynamic fuzzy lo gic p ro gramming language and it s denot ational semantics mo del . We p rovided an example to ob serve t he execut e p rocess of t he p rogram . Keywords 　Dynamic fuzzy logic , Dynamic fuzzy lo gic p ro gramming language , Denot ational semantics 　 模糊语言的框架及其操作语义 。鉴于此方面的研究工作还不 1 　前言 完善 ,本文进一步对该语言框架扩充和完善 ,通过指称语义描 语义学是语言设计中的重要 内容之一 ,大致可以分为 4 述方法 ,提出了动态模糊逻辑程序设计语言的指称语义模型 , 个分支