南京江北新区图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

面向人工智能的命题动态逻辑及其扩展研究/张晓君，周正，王琪瑶著

出版发行项:

杭州:浙江大学出版社,2022

ISBN及定价:

978-7-308-21513-8/CNY168.00

载体形态项:

410页;24cm

并列正题名:

Research on propositional dynamic logic and its extensions for artificial intelligence

个人责任者:

张晓君 (女， 1970-) 著

个人责任者:

周正 著

个人责任者:

王琪瑶 著

学科主题:

动态逻辑-研究

中图法分类号:

B815.5

中图法分类号:

B81

一般附注:

国家社科基金后期资助项目 2019年国家社科基金后期资助项目“面向人工智能的命题动态逻辑及其扩展研究”的研究成果

提要文摘附注:

本书以国内外新近相关文献为基础，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。具体内容如下：第1章是导论；第2-5章是本书研究的基础；第6-9章阐释了正则命题动态逻辑的形式系统、可判定性、完全性和计算复杂性；第10章探讨了非正则命题动态逻辑；第十章介绍了动态逻辑的一些变种；第11-17章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序等对命题动态逻辑进行了扩展；第18章研究了从交流更新逻辑到命题动态逻辑的程序转换器。

豆瓣简介：