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