机读格式显示(MARC)

• 000 01743nam0 2200301 450

• 001 0000850767

• 005 20220424122800.0

• 010 __ |a 978-7-308-21513-8 |d CNY168.00

• 100 __ |a 20220308d2022 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 330000

• 105 __ |a y a 000yy

• 106 __ |a r

• 200 1_ |a 面向人工智能的命题动态逻辑及其扩展研究 |A mian xiang ren gong zhi neng de ming ti dong tai luo ji ji qi kuo zhan yan jiu |d = Research on propositional dynamic logic and its extensions for artificial intelligence |f 张晓君, 周正, 王琪瑶著 |z eng

• 210 __ |a 杭州 |c 浙江大学出版社 |d 2022

• 215 __ |a 410页 |d 24cm

• 300 __ |a 国家社科基金后期资助项目 2019年国家社科基金后期资助项目“面向人工智能的命题动态逻辑及其扩展研究”(批准号: 19FZXB102)研究成果

• 320 __ |a 有书目 (第381-406页)

• 330 __ |a 本书基于国内外新近相关文献，从人工智能的视角，围绕作为动态逻辑基础系统的命题动态逻辑及其扩展系统进行了研究。第1章是导论；第2-5章是本书研究的基础；第6-8章阐释了正则命题动态逻辑的形式系统、可判定性、完全性和计算复杂性；第9章探讨了非正则命题动态逻辑；第10章介绍了动态逻辑的一些变种；第11-17章是命题动态逻辑的扩展系统，这些系统分别使用了程序量词、互模拟和逻辑等值程序、Petri网、无缩并无切割规则的矢列演算、多类型显示演算、有穷多个命题变元，以及存储、恢复和并行合成算子对命题动态逻辑进行的扩展；第18章研究了从交流更新逻辑到命题动态逻辑的程序转换器。

• 510 1_ |a Research on propositional dynamic logic and its extensions for artificial intelligence |z eng

• 606 0_ |a 动态逻辑 |A dong tai luo ji |x 研究

• 690 __ |a B815.5 |v 5

• 701 _0 |a 张晓君 |A zhang xiao jun |c (女) |4 著

• 701 _0 |a 周正 |A zhou zheng |4 著

• 701 _0 |a 王琪瑶 |A wang qi yao |c (女) |4 著

• 801 _0 |a CN |b HDUL |c 20220424

• 905 __ |a HDUL |d B815.5/161

• 920 __ |a 233030 |z 1