封闭世界假定 编辑
封闭世界假定是当前不是已知的事物都为假的假定。这个名字也称呼Ray Reiter对这个假定的逻辑形式化。与封闭世界假定相对立的使用开放世界假定，宣称知识的缺乏不蕴涵虚假。
4
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
限制是约翰·麦卡锡建立的非单调逻辑，它假定除非特殊指定否则事物同预期的一样。麦卡锡后来使用限制来尝试解决框架问题。在它最初的一阶逻辑公式中，限制最小化了某些谓词的外延，这里的谓词的外延是谓词在其上为真的变量元组的集合。这种最小化类似于把不知道为真的假定为假的封闭世界假定。