逻辑限制是什么意思

逻辑限制意思是指非单调逻辑，是模卡斯 (MeCarth,J.) 于 1980 年提出的一种有代表性的非单调推理理论。

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