限制的定义

发布网友发布时间：2022-10-16 07:20

共1个回答

热心网友时间：2023-10-17 02:52

简介
*通常指*逻辑(circumscription)，这是一种非单调逻辑，是模卡斯 (MeCarth,J.) 于 1980 年提出的一种有代表性的非单调推理理论。

*是在一个低阶公式（一阶公式）A 的所有 P 极小（化）模型中都为真的一个较高阶公式（二阶公式），这里 P 是 A 中相对于一定准则的极小变量，直观上，*的基本思想是捕捉一种猜测推理的经济原则，即从某些事实 A 出发能够推出具有某一性质 P 的对象就是满足 P 的全部对象。

令 A(P,x) 是一个包含谓词 P 与变元 x 的一阶句子，语义上，A 中* P，是相对于一个偏序

的所有 P 极小模型都为真的句子集，一个 A 的模型 M 称为极小的，若不存在它的其他模型 M‘ 使得

，定义

如下：令

，是两个模型，

，当且仅当：

(1) M1与M2具有相同的论域；

(2) P 在 M1 的外延包含于 P 在 M2 的外延，语法上，*可刻画如下二阶句子：

其中 p 是谓词变元，A(p,x) 是 A 中以 p 替换 P 的结果。

*公理
*公理亦称基础公理、正则公理 (axiom of regularity) ，是集合论的一条重要公理。

任何非空集合都有

极小元素，这个公理形式化为：

或

。该公理断言：任何集合在关系

下是良基的，不存在无限递降链

也就不会有

与循环

实质上此公理是对集合概念的一种*：有性质

的集合是不存在的。

该公理的另一表述方法是：对任何集合*式

，有

这种表述下的正则公理实际上是正则公理模式。此公理是冯· 诺伊曼(von Neumann,J.) 于 1925 年提出的。

应用
*存在许多变体，例如可*谓词元组而且允许某些谓词合函数变化，它们具有不同的表达能力，一般地，*具有可靠性定理，但没有一般的完全性成果，由于*是二阶形式，计算上比较困难，这也是非单调逻辑的共性问题，由于*是一阶逻辑的直接扩充，具有一阶逻辑于极小模型的良好性质，因此*是非单调逻辑中的代表作，对它已有充分的研究和广泛的应用。

本词条内容贡献者为:王海侠 - 副教授 - 南京理工大学