不确定推理的一个注记.pdfVIP

第九屠垒置多僵逻辑与辏■逻■学木套议 不确定推理的一个注记 范九伦 (西安邮电学院计算机系，西安， 710061) 羹要 本文给出文【l】定义的不确定推理真值传播方法的严格叙述．并给出文【1】 中两个定理的简单证明。 关■罚决策不确定推理真值 一、 引言 在知识工程领域，基于不完全知识的推理和模糊知识推理受到了特别的重 视和广泛的应用。在模糊逻辑中，命题不仅取真假两个值(O和1)，模糊命题 的真值可以取O和l之间的任意值。真值越大，命题越真(这里0表示假，。l 表示真)。在命题上定义了“合取”、“析取”等运算，并规定了运算式所得结果 命题的真值计算公式。例如，合取式鼻^P2^…n只的真值规定为各子式 与，B，…，只真值的最小者或各子式#，只，…，只真值的平均值。这种形式的模糊 逻辑虽然在一定程度上反映了一些客观法则，但在有些情形仍不适用，譬如决 策支持系统．针对这一问题，文【l】给出了一个不确定推理真值传播的计算方法， 借助对数函数对真值传播的结果进行度量。但仔细阅读文【l】可知，该文对问题 的叙述有许多不严密之处，此外定理4和定理5的证明是很复杂的。本文给出