限制通常指限制逻辑(circumscription)，这是一种非单调逻辑，是模卡斯 (MeCarth,J.) 于 1980 年提出的一种有代表性的非单调推理理论。限制是在一个低阶公式（一阶公式）A 的所有闭昌 P 极小（化）模型中都为真的一个较高阶公式（二阶公式），这里 P 是 A 中相对于一定准则的极小变量，直观上，限制的基本思想是捕捉一种猜测推理的经济原则，即从某些事实轿洞扒 A 出发能够推出具有某一性质 P 的对象就是满足 P 的颤码全部对象。词语释义：1、规定范围，不许超过：～其行动自由。文章的字数不～。2、规定的范围：有一定的～。
标签：限制
版权声明：文章由 知之问问 整理收集，来源于互联网或者用户投稿，如有侵权，请联系我们，我们会立即处理。如转载请保留本文链接：https://www.zhzhwenwen.com/life/275700.html
