确信规划的逻辑研究

正版全新

54.91 7.0折 78 全新

库存2件

上海浦东

作者李延军

出版社中国社会科学出版社

ISBN9787522774374

出版时间2022-12

装帧其他

开本16开

纸张胶版纸

定价78元

货号5092926

上书时间2026-11-15

商品详情

品相描述：全新

商品描述: 【书    名】确信规划的逻辑研究
【书    号】 9787522774374
【出版社】中国社会科学出版社
【作    者】李延军
【出版日期】 2026-09-01
【开    本】 16开
【定    价】 78.00元

【内容简介】
自动规划是人工智能研究中的一个重要分支，其核心任务是在给定的状态转移系统中，为主体设计一套策略，确保其能够从初始状态顺利达到目标状态。确信规划是在经典规划基础上引入不确定性因素的一种扩展形式，主要包括主体对自身初始状态的不确定性以及动作效果在状态转移系统中的不确定性。本书从逻辑学视角出发，以认知逻辑与动态认知逻辑为主要理论工具，系统研究了确信规划问题。

【目录】
引言

第*章  单主体确信规划中的逻辑

  第*节  单主体确信规划及其推理特点分析

  第二节  逻辑刻画：EPDL逻辑

  第三节  EPDL的公理系统

第二章  逻辑框架下的单主体确信规划及其复杂度

  第*节  规划问题可解性与EPDL模型检测

  第二节  EPDL的模型检测

第三章  顺序多主体确信规划中的逻辑

  第*节  顺序多主体确信规划及其推理特点分析

  第二节  逻辑刻画：EALn逻辑

  第三节  EALn的公理系统

  第四节  逻辑框架下的顺序多主体确信规划及其复杂度

第四章  并发多主体确信规划中的逻辑

  第*节  并发多主体确信规划及其推理特点分析

  第二节  逻辑刻画：ECL逻辑

  第三节  ECL的公理系统

  第四节  ECL框架下的并发多主体确信规划及其复杂度

第五章  抽象确信规划与EPDL的可满足问题

  第*节  抽象规划与逻辑可满足问题

  第二节  EPDL可满足问题的判定算法

  第三节  算法的正确性分析

  第四节  可满足问题的可判定性

第六章  概率确信规划中的逻辑

  第*节  概率确信规划及其推理特点分析

  第二节  逻辑刻画：CPPL逻辑

  第三节  CPPL的公理系统

  第四节  CPPL的可判定性

总结

参考文献

后记