文轩网图书旗舰店
  • 扫码下单

  • 非经典数理逻辑与近似推理 王国俊 著 著作 专业科技 文轩网
  • 新华书店正版
    • 作者: 王国俊 著著
    • 出版社: 科学出版社
    • 出版时间:2008-05-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    店铺装修中

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

    • 服务

    • 物流

    搜索店内商品

    文轩网图书旗舰店

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

     

    商品参数
    • 作者: 王国俊 著著
    • 出版社:科学出版社
    • 出版时间:2008-05-01 00:00:00
    • 版次:2
    • 印次:2
    • 印刷时间:2015-07-01
    • 字数:377000
    • 页数:304
    • 开本:B5
    • 装帧:平装
    • 国别/地区:中国
    • 版权提供:科学出版社

    非经典数理逻辑与近似推理

    作  者:王国俊 著 著作
    定  价:128
    出 版 社:科学出版社
    出版日期:2008年05月01日
    页  数:304
    装  帧:平装
    ISBN:9787030212955
    主编推荐

    内容简介

    本书大部分内容是作者近年来的研究成果。全书系统地讲述了各种三值逻辑、n值逻辑以及连续值逻辑理论;为模糊命题演算建立了一套形式演绎系统;把模糊推理纳入了严格的逻辑轨道;从整体赋值出发,建立了积分语义学理论,为近似推理提供了一种可能的框架;系统地论述了Pavelka逻辑、扼要论述了抽象逻辑;用精练的语言讲述了模态逻辑、描述逻辑和知识推理中Kripke知识结构的核心内容。本书在靠前版的基础上修订再版,除改正了靠前版中的若干笔误和印刷错误之外,主要增添了模态逻辑、知识推理与描述逻辑等内容。

    作者简介

    精彩内容

    目录
    《现代数学基础丛书》序
    第二版前言
    第一版前言
    第1章预备知识
    1.1泛代数中的预备知识
    1.1.1泛代数
    1.1.2自由代数
    1.2经典命题演算理论
    1.2.1自由代数--用符号表示命题
    1.2.2语构理论--形式演绎体系
    1.2.3语义理论一真值体系
    1.2.4可靠性定理与完备性定理
    1.2.5模型与紧性
    1.2.6Lindenbaum代数
    第2章多值逻辑的语义理论
    2.1引言
    2.1.1多值逻辑的产生背景与历史概述
    2.1.2多值逻辑与经典逻辑的异同
    2.1.3多值逻辑的研究内容
    2.2赋值格上的蕴涵算子
    2.2.1(0,1)上若干不同的蕴涵算子
    2.2.2Dubois-Prade(D-P)条件
    2.3几种三值逻辑系统
    2.3.1Lnkasiewicz的三值系统L3
    2.3.2Bochvar的三值系统B3
    2.3.3Kleene的三值系统K3
    2.3.4Codel的三值系统G3
    2.4一般多值逻辑系统
    2.4.1Lnkasiewicz的n值系统Ln
    2.4.2标准序列逻辑系统Sn
    2.4.3C3系统的推广
    2.4.4K3系统的推广
    2.5∑-(α-重言式)理论
    2.5.1多值系统Wn、-W与W
    2.5.2系统-W中的∑-广义重言式理论与类类互异定理
    2.5.3有限值系统中广义重言式的重言式表示定理
    第3章命题演算的形式系统L
    3.1Fuzzy推理与Fuzzy逻辑
    3.1.1概况
    3.1.2经典公理系统的不适应性
    3.2命题演算的形式演绎系统L
    3.2.1L中的公理与推理规则
    3.2.2三段论推理规则与可证等价
    3.2.3L中常用的定理
    3.2.4代换定理
    3.3L-Lindenbaum代数与R0-代数
    3.3.1L-Lindenbaum代数
    3.3.2R0代数
    3.3.3同态、子R0代数与生成元集
    3.3.4R0-代数的乘积
    第4章L中的语义理论与Fuzzy推理的逻辑基础
    4.1L的语义与可靠性定理
    4.1.1可靠性定理
    4.1.2语义MP规则与语义HS规则
    4.1.3赋值中介
    4.1.4逻辑等价
    4.2L中另一类∑-重言式
    4.3Fuzzy推理的CRI算法
    4.3.1Fuzzy推理的基本思想
    4.3.2CRI方法的一般形式
    4.3.3Fuzzy推理的数学本质
    4.4Fuzzy推理的三I算法
    4.4.1Fuzzy推理的三I算法
    4.4.2P-还原算法
    4.4.3用三I算法求解一般的Fuzzy推理问题
    4.5Fuzzy推理的逻辑基础、支持度理论
    4.5.1Fuzzy推理与∑-重言式
    4.5.2支持度理论
    4.5.3α-三I算法
    4.5.4α-三IModusTollens算法
    4.5.5三IMT算法的还原性
    第5章积分语义学
    5.1公式的真度
    5.1.1积分不变性定理
    5.1.2F(s)中公式的R真度
    5.1.3R真度与α-重言式
    5.1.4积分推理规则
    5.2真度值在(0,1)中的分布
    5.3积分相似度理论
    5.4F(S)上的伪距离
    5.5F(S)中的近似推理
    5.5.1真度与距离之关系
    5.5.2准证明与准推理
    5.5.3发散度与近似准推理
    第6章格上的逻辑学
    6.1闭包算子与闭包系统
    6.2完备格上的逻辑学
    6.2.1抽象推理系统
    6.2.2抽象语义
    6.2.3抽象逻辑
    6.3紧致性的新形式--连续性
    6.4逐步推理
    6.5抽象模糊逻辑
    6.5.1基本概念
    6.5.2模糊算子的紧致性
    6.6公式集F上的非运算
    第7章Pavelka的逻辑学
    7.1Pavelka逻辑的基本理论
    7.1.1Tarski的观点
    7.1.2L-语义结论算子
    7.1.3L-语法结论算子
    7.1.4F中的证明
    7.1.5紧算子
    7.1.6可靠性
    7.1.7完备性
    7.2剩余格
    7.2.1伴随
    7.2.2剩余格
    7.2.3匹配算子
    7.2.4强剩余格
    7.3赋值格为强剩余格的命题演算公式代数
    7.3.1(P,L)公式代数
    7.3.2L赋值
    7.4完备性问题
    7.4.1不完备性定理
    7.4.2通用的可靠L-规则
    7.4.3商代数定理
    7.4.4若干命题
    7.4.5完备性定理
    第8章Fuzzy推理的非Fuzzy形式
    8.1引言
    8.2二值逻辑系统L中的广义与多重广义MP规则的语构理论
    8.2.1两个基本问题
    8.2.2一组公式的根
    8.2.3广义与多重广义MP问题的解的定义与计算
    8.3多值逻辑系统L中的广义与多重广义MP规则的语构理论
    8.4二值逻辑系统L中广义MP规则的语义理论
    8.5Lakasiewicz三值系统中广义MP规则的语义理论
    第9章模态逻辑、知识推理与描述逻辑
    9.1模态逻辑
    9.1.1什么是模态逻辑?
    9.1.2模态语言
    9.1.3基本模态逻辑的语义理论
    9.1.4基本模态逻辑的语构理论
    9.1.5模态逻辑系统S4
    9.1.6系统S4的拓扑语义
    9.1.7模态逻辑系统S5
    9.2知识推理
    9.2.1泥孩难题
    9.2.2知识推理的语言
    9.2.3Kripke知识结构
    9.2.4全知知识、公共知识和分布式知识
    9.2.5运行和系统
    9.2.6知识库系统
    9.3描述逻辑
    9.3.1语言
    9.3.2语言LL的扩充
    9.3.3Tbox
    9.3.4不动点语义
    9.3.5广义Tbox
    9.3.6Abox
    9.3.7相对于Tbox的概念推理
    9.3.8相对于Abox的断言推理
    9.3.9封闭世界语义与开放世界语义
    9.3.10基于表格的标准算法
    参考文献
    索引
    《现代数学基础丛书》已出版书目

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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