Product Details 基本信息 ISBN-13 书号 9787030685834 Author 作者 李未,眭跃飞 Format 版本 精装 Pages Number 页数 244页 Publisher 出版社 科学出版社 Publication Date 出版日期 2021-04-01 Product Dimensions 商品尺寸 16开 Language 语种 其它（含多语） Book Contents 内容简介 信念修正是人工智能的研究分支之一。在哲学，认知心理学和数据库更新等领域中，很早就有对信念修正的讨论和研究。AGM公设在20世纪70年代末被提出来，它是任何一个合理的信念修正算子应该满足的*基本条件。本书作者李未院士在20世纪8年代中期提出R-演算，这是一个满足AGM公设，非单调的，并且类似于Gentzen推理系统的信念修正算子。本书对R-演算作多个视角的扩展，将为研究生寻找研究方向和研究思路提供一定帮助。本书可作为人工智能，计算机科学理论和基础数
¥113.00定价：¥226.00 (5折)
