动态模糊逻辑(DFL)程序设计语言的结构化操作语义  

STRUCTURED OPERATIONAL SEMANTICS OF A DYNAMIC FUZZY LOGIC PROGRAMMING LANGUAGE

作　　者：赵小芳[1] 范辉[1] 

机构地区：[1]山东工商学院信息与电子工程学院,山东烟台264005

出　　处：《计算机应用与软件》2008年第8期136-137,146,共3页Computer Applications and Software

摘　　要：动态模糊问题在客观世界中是普遍存在的,作为解决动态模糊问题的理论工具-动态模糊逻辑(DFL)已有十年的研究历史了,为了更有效地解决动态模糊问题,使DFL成为一种切实可实现的逻辑系统,有必要研究设计一种适合解决动态模糊性问题的程序设计语言。仿照监督命令的程序结构,给出动态模糊程序设计语言的结构化操作语义,其内容包括:动态模糊逻辑程序设计语言的抽象语法、动态模糊语义并通过一个简单实例说明其有效性。The dynamic fuzzy logic （DFL） , as a theory tool to solve dynamic fuzzy problems which are the ubiquity in the objective world, has been studying almost ten years. In order to more effectively deal with dynamic fuzzy problems and make DFL a practical and realizable logic system, it is necessary to exploit and design a programming language which adapted to dynamic fuzzy problems. In this paper, following the program structure of supervision orders, a structured operational semantics of a dynamic fuzzy logic programming language was given, it includes the abstract syntax and dynamic fuzzy semantics of the language. The validity of the operational semantics was illustrated by a simple example.

关 键 词：动态模糊逻辑 动态模糊逻辑程序设计语言 结构化操作语义 

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