摘 要: | 本文中近似推理的理论阐述的是从一组不精确前提推演出可能是不精确的结论。近似推理的理论是建立在模糊逻辑(FL)基础上的。它的真值是语言性的,即是像真,不真,很真,或多或少为真,假,不很假等这种形式的真值。推理的法则是近似的而不是精确的,并且假定前提采取下列模糊命题的形式。例如:“(X is much smaller than Y)is quite true”,“If X is small is possiblethen Y is very large is very likely。”等。通过使用可能性分布(而不是概率分布)的概念,这种命题被翻译成 PRUF 的、表达式。PRUF 是(Possibilistic Rela-tional Universal Fuzzy)的缩写,它是一个目然语言的意义表示语言。一个 PRUF 的表达式是一个过程,它是用于计算由一个用目然语言表示的命题引入的可能性分布。通过对这种分布应用 PRUF 的推理法则,我们得到其它的可能性分布,它们是从模糊前提出发演绎得到的结论,然后对它们进行再翻译,用语言近似地表示出来。模糊逻辑推理的基本法则是投影原理,特指/合取原理和必含原理。最后通过一些例子来说明这些法则在近似推理中的应用。
|