MARC状态：审校 文献类型：中文图书 浏览次数：25
- 题名/责任者:
- R-演算:一种信念修正的逻辑/李未, 眭跃飞著
- 出版发行项:
- 北京:科学出版社,2021
- ISBN及定价:
- 978-7-03-068583-4 精装/CNY138.00
- 载体形态项:
- 233页;25cm
- 其它题名:
- 一种信念修正的逻辑
- 个人责任者:
- 李未 著
- 个人责任者:
- 眭跃飞 著
- 学科主题:
- 算子演算
- 中图法分类号:
- O177.6
- 中图法分类号:
- O177
- 书目附注:
- 有书目和索引
- 提要文摘附注:
- 信念修正是人工智能的研究分支之一。在哲学, 认知心理学和数据库更新等领域中, 很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来, 它是任何一个合理的信念修正算子应该满足的基本条件。本书作者李未院士在20世纪8年代中期提出R-演算, 这是一个满足AGM公设, 非单调的, 并且类似于Gentzen推理系统的信念修正算子。本书对R-演算作多个视角的扩展, 将为研究生寻找研究方向和研究思路提供一定帮助。
全部MARC细节信息>>