29、CONMAN：带不确定性的专家系统外壳解析

CONMAN：带不确定性的专家系统外壳解析

1. 置信因子的基本概念与策略

在处理假设的置信度时，置信因子是一个关键概念。置信因子的取值范围在 0 到 100 之间，0 表示假设肯定为假，100 表示假设肯定为真，50 则意味着支持和反对该假设的证据平衡。当有多个规则为同一假设提供不同的置信因子时，一些专家系统会将低于 50 的因子结合起来得到反对该假设的证据，将高于 50 的因子结合起来得到支持该假设的证据，然后比较两者得出总证据。

而对于 CONMAN，我们采用了更简单的策略：
- 假设规则只能提供支持假设的证据，不能提供反对证据。
- 不认为不同规则提供的证据是累积的，而是将每个规则视为对假设的一种论证，最终取所有规则中给出的最大置信因子作为该假设的最终置信因子。

2. 置信规则的表示

普通的 Prolog 规则没有置信因子，在 CONMAN 中，我们使用 c_rule 谓词将带有置信因子的规则表示为 Prolog 事实。每个 c_rule 子句包含结论、置信因子、前提条件和规则条件，其格式如下：

c_rule(Hypothesis, ConfidenceFactor, Prerequisites, Conditions).

• Hypothesis ：是一个用英文引号括起来的原子，用于在向用户询问假设相关问题或报告对该假设的置信度时显示。
• ConfidenceFa