书堆儿服务号
书堆儿App

R-演算: 一种信念修正的逻辑

作者: 李未,眭跃飞 著出版时间:2021/4/1出版社:科学出版社
ISBN:9787030685834价格:¥138
  分享至
内容简介
信念修正是人工智能的研究分支之一。在哲学,认知心理学和数据库更新等领域中,很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来,它是任何一个合理的信念修正算子应该满足的最基本条件。《R-演算:一种信念修正的逻辑》**作者李未院士在20世纪80年代中期提出R-演算,这是一个满足AGM公设,非单调的,并且类似于Gentzen推理系统的信念修正算子。《R-演算:一种信念修正的逻辑》对R-演算作多个视角的扩展,将为研究生寻找研究方向和研究思路提供一定帮助。
作者简介
暂无
精彩书评
暂无
目录
暂无
书摘
暂无
精彩图书推荐