题名:
|
面向人工智能的命题动态逻辑及其扩展研究 / 张晓君, 周正, 王琪瑶著 , |
ISBN:
|
978-7-308-21513-8 价格: CNY168.00 |
语种:
|
chi |
载体形态:
|
410页 图 24cm |
出版发行:
|
出版地: 杭州 出版社: 浙江大学出版社 出版日期: 2022 |
内容提要:
|
本书基于国内外新近相关文献,从人工智能的视角,围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。第1章是导论;第2-5章是本书研究的基础;第6-8章阐释了正则命题动态逻辑的形式系统、可判定性、完全性和计算复杂性;第9章探讨了非正则命题动态逻辑;第10章介绍了动态逻辑的一些变种;第11-17章是命题动态逻辑的扩展系统,这些系统分别使用了程序量词、互模拟和逻辑等值程序、Petri网、无缩并无切割规则的矢列演算、多类型显示演算、有穷多个命题变元,以及存储、恢复和并行合成算子对命题动态逻辑进行的扩展;第18章研究了从交流更新逻辑到命题动态逻辑的程序转换器。 |
主题词:
|
动态逻辑 研究 |
中图分类法:
|
B815.5 版次: 5 |
主要责任者:
|
张晓君 著 |
主要责任者:
|
周正 著 |
主要责任者:
|
王琪瑶 著 |
附注:
|
2019年国家社科基金后期资助项目“面向人工智能的命题动态逻辑及其扩展研究”(批准号: 19FZXB102)研究成果 |