限制的意思
的有关信息介绍如下:限制通常指限制逻辑(circumscription),这是一种非单调逻辑,是模卡斯 (MeCarth,J.) 于 1980 年提出的一种有代表性的非单调推理理论。限制是在一个低阶公式(一阶公式)A 的所有闭昌 P 极小(化)模型中都为真的一个较高阶公式(二阶公式),这里 P 是 A 中相对于一定准则的极小变量,直观上,限制的基本思想是捕捉一种猜测推理的经济原则,即从某些事实轿洞扒 A 出发能够推出具有某一性质 P 的对象就是满足 P 的颤码全部对象。词语释义:1、规定范围,不许超过:~其行动自由。文章的字数不~。2、规定的范围:有一定的~。