面向人工智能的命题动态逻辑及其扩展研究
正版保障 假一赔十 可开发票
￥ 105.42 6.3折 ￥ 168 全新
库存7件
广东广州
认证卖家担保交易快速发货售后保障
作者张晓君,周正,王琪瑶
出版社浙江大学出版社有限责任公司
ISBN9787308215138
出版时间2021-11
装帧平装
开本16开
定价168元
货号11474431
上书时间2024-12-29
商品详情
- 品相描述：全新
- 商品描述
-
作者简介
张晓君，女，汉族，四川南充人。2011年6月毕业于中国社会科学院，获得哲学博士学位（逻辑学方向），2011年7月至2013年7月为厦门大学博士后，2013年8月至2021年3月就职于四川师范大学，2021年4月至今就职于安徽大学。研究员，主要研究方向为人工智能逻辑、自然语言逻辑和Agent理论。在《模式识别与人工智能》《计算机科学》《哲学研究》等期刊发表学术论文60余篇，其中英文10篇、被人大复印资料《逻辑》季刊全文转载5篇。目前已经出版专著6部，主持***课题5项。获得“金岳霖学术奖”、四川省社会科学优秀成果奖、四川师范大学“科研十佳”等奖项多项。
目录
第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 关于单字母程序的进一步研究
0章 命题动态逻辑的一些变种
10.1 确定性命题动态逻辑和while程序
精彩内容
本书基于 外新近相关文献，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下：第1章是导论；第2～5章是本书研究的基础；第6～8章阐释了正则命题动态逻辑的形式系统、可判定性、 性和计算复杂性；第9章探讨了非正则命题动态逻辑； 0章介绍了动态逻辑的一些变种； 1～17章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序、Petri网、无缩并无切割规则的矢列演算、多类型显示演算、有穷多个命题变元，以及存储、恢复和并行合成算子对命题动态逻辑进行的扩展； 8章研究了从交流 新逻辑到命题动态逻辑的程序转换器。 本书适合现代逻辑、计算机科学、人工智能和系统工程等领域以及对命题动态逻辑及其扩展系统感兴趣的教师、研究生和科研人员阅读。
媒体评论
动态逻辑又称为关于程序的模态逻辑，是进行程序逻辑性质研究、程序正确性验证强而有力的数学工具。动态逻辑是一种与自然语言的语义分析和人工智能都有密切联系的新思想，为现代逻辑理论的发展提供了新题材和新思路。 本书以 外新近相关文献为基础，从人工智能的视角，主要围绕命题动态逻辑及其扩展系统进行了研究。
— 没有更多了 —
以下为对购买帮助不大的评价