摘要
本文以模糊关系推理语言FRIL为背景,介绍了用于处理各种不确定性的支持对理论(support-pair theory),探讨了基于积模型(multiplication model)的一般的模糊逻辑程序设计语言的基本设计原理。这类通用的语言是一种类似于PROLOG的查询类型语言。基于Zadch的模糊集理论和Shafer的证据理论,其事实和规则语句的不确定性用支持对来度量。这类通用语言为在专家系统中表达知识和进行不确定推理提供了一个强有力的新工具。
Based on fuzzy relation inference language FRIL, this paper introduces the support-pair theory used to deal with a variety of uncertainties, and investigates a general principle of implementing fuzzy logic programming language on the basis of multiplication model. Based oofn Zadeh's fuzzy set theory and Shafer's evidence theory, the uncertainties of fact clause and rule clause are represented by support-pairs. This kind general language is a query one similar to PROLOG, which is used to represent knowledge and to reason with uncertainties in expert systems.
关键词
专家系统
程序语言
模糊集
PROLOG, fuzzy set, expert system, reasoning with uncertainties, logical programming language.
