25、利用非单调推理处理查询和定义中的歧义

利用非单调推理处理查询和定义中的歧义

1. 实体新定义的获取与规则应用

在处理查询时，我们常常会遇到需要消除多余元素以解决歧义的问题。例如规则 δ：extension() : not@tax()，not@tax()，它表示如果查询中包含“extension”这个词，那么“tax”应该被消除。消除多余元素与歧义消除问题紧密相关。当我们不清楚查询的主题时，“extension”可能有“申报时间延期”和“计算机文件扩展名”两种含义，这时就需要额外的信息来进行分析。但如果是在一个狭窄的领域中进行问答，通常只有一种含义是预期的，另一种则是例外，此时额外信息就变得多余了。

为了更好地理解规则 δ，我们给出简化的默认规则“without extension”，即 ⊥: not@tax()，not@tax。然而，这个规则会误解一些查询，如“What is tax?”和“Can I deduct the tax I paid last year?”等。

根据消除多余部分的规则和简单规则的使用顺序，我们可以得到包含或多或少初始结构元素的多个扩展，因为这两种类型的默认规则会使彼此不适用。如果从简单规则开始，查询的表示将保持不变；否则，一些实体将被消除。知识工程师可以根据任务的具体情况选择应用默认规则的顺序。

2. 非单调语用学在总结逻辑形式中的应用

通常，仅使用纯关键词分析进行问答被认为是一种相当原始的方法。当查询中有两个以上的实体（带有属性）时，将查询表示为关键词的布尔组合的表达能力是不足的。为了在浅层句法处理下获得较高的问答准确率，有必要应用一些语用机制来筛选不恰当的查询表示假设。

我们使用默认逻辑为答案构建一组关键词，使这些关键词能