自动规划是人工智能研究中的一个重要分支，其核心任务是在给定的状态转移系统中，为主体设计一套策略，确保其能够从初始状态顺利达到目标状态。确信规划是在经典规划基础上引入不确定性因素的一种扩展形式，主要包括主体对自身初始状态的不确定性以及动作效果在状态转移系统中的不确定性。本研究从逻辑学的视角，尤其依托认知逻辑与动态认知逻辑的理论工具，对确信规划问题开展系统性研究。一方面，对确信规划中涉及的知识推理与动作推理进行了细致的逻辑刻画；另一方面，提出了基于逻辑框架、表达能力更强的确信规划问题，并对其可解性的计算复杂度进行了深入分析。本研究首先聚焦于传统的单主体确信规划，构建了一个刻画其知识推理与动作推理的逻辑框架，并基于此定义了表达能力更强的单主体确信规划，证明了其可解性问题的复杂度。随后，研究了扩展至多主体系统的确信规划。最后，研究考察了传统确信规划的两个其他扩展：抽象确信规划与概率确信规划。

李延军，南开大学哲学院副教授，博士生导师。博士毕业于北京大学和荷兰格罗宁根大学。研究方向为认知逻辑、概率逻辑和认知规划。在 Artificial Intelligence, Synthese等国内外学术期刊和学术会议上发表论文多篇。主持国家社会科学基金青年项目1项、重点项目1项。,