限制逻辑

限制逻辑(circumscription)一种非单调a辑，通常简称限制，是模卡斯(MeCarth， J.)于19f年提出的一种有代表性的非单调推理理论.限制岁在一个低阶公式(一阶公式)A的所有尸极小(化模型中都为真的一个较高阶公式(二阶公式)，这J尸是A中相对于一定准则的极小变量.直观上，{制的基本思想是捕捉一种猜测推理的经济原则，I从某些事实A出发能够推出具有某一性质尸的歹象就是满足尸的全部对象.令A(P，x)是一个包含谓词P与变元x的一l