限制是约翰·麦卡锡建立的非单调逻辑,它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中,限制最小化了某些谓词的外延,这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。
限制, 邏輯, 限制是约翰, 麦卡锡建立的非单调逻辑, 它假定除非特殊指定否则事物同预期的一样, 麦卡锡后来使用限制来尝试解决框架问题, 在它最初的一阶逻辑公式中, 限制最小化了某些谓词的外延, 这里的谓词的外延是谓词在其上为真的变量元组的集合, 这种最小化类似于把不知道为真的假定为假的封闭世界假定, 这是一篇與逻辑学相關的小作品, 你可以通过编辑或修订扩充其内容, 查论编, 取自, https, wikipedia, index, title, 限制, 邏輯, oldid, 20897116, 限制 邏輯 限制是. 限制是约翰 麦卡锡建立的非单调逻辑 它假定除非特殊指定否则事物同预期的一样 麦卡锡后来使用限制来尝试解决框架问题 在它最初的一阶逻辑公式中 限制最小化了某些谓词的外延 这里的谓词的外延是谓词在其上为真的变量元组的集合 这种最小化类似于把不知道为真的假定为假的封闭世界假定 这是一篇與逻辑学相關的小作品 你可以通过编辑或修订扩充其内容 查论编 取自 https zh wikipedia org w index php title 限制 邏輯 amp oldid 20897116, 维基百科,wiki,书籍,书籍,图书馆,
文章
,阅读,下载,免费,免费下载,mp3,视频,mp4,3gp, jpg,jpeg,gif,png,图片,音乐,歌曲,电影,书籍,游戏,游戏。