当前位置:新励学网 > 秒知问答 > 什么是限表意识

什么是限表意识

发表时间:2024-07-28 02:56:38 来源:网友投稿

限表意识指的是限制逻辑(circumscription),这是一种非单调逻辑,是模卡斯 (MeCarth,J.) 于 1980 年提出的一种有代表性的非单调推理理论,在一个低阶公式(一阶公式)A 的所有 P 极小(化)模型中都为真的一个较高阶公式(二阶公式),这里 P 是 A 中相对于一定准则的极小变量,直观上,限制的基本思想是捕捉一种猜测推理的经济原则,即从某些事实 A 出发能够推出具有某一性质 P 的对象就是满足 P 的全部对象。

免责声明:本站发布的教育资讯(图片、视频和文字)以本站原创、转载和分享为主,文章观点不代表本网站立场。

如果本文侵犯了您的权益,请联系底部站长邮箱进行举报反馈,一经查实,我们将在第一时间处理,感谢您对本站的关注!