扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
深度学习
-
>
Unreal Engine 4蓝图完全学习教程
-
>
深入理解计算机系统-原书第3版
-
>
Word/Excel PPT 2013办公应用从入门到精通-(附赠1DVD.含语音视频教学+办公模板+PDF电子书)
缺省逻辑与回答集程序 版权信息
- ISBN:9787030766472
- 条形码:9787030766472 ; 978-7-03-076647-2
- 装帧:一般胶版纸
- 册数:暂无
- 重量:暂无
- 所属分类:>
缺省逻辑与回答集程序 内容简介
本书主要介绍一阶子句集的消解原理和命题公式集的稳定模型、一般缺省理论(包括它的几个重要变种)的扩张计算特征与算法和复杂性、容易计算的特殊缺省理论类和缺省逻辑的语义、回答集程序及其拓广(嵌套查询)的基本概念与重要性质,以及架起回答集程序与经典逻辑之间关系桥梁的环公式和程序完备理论。
缺省逻辑与回答集程序 目录
第1章 预备知识:集合与逻辑 1
1.1 集合、关系与函数 1
1.1.1 集合及其运算 1
1.1.2 关系 3
1.1.3 函数 4
1.1.4 基数、序数和(数学与超穷)归纳法 6
1.1.5 归纳定义 7
1.2 命题逻辑 9
1.2.1 命题语言 9
1.2.2 命题公式的语义 11
1.2.3 命题逻辑的形式推导 12
1.2.4 命题逻辑的重要性质 13
1.3 一阶逻辑及二阶逻辑 14
1.3.1 一阶逻辑语言 15
1.3.2 一阶逻辑的语义 17
1.3.3 一阶逻辑的形式推导 18
1.3.4 一阶逻辑的重要性质 19
1.3.5 二阶逻辑 24
1.4 可计算性与计算复杂性 26
1.4.1 可计算性 26
1.4.2 计算复杂性 33
第2章 消解原理和逻辑程序 40
2.1 子句集和消解原理 41
2.1.1 命题子句的消解原理 42
2.1.2 一阶子句集的消解原理 43
2.2 稳定模型 53
2.2.1 归约 54
2.2.2 稳定模型的基本概念 55
2.2.3 命题公式的强等价 57
2.2.4 Horn公式的稳定模型 58
2.3 逻辑程序 59
2.3.1 确定逻辑程序 61
2.3.2 部分赋值 69
2.3.3 推导否定信息 73
第3章 缺省逻辑 77
3.1 缺省理论的扩张 77
3.1.1 用缺省表示知识 77
3.1.2 缺省的基本概念 79
3.2 扩张的计算特征 86
3.3 特殊缺省理论 92
3.4 扩张与推理问题的算法及复杂性 97
3.5 缺省证明与自顶向下的缺省证明 103
3.6 缺省逻辑的语义 106
第4章 回答集程序 112
4.1 回答集程序的基本概念 113
4.2 正规回答集程序 125
4.3 正规程序的推理 130
4.3.1 特殊正规程序 131
4.3.2 回答集程序的分裂 142
4.3.3 正规程序的SLDNF演算 147
第5章 环公式和嵌套回答集程序 153
5.1 环公式 153
5.2 嵌套回答集程序 162
5.2.1 嵌套回答集程序的语法和语义 162
5.2.2 嵌套回答集程序的计算特征 169
5.2.3 嵌套程序的紧凑性 176
5.2.4 嵌套公式的完备和环公式 179
5.3 包含变元的正规逻辑程序一阶环公式 185
第6章 回答集程序归纳学习和遗忘理论 196
6.1 基于状态变换的逻辑程序归纳学习 196
6.1.1 支承类语义 197
6.1.2 析取基消解和组合消解 198
6.1.3 归纳的学习任务与算法 201
6.2 回答集程序知识遗忘 205
6.2.1 命题逻辑的HT语义 205
6.2.2 回答集程序遗忘 211
6.2.3 知识遗忘公设 214
第7章 缺省逻辑的变种 218
7.1 Lukaszewicz的修正扩张 220
7.2 断言缺省理论 224
7.2.1 累积缺省逻辑 225
7.2.2 CDL推理的局部性与累积性 229
7.2.3 CDL扩张的算法 233
7.2.4 CDL推理问题计算的复杂性 236
7.3 其他累积性缺省逻辑 239
7.3.1 约束缺省逻辑与J-缺省逻辑 239
7.3.2 满足预设的缺省逻辑 242
7.3.3 拟缺省逻辑 247
7.4 非单调推理关系 250
7.4.1 结构性质 251
7.4.2 逻辑联结词 251
参考文献 252
展开全部
缺省逻辑与回答集程序 作者简介
张明义,贵州科学院研究员,贵州大学博士研究生导师。长期从事缺省逻辑与回答集程序研究,主持国家自然科学基金项目6项。曾获国家有突出贡献中青年专家、贵州省劳动模范、Kurt Godel终身成就奖、Ray Reiter最佳论文奖。
书友推荐
- >
有舍有得是人生
有舍有得是人生
¥17.1¥45.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥14.7¥45.8 - >
自卑与超越
自卑与超越
¥12.7¥39.8 - >
姑妈的宝刀
姑妈的宝刀
¥9.0¥30.0 - >
诗经-先民的歌唱
诗经-先民的歌唱
¥13.5¥39.8 - >
名家带你读鲁迅:朝花夕拾
名家带你读鲁迅:朝花夕拾
¥10.5¥21.0 - >
中国历史的瞬间
中国历史的瞬间
¥16.7¥38.0 - >
我从未如此眷恋人间
我从未如此眷恋人间
¥24.4¥49.8
本类畅销
-
”互联网+“时代计算机算法的应用及其实践研究
¥19.9¥59 -
微服务设计
¥52.8¥69 -
图说深度学习:用可视化方法理解复杂概念
¥109¥188 -
计算机基础
¥17.2¥31 -
改变未来的九大算法
¥50¥68 -
生成式AI入门与AWS实战
¥77.8¥99.8