威廉·罗恩斯（William C.Rounds）。;张国强 默认语义的逻辑考虑。 （英语） Zbl 0887.68104号 安。数学。Artif公司。智力。 20，编号1-4195-226（1997）. 摘要：我们考虑重新解释默认逻辑的规则。我们将赖特的默认规则转化为构建模型的建设性方法，而不是理论。为了在一阶系统中进行推理，我们为标准一阶逻辑配备了（新的）Kleene 3值部分模型语义。然后，使用我们的方法，我们向这个语义系统添加默认值。结果是，我们的逻辑是一个普通的单调逻辑，但它的语义现在是非单调的。Reiter的扩展现在出现在语义中，而不是语法中。作为一个应用程序，我们表明该语义为Lifschitz、Baader和Hollander指出的具有开放默认值的概念问题提供了部分解决方案。解决方案并不完整，主要是因为在使默认模型理论化时，我们只能向模型添加连接信息。这与默认理论相反，在默认理论中，扩展可以包含析取公式，从而包含析取信息。我们关于处理公开违约问题的建议在我们的逻辑中使用了非单调蕴涵的语义概念，与“只知道”的概念有关。我们的概念是“只有信息”由公式给出。我们讨论了这与“最低限度知识”理念之间的差异。最后，我们考虑了优先后果关系的克劳斯-莱曼-马吉多公理。我们发现，我们的结果关系满足最基本的定律和Or定律，但它既不满足Cut定律，也不满足谨慎单调定律。另一方面，我们使用我们的系统给出了直观的示例，表面上似乎违反了这两个定律。我们用我们的例子对这些定律成立的概率解释进行了一些比较，并将我们的模型与克劳斯、莱曼和马吉多的累积模型进行了比较。我们还显示了法律成立的充分条件。这包括以某种方式限制我们公式中析取的使用。我们展示了如何利用完备偏序集理论或域理论。我们可以使用默认集来扩充任何Scott域。我们还声明了任意域上Reiter扩展运算符的一个版本。这个版本明确了赖特定义的基本顺序理论性质。涉及一个三变量函数。求扩张相当于对其中两个变量取两次不动点。在无预条件缺省的特殊情况下，给出了由缺省集导出的Scott域上的一般关系来刻画扩张。我们展示了域理论的一般概念，即从域上的Scott拓扑导出的逻辑，如何在特定情况下（例如我们的一阶系统）指导我们找到“肯定句”的正确概念。我们还以这样的方式证明了我们的结果定律，即它们不仅适用于一阶系统，而且适用于任意域上从Scott拓扑导出的任何逻辑。 引用于1文件 MSC公司： 68T27型 人工智能中的逻辑 68问题55 计算理论中的语义学 关键词：默认逻辑;部分模型语义 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Rounds}和\textit{G.-Q.Zhang}，Ann.数学。Artif公司。智力。20，编号1--4，195-226（1997；Zbl 0887.68104） 全文： 内政部