一般地,
A→(B, C(B|A))
(8-1)
其中C(B|A)表示规那么的结论B在前提A为真的情况下为真的信
度。 例如, 对上节中给出的两个不确定性命题, 假设采用(8-1)式,
假如乌云密布同时电闪雷鸣, 那么天要下暴雨(0.95)。 假如头痛发烧, 那么患了感冒(0.8)。
那个地方的0.95和0.8确实是对应规那么结论的信度。它们代替 了原命题中的“很可能”和“大概”, 可视为规那么前提与结论 之间的一种关系强度。
(2) 非完全知识库。随着知识的不断获取, 知识数目渐增, 那么可能出现非单调现象。例如, 设初始知识库有规那么：
x(bird(x)→fly(x)) 即“所有的鸟都能飞”。 后来得到了事实：
需要指出的是, 程度语言值中的程度也能够转化为命题的 真度。 例如, 我们能够把命题“小明个子比较高”用程度元组
(小明, 身高, (高, 0.9)) 那个地方的0.9是小明高的程度。
((小明, 身高, 高), 真实性, (真, 0.9)) 那个地方的0.9是命题“小明个子高”的真实程度, 即真度。 如 此, 我们就把小明的个子高的程度, 转化为命题“小明个子高” 的真度, 而且二者在数值上是相等的。
(2) 不确定性推理中一个规那么的触发,不仅要求其前提能匹 配成功,而且前提条件的总信度还必须至少达到阈值。
(3) 不确定性推理中所推得的结论是否有效, 也取决于其 信度是否达到阈值。
(4) 不确定性推理还要求有一套关于信度的计算方法, 包括 “与”关系的信度计算、“或”关系的信度计算、“非”关 系的信度计算和推理结果信度的计算等等。 这些计算也确实 是在推理过程中要反复进行的计算。
在非单调逻辑中, 假设由某假设出发进行的推理中一旦出 现不一致, 即出现与假设矛盾的命题, 那么允许撤消原来的假 设及由它推出的全部结论。基于非单调逻辑的推理称为非单 调逻辑推理, 或非单调推理。
