限定逻辑

限定逻辑（circumscription），理学-计算机科学技术-人工智能-机器学习-知识表示，一种对常识知识进行形式化并进行常识推理的方法。由McCarthy于1980年首先提出，主要特点是借助一个特殊谓词abnormal表示非规范性，通过最小化abnormal的外延达到进行常识推理的目的。它是建立在经典谓词逻辑基础上的二阶理论，具备良好的数学理论基础，属于非单调逻辑的一个重要分支。