面向人工智能的命题动态逻辑及其扩展研究
作者: 张晓君，周正，王琪瑶著
出版社: 浙江大学出版社
出版日期: 2022.01
ISBN-13: 9787308215138
ISBN-10: 730821513X
页数: 410
原书定价: 168.00
开本: 小16开
丛书名: 无
主题词: 动态逻辑·研究
中图分类号: B815.5
中图分类名: 哲学、宗教›逻辑学（论理学）›哲理逻辑（非经典逻辑）›时态逻辑
动态逻辑又称为关于程序的模态逻辑，是进行程序逻辑性质研究、程序正确性验证强而有力的数学工具。动态逻辑是一种与自然语言的语义分析和人工智能都有密切联系的新思想，为现代逻辑理论的发展提供了新题材和新思路。本书以外新近相关文献为基础，从人工智能的…目录仅对会员开放。