摘要：本论文介绍一种新的基于规则的程序设计语言,其名为 PICASSO,它为具体执行模糊决策支持系统(Fuzzy Decision SupportSystem)而设计。PICASSO 已在美国休斯顿大学计算中心的 AT&T 公司的3B2OS 小型计算机上部分运行。整个系统用 Franz Lisp 书写。PICASSO 具有以下特征。它使用正向链接(Forward chaining)推理手段。该语言有三种控制策略:面向宽度优先的系统控制模式,用户控制模式和元规则(meta-rule)^(*2)控制模式。PICASSO 支持匹配变量以及其他类型的变量,以便于使用以模式匹配为主的调用方式。在该语言中,不同规则之间的信息能够用信息传送和数据共享两种方法来进行通讯、交换。PICASSO 的规则工作在可永久保存的知识库上,这个知识库必须预先用称为符号图形(S—diagram)的一种强有力的数据模式来定义。PICASSO 的推理器(inference engine)实施知识库的一致性。知识库中可以保存模糊信息(fuzzy information),这些信息用区间模式的二值法来表示。区间模式允许分配一个概率给一个事实(断言),同时还要表示我们相信这种概率估计的程度,这一点对于模糊决策支持系统来说是重要的,因为这种系统常牵涉到不同程度的经验知识的判定规则。有了对某些事实(断言)的概率估计,又有专家对此概率的相信程度(凭经验),就可较全面地选择某种决策。对于区间模式来说,我们已经提供了一些特定的运算公式,用于对不确定性(uncertainty)知识进行自动推理。PICASSO 支持基于规则的程序设计语言和函数型的程序设计语言两者的组合并支持多个基于规则的程序设计语言和函数型的程序设计语言两者的组合,并支持多个基于规则的程序之间的协同操作:可以容易地把 PICASSO 程序综合成象一般的 LISP 函数那样的 LISP 程序,而且 PICASSO程序本身也可以任意地调用 LISP 函数。