限制是什么意思

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