扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
(精)清儒学案-九品(全10册)
-
>
素书
-
>
(精)周桂钿文集:秦汉思想研究(全7册)
-
>
海德格尔形式显示的实存哲学
-
>
毛泽东读书笔记解析.4:历史卷
-
>
中国学术名著丛书-杨树达:老子古义 周子古义
-
>
(精)斐多:柏拉图对话录(毛边本)
面向人工智能的命题动态逻辑及其扩展研究 版权信息
- ISBN：9787308215138
- 条形码：9787308215138 ; 978-7-308-21513-8
- 装帧：一般胶版纸
- 册数：暂无
- 重量：暂无
- 所属分类：>>
面向人工智能的命题动态逻辑及其扩展研究 本书特色
动态逻辑又称为关于程序的模态逻辑，是进行程序逻辑性质研究、程序正确性验证强而有力的数学工具。动态逻辑是一种与自然语言的语义分析和人工智能都有密切联系的新思想，为现代逻辑理论的发展提供了新题材和新思路。本书以国内外新近相关文献为基础，从人工智能的视角，主要围绕命题动态逻辑及其扩展系统进行了研究。
面向人工智能的命题动态逻辑及其扩展研究 内容简介
本书以国内外新近相关文献为基础，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下：**章是导论；第二～五章是本书研究的基础；第六～九章阐释了正则命题动态逻辑的形式系统、可判定性、接近性和计算复杂性；第十章探讨了非正则命题动态逻辑；第十章介绍了动态逻辑的一些变种；第十一～十七章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序等对命题动态逻辑进行了扩展；第十八章研究了从交流更新逻辑到命题动态逻辑的程序转换器。本书适合现代逻辑、计算机科学、人工智能和系统工程等领域以及对命题动态逻辑及其扩展系统感兴趣的教师、研究生和科研人员阅读。
面向人工智能的命题动态逻辑及其扩展研究 目录
第1章 导论
1.1 本书的学术依据和提出背景
1.2 国内外研究状况及选题价值
1.3 动态逻辑：人工智能的基石
第2章 数学准备
2.1 记法约定
2.2 集合
2.3 关系
2.4 图和达格
2.5 格
2.6 超穷序数
2.7 集合算子
第3章 可计算性和复杂性
3.1 机器模型
3.2 不同种类的复杂性
3.3 可归约性和完全性
第4章 逻辑准备：等式逻辑与无穷逻辑
4.1 等式逻辑
4.2 无穷逻辑
第5章 程序推理
5.1 什么是程序？
5.2 状态和执行
5.3 程序结构
5.4 程序验证
5.5 外生逻辑和内生逻辑
第6章 正则命题动态逻辑
6.1 正则命题动态逻辑的句法
6.2 正则命题动态逻辑的语义
6.3 正则命题动态逻辑的计算序列
6.4 正则命题动态逻辑的可满足性和有效性
6.5 正则命题动态逻辑的演绎系统
6.6 正则命题动态逻辑的基本性质
6.7 编码霍尔逻辑
第7章 滤过和可判定性
7.1 Fischer-Ladner闭包
7.2 滤过和小模型定理
7.3 非标准模型上的滤过
第8章 正则命题动态逻辑的演绎完全性及其复杂性
8.1 演绎完全性
8.2 逻辑后承
8.3 复杂性
8.4 紧致性和逻辑后承
第9章 非正则命题动态逻辑
9.1 上下文无关程序
9.2 非正则命题动态逻辑的基本结论
9.3 不可判定的扩张
9.4 命题动态逻辑的可判定性扩张
9.5 关于单字母程序的进一步研究
第10章 命题动态逻辑的一些变种
10.1 确定性命题动态逻辑和while程序
10.2 受限测试
10.3 自动机表示
10.4 补运算和交运算
10.5 逆运算
10.6 良基和完全正确性
10.7 并发性和通信
第11章 带有程序量词的命题动态逻辑
11.1 引言
11.2 带有递归程序的命题动态逻辑
11.3 程序量化
11.4 超过分析层级的QPDL复杂性
11.5 猜想与未来的工作
第12章 命题动态逻辑中互模拟程序和逻辑等值程序
12.1 研究动机
12.2 命题动态逻辑的相关基础
12.3 过程演算
12.4 命题动态逻辑PDL
12.5 结论与未来的工作
附录
第13章 关于Patri网的命题动态逻辑扩展
13.1 引言
13.2 理论背景
13.3 研究背景
13.4 DS3逻辑
13.5 DS3逻辑可满足性的计算复杂性
13.6 DS3逻辑的应用实例
13.7 结论与未来的工作
第14章 命题动态逻辑的无缩并无切割规则的矢列演算
14.1 引言
14.2 命题动态逻辑的无切割的矢列演算——CSPDL演算
14.3 结构规则的可容许性
14.4 充足性定理
14.5 切割-消去定理
14.6 结论与未来的工作
第1 5章 命题动态逻辑的多类型显示演算
15.1 引言
15.2 相关知识准备
15.3 语言和规则
15.4 可靠性
15.5 完全性
15.6 切割-消去规则
15.7 关于保守性的开问题
15.8 结论与未来的工作
第16章 带有有穷多个变元的命题动态逻辑的复杂性和表达力
16.1 引言
16.2 句法和语义
16.3 带有有穷多个变元的命题动态逻辑的片段
16.4 结论与未来的工作
第17章 带有存储、恢复和并行合成算子的命题动态逻辑
17.1 引言和研究动机
17.2 句法和语义
17.3 实例解读
17.4 受限片段RSPDL的公理系统
17.5 受限片段RSPDL的完全性
17.6 结论与未来的工作
第18章 从交流更新逻辑到命题动态逻辑的程序转换器
18.1 引言
18.2 交流更新逻辑
18.3 经由Brzozowski等式的程序转换
18.4 程序转换的矩阵演算
18.5 新转换器的复杂性
18.6 结论与未来工作
参考文献
后记
1.1 本书的学术依据和提出背景
1.2 国内外研究状况及选题价值
1.3 动态逻辑：人工智能的基石
第2章 数学准备
2.1 记法约定
2.2 集合
2.3 关系
2.4 图和达格
2.5 格
2.6 超穷序数
2.7 集合算子
第3章 可计算性和复杂性
3.1 机器模型
3.2 不同种类的复杂性
3.3 可归约性和完全性
第4章 逻辑准备：等式逻辑与无穷逻辑
4.1 等式逻辑
4.2 无穷逻辑
第5章 程序推理
5.1 什么是程序？
5.2 状态和执行
5.3 程序结构
5.4 程序验证
5.5 外生逻辑和内生逻辑
第6章 正则命题动态逻辑
6.1 正则命题动态逻辑的句法
6.2 正则命题动态逻辑的语义
6.3 正则命题动态逻辑的计算序列
6.4 正则命题动态逻辑的可满足性和有效性
6.5 正则命题动态逻辑的演绎系统
6.6 正则命题动态逻辑的基本性质
6.7 编码霍尔逻辑
第7章 滤过和可判定性
7.1 Fischer-Ladner闭包
7.2 滤过和小模型定理
7.3 非标准模型上的滤过
第8章 正则命题动态逻辑的演绎完全性及其复杂性
8.1 演绎完全性
8.2 逻辑后承
8.3 复杂性
8.4 紧致性和逻辑后承
第9章 非正则命题动态逻辑
9.1 上下文无关程序
9.2 非正则命题动态逻辑的基本结论
9.3 不可判定的扩张
9.4 命题动态逻辑的可判定性扩张
9.5 关于单字母程序的进一步研究
第10章 命题动态逻辑的一些变种
10.1 确定性命题动态逻辑和while程序
10.2 受限测试
10.3 自动机表示
10.4 补运算和交运算
10.5 逆运算
10.6 良基和完全正确性
10.7 并发性和通信
第11章 带有程序量词的命题动态逻辑
11.1 引言
11.2 带有递归程序的命题动态逻辑
11.3 程序量化
11.4 超过分析层级的QPDL复杂性
11.5 猜想与未来的工作
第12章 命题动态逻辑中互模拟程序和逻辑等值程序
12.1 研究动机
12.2 命题动态逻辑的相关基础
12.3 过程演算
12.4 命题动态逻辑PDL
12.5 结论与未来的工作
附录
第13章 关于Patri网的命题动态逻辑扩展
13.1 引言
13.2 理论背景
13.3 研究背景
13.4 DS3逻辑
13.5 DS3逻辑可满足性的计算复杂性
13.6 DS3逻辑的应用实例
13.7 结论与未来的工作
第14章 命题动态逻辑的无缩并无切割规则的矢列演算
14.1 引言
14.2 命题动态逻辑的无切割的矢列演算——CSPDL演算
14.3 结构规则的可容许性
14.4 充足性定理
14.5 切割-消去定理
14.6 结论与未来的工作
第1 5章 命题动态逻辑的多类型显示演算
15.1 引言
15.2 相关知识准备
15.3 语言和规则
15.4 可靠性
15.5 完全性
15.6 切割-消去规则
15.7 关于保守性的开问题
15.8 结论与未来的工作
第16章 带有有穷多个变元的命题动态逻辑的复杂性和表达力
16.1 引言
16.2 句法和语义
16.3 带有有穷多个变元的命题动态逻辑的片段
16.4 结论与未来的工作
第17章 带有存储、恢复和并行合成算子的命题动态逻辑
17.1 引言和研究动机
17.2 句法和语义
17.3 实例解读
17.4 受限片段RSPDL的公理系统
17.5 受限片段RSPDL的完全性
17.6 结论与未来的工作
第18章 从交流更新逻辑到命题动态逻辑的程序转换器
18.1 引言
18.2 交流更新逻辑
18.3 经由Brzozowski等式的程序转换
18.4 程序转换的矩阵演算
18.5 新转换器的复杂性
18.6 结论与未来工作
参考文献
后记
展开全部
面向人工智能的命题动态逻辑及其扩展研究 作者简介
张晓君，女，汉族，四川南充人。2011年6月毕业于中国社会科学院，获得哲学博士学位（逻辑学方向），2011年7月至2013年7月为厦门大学博士后，2013年8月至2021年3月就职于四川师范大学，2021年4月至今就职于安徽大学。研究员，主要研究方向为人工智能逻辑、自然语言逻辑和Agent理论。在《模式识别与人工智能》《计算机科学》《哲学研究》等期刊发表学术论文60余篇，其中英文10篇、被人大复印资料《逻辑》季刊全文转载5篇。目前已经出版专著6部，主持***课题5项。获得“金岳霖学术奖”、四川省社会科学优秀成果奖、四川师范大学“科研十佳”等奖项多项。
书友推荐
- >
龙榆生：词曲概论/大家小书
龙榆生：词曲概论/大家小书
¥9.1¥24.0 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0 - >
巴金－再思录
巴金－再思录
¥19.8¥46.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥16.0¥45.8 - >
伯纳黛特,你要去哪(2021新版)
伯纳黛特,你要去哪(2021新版)
¥23.4¥49.8 - >
我与地坛
我与地坛
¥25.8¥28.0 - >
有舍有得是人生
有舍有得是人生
¥21.2¥45.0
本类畅销
-
中国哲学十讲
¥18.9¥49.8 -
思考的本质:杜威论逻辑思维
¥15.1¥39.8 -
纯粹现代形批判：黑格尔、海德格尔及其以后
¥9.3¥25 -
查拉图斯特拉如是说
¥27.9¥79.8 -
经学常谈
¥13.7¥36 -
线装经典:传习录
¥10.2¥26.8
