微瑕R-Calculus: A logic of Belie Revision

62.4 4.8折 130 全新

仅1件

北京丰台

认证卖家担保交易快速发货售后保障

作者李未,眭跃飞

出版社科学出版社

ISBN9787030764102

出版时间2023-10

版次1

装帧精装

开本16开

纸张胶版纸

定价130元

货号2170-9787030764102

上书时间2024-11-02

已实名已认证进店收藏店铺

商品描述: 基本信息
书名:R-Calculus: A logic of Belie Revision
定价：130元
作者:李未,眭跃飞
出版社：科学出版社
出版日期：2023-10-01
ISBN：9787030764102
字数：
页码：
版次：
装帧：圆脊精装
开本：16开
商品重量：
编辑推荐

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

作者介绍

序言

— 没有更多了 —