图书介绍

基于格值逻辑的语义归结自动推理【2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载】

张家锋著著
出版社：成都：西南交通大学出版社
ISBN：9787564357351
出版时间：2017
标注页数：175页
文件大小：22MB
文件页数：183页
主题词：人工智能－研究

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：836e82d8f8f496f6a8d70cd8a40ed2a5

下载说明

基于格值逻辑的语义归结自动推理PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章绪论1

1.1 形成本书的学术背景1

1.2 国内外研究现状3

1.3 本书的主要内容15

第2章预备知识17

2.1 格蕴涵代数和格值命题逻辑系统简介17

2.2 格值一阶逻辑系统LF（X）中的公式及其解释20

2.3 语言真值格蕴涵代数简介22

第3章格值逻辑系统中广义文字的α-归结性24

3.1 格值命题逻辑系统中的α-归结与α-归结演绎25

3.2 格值命题逻辑系统（？n×？2）P（X）中0-IESF的α-归结性27

3.3 格值命题逻辑系统（？n×？2）P（X）中1-IESF的α-归结性37

3.4 格值命题逻辑系统（？n×？2）P（X）中2-IESF的α-归结性42

第4章格值逻辑系统的α-语义归结自动推理47

4.1 基于命题变元和形如x→b广义文字的α-语义归结方法48

4.2 基于命题变元和形如x→（x→b）广义文字的α-语义归结54

4.3 LP（X）中基于形如C＊？ x的广义子句的α-语义归结方法66

4.4 LP（X）中基于一类广义子句集的α-语义归结方法69

4.5 语言真值格值命题逻辑？V（n×2）P（X）中的α-语义归结73

4.6 格值一阶逻辑系统LF（X）中的α-语义归结方法83

4.7 语言真值格值一阶逻辑？V（n×2）F（X）中的α-语义归结89

第5章格值逻辑系统的α-广义语义归结自动推理97

5.1 格值命题逻辑系统LP（X）的α-广义归结98

5.2 格值命题逻辑系统LP（X）的α-广义语义归结方法99

5.3 语言真值格值命题逻辑？V（n×2））P（X）的α-广义语义归结104

5.4 格值一阶逻辑系统LF（X）中的α-广义语义归结方法113

5.5 语言真值格值一阶逻辑？V（n×2）F（X）的α-广义语义归结118

第6章格值逻辑系统中归结方法的相容性127

6.1 格值一阶逻辑LF（X）中α-语义归结方法与删除策略的相容性127

6.2 格值一阶逻辑中α-广义语义归结方法与广义删除策略的相容性134

6.3 LF（X）中α-广义归结和支撑集归结的相容性138

参考文献147

附录162