3.2.4 语义描述方法 不确定性推理有数值方法和非数值的语义描述方法。Cohen 1985年提出的不确定性批注（endosement）模型就属语义描述方法。由于不确定性的出现有多种多样的原因，仅用数值来描述是难于表达清楚的，像信任度的含义也不是十分清楚的。而当专家不是采用数值方法推理时，也不该把数值描述强加于专家知识上。 批注方法对每一步推理都记录了不确定性的理由，为将不确定性方法统一于某一理论下提供了可能。批注的内容可以是多种多样的。 批注方法的基本观点是：用数量来表示的信任度是对知识或证据的某种信任的原因和不信任的原因的一种综合描述，然而常常不仅需要知道信任的程度，而且也需知道信任的原因，批注方法就是关于这种知识的表示与推理的方法，优点是可以明确地知道为什么会出现不确定性，进而找出解决不确定性的方法来。 1.批注模型 对知识和证据的不确定性因素的一种明确的语义记录称为批注，是对一个命题信任和不信任理由的结构化知识表示，批注模型的目的是通过使用不确定知识对系统的行为产生影响。当系统缺少解决不确定知识时，应能提出解决问题的方法，称作"分解"任务。 批注模型中，一个问题总是和某些批注联系在一起的，命题是否可信不但取决于这些批注，还依赖于想要得到什么样的结果。当批注满足要求时，命题可信，当不满足要求时，命题是不可信的。信任的理由为正批注，也就是满足要求的批注，不信任的理由为负批注，是不满足要求的批注。在与某命题有关的一组批注中可能既有正批注又有负批注。 批注的作用，一是当使用某条规则得到一个结论时，要根据批注来决定该结论是否可以充分确定。一是当得到的结论不确定时，要根据相应的批注来生成分解任务。通过分解任务的执行以便减少不确定性，或在一定程度上降低不确定性的影响。 在批注模型中，需要批注的知识，依命题的批注来判断命题是否可信的有关规则，批注分级的知识，生成分解任务的规则以及推理中批注的传播知识。 批注模型一般与具体领域有关，对某个领域可建立一个批注体系，可包括一些通用的批注和一些专门的批注。 推理中批注的传播是一个关键问题，然而批注的传播比信任度的传播要复杂得多。由于批注的含义是不确定性的原因，因此不可能给出一个解决批注传播的简单通用算法。像其于规则的使用批注方法实现不确定性推的SOLOMON系统，把批注的传播简单地处理为将在证明过程中所产生的批注全都加到要证明的结论的批注中，所以经过几步推理就建立了一个很大的批注体，给批注的管理带来困难。这样做的理由是简单的，即对前提信任与不信任的理由也一定是对结论信任与不信任的理由。 2.批注形式 以SOLOMON系统为例来说明几种具体批注。这个系统是基于规则的以类似于框架结构来表示批注，控制结构是反向推理，这种方式容易递归地生成子目标。SOLOMON有一个由命题组成的数据库，而这些命题不一定是真的甚至可以很弱，使用时需依批注来判别命题是否可信。SOLOMON把求解过程设计成满足目标的一些任务来实现。任务放在agenda表中，并按批注加以排序，当一个任务从agenda中取出准备运行时，首先检查它是否值行运行，放弃结论不充分确定的任务，如果agenda表中批注最好的任务都不能满足要求，就设法生成一个分解任务。 SOLOMON有六种批注 （1） 对规则中条件的批注 may be-too-general：太一般。许多满足条件的情况并不支持规则结论。 may be-too-Specific：太特殊。有时不是必要的。 exact：精确的，没有理由不信任的。 supportive：支持的。 neccessary：必要的。 hart-nort：强否定。 CWA：封闭世界假设。 Ostrich：无视现实。只要数据库中不存在则认为条件满足。 flexible：灵活的。 inflexible：不灵活的。 （2） 对规则的推理类型的批注 mode-based：基于模型的。 Cousal：有原因的。条伯件和结论间有因果关系。 Correlational：相关的，条件和结论间有关系。但不是明显的因果关系。 （3） 对任务的批注 P-Corrobrate：证实。任务的结论证实agenda 中另一任务的结论。 P－Conflict：冲突。 P-Potential-Conflict：潜在的冲突。 P-redundant：多余的。 （4） 对结论的批注 结论的批注除任务批注外还有 Unlikely：不一定。 Modal：形式的。 Unwarranted：理由不充分的。 （5） 对数据的批注 Source：来源。 type-of-data：类型。 accuracy：精度。 （6） 对分解任务的批注 一般是批注分解的类型。 |