返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • R-演算:一种信念修正的逻辑 李未,眭跃飞 著 专业科技 文轩网
  • 新华书店正版
    • 作者: 李未,眭跃飞著
    • 出版社: 科学出版社
    • 出版时间:2021-05-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: 李未,眭跃飞著
    • 出版社:科学出版社
    • 出版时间:2021-05-01 00:00:00
    • 版次:1
    • 字数:305000
    • 页数:244
    • 开本:其他
    • 装帧:平装
    • ISBN:9787030685834
    • 国别/地区:中国
    • 版权提供:科学出版社

    R-演算:一种信念修正的逻辑

    作  者:李未,眭跃飞 著
    定  价:138
    出 版 社:科学出版社
    出版日期:2021年04月01日
    页  数:244
    装  帧:精装
    ISBN:9787030685834
    主编推荐

    内容简介

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

    作者简介

    精彩内容

    目录
    前言
    第一章 引言
    1.1 信念修正
    1.2 R-演算
    1.3 R-演算的扩展
    1.4 逼近的R-演算
    1.5 R-演算的应用
    参考文献
    第二章 基础概念
    2.1 命题逻辑
    2.1.1 命题逻辑的语法和语义
    2.1.2 Gentzen推导系统G1
    2.1.3 可靠性定理和完备性定理
    2.2 一阶逻辑
    2.2.1 一阶逻辑的语法和语义
    2.2.2 Gentzen推导系统GFOL
    2.2.3 可靠性定理和完备性定理
    2.3 描述逻辑
    2.3.1 描述逻辑的语法和语义
    2.3.2 Gentzen推导系统GDL
    2.3.3 完备性定理
    参考文献
    第三章 命题逻辑的R-演算
    3.1 极小改变
    ……

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购