14、优先默认推理的探索与实践

最新推荐文章于 2025-06-30 09:28:54 发布

ik67890123

最新推荐文章于 2025-06-30 09:28:54 发布

阅读量8

点赞数

CC 4.0 BY-SA版权

分类专栏：逻辑编程与知识表示的前沿探索文章标签：优先默认推理默认规则知识表示

本文链接：https://blog.csdn.net/ik67890123/article/details/149380443

逻辑编程与知识表示的前沿探索专栏收录该内容

33 篇文章 ¥399.00 ¥499.90

订阅专栏

超级会员免费看

优先默认推理的探索与实践

1. 引言

在各种领域的自然语言描述中，我们常常能发现关于默认规则相对强度的信息。例如，在法律推理里，某些法律会优先于其他法律；在专家知识推理中，我们会依据对不同专家的信任程度来分配优先级。这些例子表明，研究能够描述默认规则及其优先级的知识表示语言是很有必要的。

然而，不同作者在设计此类语言时存在诸多差异。这些差异部分源于对默认规则概念理解的模糊性。有时，默认规则被视为自然语言中的陈述，如“类 C 的元素通常满足属性 P”；有时，其概念会被拓宽到包含所有具有可辩护结论的陈述。

例如，给定人员列表 t，规则 unlisted(X) +- not t(X) 按照狭义观点并非默认规则，因为它是普遍成立且无例外的；但从广义观点来看，它可被视为默认规则。而规则 unlisted(X) e- not t(X), not -~unlisted(X) 无论从哪种观点看，都是默认规则。

在确定默认推理的正确模式时，也存在重要差异。例如，对于包含三个默认规则和三个严格规则的理论，至少有三种合理的处理方式：认为理论不一致并得出所有结论（或无结论）；谨慎行事，拒绝应用部分默认规则；不那么谨慎，通过分情况推理得出结论。引入偏好关系后，情况会变得更加复杂。

为了解决这些问题，我们设计了一种简单语言，满足以下要求：狭义理解默认规则；允许动态优先级；在不开发新的通用非单调形式主义的情况下给出语义；确保语言的非正式参数变化能在形式主义中得到相对简单的体现；具备推理机制和数学理论来证明相关性质。