这是限制 (邏輯)的当前版本,由Kolyma(留言 | 贡献)编辑于2012年4月26日 (四) 10:52 (Kolyma移动限制页面至限制 (邏輯): 消歧義)。这个网址是本页该版本的固定链接。
限制是约翰·麦卡锡建立的非单调逻辑,它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中,限制最小化了某些谓词的外延,这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。