|
题名:
|
面向人工智能的命题动态逻辑及其扩展研究 mian xiang ren gong zhi neng de ming ti dong tai luo ji ji qi kuo zhan yan jiu / 张晓君，周正，王琪瑶著 , |
|
ISBN:
|
978-7-308-21513-8 价格： CNY168.00 |
|
语种:
|
chi |
|
载体形态:
|
410页 24cm |
|
出版发行:
|
出版地： 杭州 出版社： 浙江大学出版社 出版日期： 2022 |
|
内容提要:
|
本书以国内外新近相关文献为基础，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下：第1章是导论；第2-5章是本书研究的基础；第6-9章阐释了正则命题动态逻辑的形式系统、可判定性、完全性和计算复杂性；第10章探讨了非正则命题动态逻辑；第十章介绍了动态逻辑的一些变种；第11-17章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序等对命题动态逻辑进行了扩展；第18章研究了从交流更新逻辑到命题动态逻辑的程序转换器。 |
|
主题词:
|
动态逻辑 研究 |
|
中图分类法:
|
B815.5 版次： 5 |
|
主要责任者:
|
张晓君 zhang xiao jun 著 |
|
主要责任者:
|
周正 zhou zheng 著 |
|
主要责任者:
|
王琪瑶 wang qi yao 著 |
|
附注:
|
国家社科基金后期资助项目 2019年国家社科基金后期资助项目“面向人工智能的命题动态逻辑及其扩展研究”的研究成果 |
|
索书号:
|
1 |