MARC状态:审校 文献类型:中文图书 浏览次数:2
- 题名/责任者:
- 面向人工智能的命题动态逻辑及其扩展研究/张晓君,周正,王琪瑶著
- 出版发行项:
- 杭州:浙江大学出版社,2022
- ISBN及定价:
- 978-7-308-21513-8/CNY168.00
- 载体形态项:
- 410页;24cm
- 个人责任者:
- 张晓君 (女) 著
- 个人责任者:
- 周正 著
- 个人责任者:
- 王琪瑶 (女) 著
- 学科主题:
- 动态逻辑-研究
- 中图法分类号:
- B815.5
- 一般附注:
- 国家社科基金后期资助项目 2019年国家社科基金后期资助项目“面向人工智能的命题动态逻辑及其扩展研究”研究成果
- 责任者附注:
- 张晓君,女,汉族,四川南充人。2011年6月毕业于中国社会科学院,获得哲学博士学位(逻辑学方向),2011年7月至2013年7月为厦门大学博士后,2013年8月至2021年3月就职于四川师范大学,2021年4月至今就职于安徽大学。研究员,主要研究方向为人工智能逻辑、自然语言逻辑和Agent理论。在《模式识别与人工智能》《计算机科学》《哲学研究》等期刊发表学术论文60余篇,其中英文10篇、被人大复印资料《逻辑》季刊全文转载5篇。目前已经出版专著6部,主持国家级课题5项。获得“金岳霖学术奖”、四川省社会科学优秀成果奖、四川师范大学“科研十佳”等奖项多项。
- 提要文摘附注:
- 本书基于国内外新近相关文献,从人工智能的视角,围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。第1章是导论;第2-5章是本书研究的基础;第6-8章阐释了正则命题动态逻辑的形式系统、可判定性、完全性和计算复杂性;第9章探讨了非正则命题动态逻辑;第10章介绍了动态逻辑的一些变种;第11-17章是命题动态逻辑的扩展系统,这些系统分别使用了程序量词、互模拟和逻辑等值程序、Petri网、无缩并无切割规则的矢列演算、多类型显示演算、有穷多个命题变元,以及存储、恢复和并行合成算子对命题动态逻辑进行的扩展;第18章研究了从交流更新逻辑到命题动态逻辑的程序转换器。
- 使用对象附注:
- 本书适用于现代逻辑、计算机科学、人工智能和系统工程等领域以及对命题动态逻辑及其扩展系统感兴趣的教师、研究生和科研人员
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
B815.5/1 | B0115364 | 库本 库350557 | 可借 | 库本 | |
B815.5/1 | B0115363 | 基本书库 | 可借 | 基本书库 |
显示全部馆藏信息