25、RIF中不确定性处理与模糊描述逻辑程序

RIF中不确定性处理与模糊描述逻辑程序

1. RIF中不确定性编码技术

在RIF（Rule Interchange Format）中，有多种编码不确定性的技术。其中一种是将所有n元谓词转换为(1 + n)元谓词，每个谓词的第一个参数用于捕获谓词应用的确定性因子。例如，一个模糊规则可以在RIF - BLD中表示如下：

Document(
Group
( Forall ?x1 . . . ?xk (
h(?ch t1 . . . tr) :- And(b1(?c1 t1,1 . . . t1,s1) . . . bn(?cn tn,1 . . . tc,sn)
?ct =Exetrnal(FIN(?c1 . . . ?cn))
?ch=Exetrnal(FIM(c ?ct))
)
) )

而一个形式为H / c的事实可以表示为：

h(c t1 . . . tr)

下面是一个具体的例子，将一个规则重写为RIF谓词形式：

Document(
Import (<http://example.org/fuzzy/membershipfunction>)
Group
( Forall ?x ?y(
cheapFlight(?ch ?x ?y) :- And(affordabldFlight(?c1 ?x ?y)
?ch=External(numberic-multiply(0.9 ?c1)))
)
Forall ?x ?y(affordableFlight(?c1?x ?y) :- ?c1=left shoulder0k4k1k3k(?y))
) )