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