限制 (邏輯)

维基百科,自由的百科全书
跳到导航 跳到搜索

限制约翰·麦卡锡建立的非单调逻辑,它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中,限制最小化了某些谓词的外延,这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定