题名:
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
其它题名:
一种信念修正的逻辑
主要责任者:
李未
主要责任者:
眭跃飞