面向人工智能的命题动态逻辑及其扩展研究--聚文网

精选

¥5.83

世界图书名著昆虫记绿野仙踪木偶奇遇记儿童书籍彩图注音版

¥5.39

正版世界名著文学小说名家名译中学生课外阅读书籍图书批发 70册

¥8.58

简笔画10000例加厚版2-6岁幼儿童涂色本涂鸦本绘画本填色书正版

¥5.83

世界文学名著全49册中小学生青少年课外书籍文学小说批发正版

¥4.95

全优冲刺100分测试卷一二三四五六年级上下册语文数学英语模拟卷

¥8.69

父与子彩图注音完整版小学生图书批发儿童课外阅读书籍正版1册

¥24.2

好玩的洞洞拉拉书0-3岁宝宝早教益智游戏书机关立体翻翻书4册

¥7.15

幼儿认字识字大王3000字幼儿园中班大班学前班宝宝早教启蒙书

¥11.55

用思维导图读懂儿童心理学培养情绪管理与性格培养故事指导书

¥19.8

少年读漫画鬼谷子全6册在漫画中学国学小学生课外阅读书籍正版

¥64

科学真好玩

¥12.7

一年级下4册·读读童谣和儿歌

¥38.4

原生态新生代(传统木版年画的当代传承国际研讨会论文集)

¥11.14

法国经典中篇小说

¥11.32

上海的狐步舞--穆时英(中国现代文学馆馆藏初版本经典)

¥22.05

猫的摇篮(精)

¥30.72

幼儿园特色课程实施方案/幼儿园生命成长启蒙教育课程丛书

旧时风物(精)

三希堂三帖/墨林珍赏

寒山子庞居士诗帖/墨林珍赏

苕溪帖/墨林珍赏

楷书王维诗卷/墨林珍赏

兰亭序/墨林珍赏

祭侄文稿/墨林珍赏

蜀素帖/墨林珍赏

真草千字文/墨林珍赏

进宴仪轨(精)/中国古代舞乐域外图书

舞蹈音乐的基础理论与应用

内容简介

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

作者简介

张晓君，女，四川南充人。现任四川师范大学逻辑与信息研究所所长。2011年博士毕业于中国社会科学院研究生院，2013年从厦门大学博士后出站后，就职于四川师范大学，兼职于福建省仿脑智能系统重点实验室（厦门大学）。在《模式识别与人工智能》、《哲学研究》、《逻辑研究》等核心期刊发表学术期刊50余篇，其中：英文7篇、被人大复印报刊资料全文转载5篇；出版专著2部，合著2部；主持国家级课题3项。获得“金岳霖学术奖”、四川师范大学“科研十佳”等奖项多项。

第1章导论 1.1 本书的学术依据和提出背景 1.2 国内外研究状况及选题价值 1.3 动态逻辑：人工智能的基石第2章数学准备 2.1 记法约定 2.2 集合 2.3 关系 2.4 图和达格 2.5 格 2.6 超穷序数 2.7 集合算子第3章可计算性和复杂性 3.1 机器模型 3.2 不同种类的复杂性 3.3 可归约性和完全性第4章逻辑准备：等式逻辑与无穷逻辑 4.1 等式逻辑 4.2 无穷逻辑第5章程序推理 5.1 什么是程序？ 5.2 状态和执行 5.3 程序结构 5.4 程序验证 5.5 外生逻辑和内生逻辑第6章正则命题动态逻辑 6.1 正则命题动态逻辑的句法 6.2 正则命题动态逻辑的语义 6.3 正则命题动态逻辑的计算序列 6.4 正则命题动态逻辑的可满足性和有效性 6.5 正则命题动态逻辑的演绎系统 6.6 正则命题动态逻辑的基本性质 6.7 编码霍尔逻辑第7章滤过和可判定性 7.1 Fischer-Ladner闭包 7.2 滤过和小模型定理 7.3 非标准模型上的滤过第8章正则命题动态逻辑的演绎完全性及其复杂性 8.1 演绎完全性 8.2 逻辑后承 8.3 复杂性 8.4 紧致性和逻辑后承第9章非正则命题动态逻辑 9.1 上下文无关程序 9.2 非正则命题动态逻辑的基本结论 9.3 不可判定的扩张 9.4 命题动态逻辑的可判定性扩张 9.5 关于单字母程序的进一步研究第10章命题动态逻辑的一些变种 10.1 确定性命题动态逻辑和while程序

面向人工智能的命题动态逻辑及其扩展研究

库存： {{selectedSku?.stock}} 库存充足