-
-
- 确信规划的逻辑研究/南开哲学文库
-
- 作者：李延军|责编:韩国茹//刘怡含
- 出版社：中国社科
- ISBN：9787522774374
-
售价：31.2
-
内容大纲
自动规划是人工智能研究中的一个重要分支，其核心任务是在给定的状态转移系统中，为主体设计一套策略，确保其能够从初始状态顺利达到目标状态。确信规划是在经典规划基础上引入不确定性因素的一种扩展形式，主要包括主体对自身初始状态的不确定性以及动作效果在状态转移系统中的不确定性。本书从逻辑学视角出发，以认知逻辑与动态认知逻辑为主要理论工具，系统研究了确信规划问题。
-
作者介绍
李延军，南开大学哲学学院教授，博士生导师。博士毕业于北京大学和荷兰格罗宁根大学。研究方向为认知逻辑、概率逻辑和认知规划。在 Artificial Intelligence, Synthese、《逻辑学研究》等国内外学术期刊和学术会议上发表论文多篇。主持国家社会科学基金青年项目1项、重点项目1项。
-
目录
引言
第一章 单主体确信规划中的逻辑
第一节 单主体确信规划及其推理特点分析
第二节 逻辑刻画：EPDL逻辑
第三节 EPDL的公理系统
第二章 逻辑框架下的单主体确信规划及其复杂度
第一节 规划问题可解性与EPDL模型检测
第二节 EPDL的模型检测
第三章 顺序多主体确信规划中的逻辑
第一节 顺序多主体确信规划及其推理特点分析
第二节 逻辑刻画：EALn逻辑
第三节 EALn的公理系统
第四节 逻辑框架下的顺序多主体确信规划及其复杂度
第四章 并发多主体确信规划中的逻辑
第一节 并发多主体确信规划及其推理特点分析
第二节 逻辑刻画：ECL逻辑
第三节 ECL的公理系统
第四节 ECL框架下的并发多主体确信规划及其复杂度
第五章 抽象确信规划与EPDL的可满足问题
第一节 抽象规划与逻辑可满足问题
第二节 EPDL可满足问题的判定算法
第三节 算法的正确性分析
第四节 可满足问题的可判定性
第六章 概率确信规划中的逻辑
第一节 概率确信规划及其推理特点分析
第二节 逻辑刻画：CPPL逻辑
第三节 CPPL的公理系统
第四节 CPPL的可判定性
总结
参考文献
后记
[
