安徽理工大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

R-演算:一种信念修正的逻辑/李未, 眭跃飞著

出版发行项:

北京:科学出版社,2021.04

ISBN及定价:

978-7-03-068583-4 精装/CNY138.00

载体形态项:

233页;24cm

其它题名:

一种信念修正的逻辑

个人责任者:

李未 著

个人责任者:

眭跃飞 著

学科主题:

算子演算

中图法分类号:

O177.6

书目附注:

有书目和索引

提要文摘附注:

信念修正是人工智能的研究分支之一。在哲学, 认知心理学和数据库更新等领域中, 很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来, 它是任何一个合理的信念修正算子应该满足的最基本条件。本书第一作者李未院士在20世纪80年代中期提出R-演算, 这是一个满足AGM公设, 非单调的, 并且类似于Gentzen推理系统的信念修正算子。本书对R-演算作多个视角的扩展, 将为研究生寻找研究方向和研究思路提供一定帮助。

豆瓣简介：