|
题名:
|
R-演算 / 李未, 眭跃飞著 , |
|
ISBN:
|
978-7-03-068583-4 价格： CNY138.00 |
|
语种:
|
chi |
|
载体形态:
|
233页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2021 |
|
内容提要:
|
信念修正是人工智能的研究分支之一。在哲学, 认知心理学和数据库更新等领域中, 很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来, 它是任何一个合理的信念修正算子应该满足的最基本条件。本书第一作者李未院士在20世纪80年代中期提出R-演算, 这是一个满足AGM公设, 非单调的, 并且类似于Gentzen推理系统的信念修正算子。本书对R-演算作多个视角的扩展, 将为研究生寻找研究方向和研究思路提供一定帮助。 |
|
主题词:
|
算子演算 |
|
中图分类法:
|
O177.6 版次： 5 |
|
其它题名:
|
一种信念修正的逻辑 |
|
主要责任者:
|
李未 著 |
|
主要责任者:
|
眭跃飞 著 |