图文详情

确信规划的逻辑研究

正版全新

作者: 李延军
出版社: 中国社会科学出版社
ISBN: 9787522774374
出版时间: 2022-12

装帧: 其他
开本: 16开
纸张: 胶版纸

作者: 李延军
出版社: 中国社会科学出版社
ISBN: 9787522774374

出版时间: 2022-12
装帧: 其他

开本: 16开
纸张: 胶版纸

售价 54.91 7.0折

定价￥78.00

品相全新

优惠

发货

承诺48小时内发货

运费

本店暂时无法向该地区发货

延迟发货说明

时间：

说明：

上书时间2026-11-15

数量: 库存2件

立即购买加入购物车收藏

卖家超过10天未登录

六年老店

经管法律专营店

店铺等级

资质认证

90天平均

成功完成

84.62% (368笔)

好评率

100%

发货时间

18.11小时

店主

经管法律专营店

联系

在线交谈离线留言

地址

天津市南开区

电话

联系卖家

进店逛逛收藏店铺

商品详情
店铺评价

立即购买加入购物车收藏

手机购买

微信扫码访问

商品分类：

宗教

货号：

5092926

商品描述：

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

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

【目录】
引言

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

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

  第二节  逻辑刻画：EPDL逻辑

  第三节  EPDL的公理系统

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

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

  第二节  EPDL的模型检测

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

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

  第二节  逻辑刻画：EALn逻辑

  第三节  EALn的公理系统

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

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

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

  第二节  逻辑刻画：ECL逻辑

  第三节  ECL的公理系统

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

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

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

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

  第三节  算法的正确性分析

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

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

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

  第二节  逻辑刻画：CPPL逻辑

  第三节  CPPL的公理系统

  第四节  CPPL的可判定性

总结

参考文献

后记
配送说明

...
相似商品
为你推荐