人工智能博士：用于无观测规划与多智能体认知规划的动态逻辑

项目概览

本博士岗位研究人工智能规划的概念与形式化基础，主题为用于无观测规划（conformant planning）和多智能体认知规划的动态逻辑。

研究关注智能体如何构造实现目标的行动计划，并将对其他智能体的信念、目标、意图和行动的推理，与从经验中学习及处理意外结果结合起来。

工作在法国图卢兹计算机科学研究所（IRIT）的人工智能部门开展，工作校址为图卢兹大学。

岗位为全职、36 个月固定期限博士合同，拟于 2026 年 12 月 1 日入职；月薪 2300 欧元税前，2026 年 10 月 21 日（星期三）23:59 截止申请。申请者必须提交最多一页、与研究主题相关的简短研究计划。

项目详情

为实现目标而构造行动计划，以及更一般地决定如何行动、学习如何行动，是智能体面对的基础问题。传统人工智能规划通常集中于单个智能体：假定没有其他智能体介入，并且规划者完全了解环境、行动的前置条件和后置条件。在这一前提下，规划的核心是找到能够达到目标的行动安排。

本课题希望研究表达能力更强的规划形式，纳入传统设定之外的因素。其中一个方向是推理其他智能体的信念、目标、意图和行动，即招聘介绍所称的“心智理论”。这意味着规划工作需要考虑其他行动者及其认知状态，而不能只使用关于环境和自身行动的完整知识。招聘标题明确提出多智能体认知规划与动态逻辑，但没有列出已固定的形式语言、证明系统或算法实现方案。

另一个相关方向是从过往经验中学习。智能体不仅需要执行预先构造的计划，还要监测行动产生的结果，并学习和处理可能不符合预期的结果。项目将这些问题作为研究主题，探索知识表示、学习与规划之间如何结合。介绍没有将具体应用领域、机器人平台或大语言模型系统定为博士任务，因此不能据此认定课题以某一种工程应用为主。

获录用者将研究规划形式体系的概念和形式化基础。这里的工作重点是规划的表示、推理与理论问题；介绍尚未给出细化到年份或工作包的研究进度，也没有承诺一个已确定的基准测试或软件交付目标。申请者需要根据列出的主题提出自己的简短研究计划，展示拟研究的问题与这些方向之间的关系。该计划须不超过一页，这是介绍中明确列出的申请材料要求。

招聘方寻求已经从事过知识表示和／或学习研究，并对将两者融入规划背景感兴趣的候选人。“和／或”表示可以有知识表示或学习中的一种相关经历，也可以兼有两者；介绍没有要求必须同时具备两种经历，更未具体列出论文数量、编程语言、数学课程或法语等级等门槛。这里列出的研究经历与研究兴趣，是岗位明确提出的候选人背景。

博士生将参与人工智能部门的科研活动，在法国国内及国际会议上介绍研究成果，并在部门研讨会上进行报告。这些学术交流属于岗位工作内容；介绍没有另行给出会议经费金额或差旅支持范围。项目介绍将 IRIT 描述为法国较大的计算机科学实验室之一，其人工智能部门在知识表示与推理方面具有长期研究传统。工作将在图卢兹大学校址开展，未列明个人导师、具体团队规模或专用计算设施。

岗位所属研究领域为计算机科学，涉及计算机科学基础、计算、算法、表示及应用。聘用机构为法国国家科学研究中心（CNRS），合同形式为博士固定期限合同。薪资表述是月薪最低 2300.00 欧元，不能将它写成固定到手金额；本次官方英文页已明确税前，也没有明确学费或博士注册费的承担方式。

申请要点

• 合同与地点：全职固定期限博士合同（CDD Doctorant），36 个月；工作地点为法国 Haute-Garonne 的 31062 TOULOUSE，在图卢兹大学校址开展工作。

• 申请背景：招聘方寻求有知识表示和／或学习研究经历，并有兴趣将其融入规划的候选人；介绍未单独划分优先条件。

• 必交材料：与上述主题相关的简短研究计划，最多一页。简历、成绩单、推荐信等其余材料是否需要，介绍未列明。

• 博士工作：研究规划形式体系的概念和形式化基础，参加部门科研活动，在国内及国际会议和部门研讨会上报告结果。

• 时间：2026 年 10 月 21 日（星期三）23:59 截止，时区未注明；计划 2026 年 12 月 1 日入职。

• 薪资与福利：月薪 2300 欧元税前（本次官方英文页确认）；每年休假及 RTT 合计 44 天；交通费用报销比例为 75%，可持续出行补助最高 300 欧元；列有远程工作及补偿安排，具体条件未说明。

• 招聘也向持有被认可的残障劳动者资格证明者开放。介绍未明确国籍、居住地或中国申请者资格，也未给出单独的安全审查条款。

• 岗位编号：UMR5505-CHLBOU-112。导师姓名和直接联系邮箱未列出。

需要进一步确认

申请前应确认导师与具体研究方向、研究计划的提交格式、完整申请材料及学历条件。语言要求、中国申请者资格、薪资税前／税后口径、博士注册费或学费安排、会议差旅支持以及远程工作条件均未明确。截止时间所用时区也需要确认。

让智能体在未知与错误信念中规划：IRIT 形式化 AI 博士调研

申请判断

研究方向扎实，适合愿意做逻辑与规划理论的申请者。这是一个以形式化人工智能为核心的博士机会，适合希望研究知识表示、动态/认知逻辑、无观测规划和多智能体推理的申请者。官方招聘页面确认：岗位为 IRIT（图卢兹）的 36 个月全职博士合同，计划 2026 年 12 月 1 日入职，申请截止时间为 2026 年 10 月 21 日 23:59（时区未注明），薪资为 每月 2300 欧元税前（官方招聘页面）。

这个项目值得考虑的核心原因，是研究主题与 IRIT/CNRS 相关团队在认知规划和动态逻辑方向的成果高度契合。需要谨慎的核心原因，则是管理和导师信息仍不完整：当前页面没有列出博士导师或直接联系人，对候选人预期提交的研究计划也只给出了较高层级的描述。中国申请者资格没有说明，不能自行推断。

研究问题与博士工作内容

工作方法与潜在产出

可能的博士工作包括：形式语言设计、认知/信念状态的语义、复杂性或可判定性分析、模型检测或规划问题归约，以及把行动结果学习与符号规划连接起来的方法。有说服力的一页研究计划应聚焦一个边界清楚的技术问题，例如认知规划中的观察与信念修正、带更丰富目标的无观测规划，或多智能体场景下可处理的片段。

一个关键提醒是：形式体系必须保持计算上有意义。较早的无观测规划文献说明了原因：动态认知框架可以扩展标准无观测规划，并在受限设定中保持 PSPACE 完全 的复杂性；但一般的多智能体认知规划可能非常困难，甚至不可判定（无观测规划基础论文）。

未解决的问题及其意义

无观测规划（conformant planning）强调在不能依赖执行中观测的情况下，仍让方案覆盖允许的初始不确定性和行动结果；这里的“无观测”不等于逻辑一致性检验。项目更广泛地关注：智能体在不具备完美信息、且其他智能体也可能拥有自己的信念、目标、意图和行动时，如何形成计划。它超出了经典的单智能体、完全知识规划设定，要求更强表达能力的规划形式体系，能够刻画类似“心智理论”的推理、从过往经验中学习、监测行动实际结果，以及处理不符合预期的结果（官方招聘页面）。

项目的核心是形式化 AI 与知识表示，机器学习能否融入取决于具体研究问题。页面明确说明，录用者将研究规划形式体系的概念和形式化基础，并要求申请者提交一页以内的简短研究计划（官方招聘页面）。

学校、学科与培养

最可能的博士学院背景是 MITT，即图卢兹数学、计算机科学与通信博士学院。其官方页面列出 ED 475，将 IRIT 列为相关实验室，并在计算机科学主题中包括推理与决策（MITT 博士学校介绍）。图卢兹大学博士培养页面说明，博士学位在博士学院和实验室/团队中完成，博士学院负责培养、监督质量和职业融入（图卢兹博士培养）。

大学整体排名信号可靠但不是顶尖品牌型。图卢兹大学报告其 2025 上海排名为全球 301-400、法国第 13-14；2025 Leiden 排名为全球第 329、按论文指标法国第 8（图卢兹大学排名说明）。对这个形式化 AI 项目而言，更强的价值主张不是大学综合排名，而是 IRIT/CNRS 在该方向的专门研究环境。

领域本身仍然活跃。近期 AAAI、AI、JLC、KR 和 Dagstuhl 来源都显示，认知规划、多智能体规划、动态逻辑、行动推理、不确定性以及行动表示学习仍是持续研究主题（2024 年认知与信念规划论文，Dagstuhl 领域讨论报告）。法国国家 AI 战略也显示，法国在 AI 人才、算力、AI 应用和可信 AI 方面持续投入，并设定每年额外支持 200 个 AI 博士项目的目标（法国 AI 战略）。

导师与实验室评估

导师研究方向

当前招聘页面没有列出导师姓名。这对申请决策是一个实质性缺口。更稳妥的解读是：所在研究环境是 IRIT 的 AI/KR/规划研究环境，但实际导师、联合导师和具体研究组需要在投入大量定制申请工作前确认。

最强的主题相关公开信号，是 Andreas Herzig 在 IRIT/CNRS 相关背景下关于动态逻辑、认知规划和行动推理的发表记录。HAL 列出了 Herzig 的相关成果，包括 2026 年关于开放世界中概念与行动律在线学习的论文、2023 年关于动态逻辑与论证动态的论文，以及 2021 年 Artificial Intelligence 上关于轻量级认知逻辑及其规划应用的文章（HAL 学术档案）。DBLP 也呈现了 Herzig 在认知规划和动态逻辑方向的发表轨迹（DBLP 论文索引）。这些支持当地具有相关专业能力，但不能证明 Herzig 就是本项目指定导师。

近期重要论文

Herzig、Maris、Perrotin 和 Vianey 2026 年发表于 Journal of Logic and Computation 的文章研究了带并行组合的动态逻辑及其在规划中的应用。文章引入了并行命题赋值动态逻辑，并展示了如何在该框架中刻画类似 STRIPS 的并行行动和规划任务（2026 年并行逻辑论文）。其首次发表日期为 2026 年 1 月 27 日。模型要求并行程序不能对同一变量赋不同值，并通过多项式归约证明复杂性仍在 PSPACE 内；它并未解决不受限制的多智能体认知规划。Herzig、Maris、Vianey 列为 IRIT 作者，Perrotin 为卑尔根大学作者；这些角色不等于本岗位导师已确认。期刊作者、日期与摘要。

Engesser、Herzig 和 Perrotin 2024 年 AAAI 论文提出了带观察与修正的认知-信念规划。摘要指出，当多个智能体具有不同知识和信念时，认知规划很有用，包括人机交互场景；而虚假信念会让观察和修正尤其具有挑战性（2024 年认知与信念规划论文）。论文于 2024 年 3 月 24 日发表，以知识与信念的行动规约语言刻画 Sally–Anne 等错误信念任务，能表达二阶错误信念且保持经典规划的复杂性。Engesser、Herzig 属 IRIT，Perrotin 属 CRIL；它支持项目的观察与修正方向，但不能外推为任意多智能体问题均可高效求解。

Belle、Bolander、Herzig 和 Nebel 的综述性社论于 2022 年 12 月 21 日在线公开，收入 2023 年期刊；他们在 Artificial Intelligence 的观点文章，将认知规划界定为用知识和信念概念增强的自动规划（领域综述性社论）。Cooper、Herzig、Maffre、Maris、Perrotin 和 Régnier 2021 年在 Artificial Intelligence 的论文发展了轻量级认知逻辑并将其用于规划（2021 年基础论文）。综述性社论整理领域问题，不能当作一篇新算法验证；2021 年 9 月论文超过严格五年窗口，保留为基础工作。

Grimaud、Longin 与 Herzig，2026 年 1 月 28 日：《SNN-Based Online Learning of Concepts and Action Laws in an Open World》。 三名作者均列为图卢兹／IRIT，论文用脉冲神经网络实现语义记忆，把行动概念表示为初始情境、运动动作和结果三元组；智能体查询记忆预测后果，在实验中处理新情境并修改概念以适应环境变化。这与招聘中的“从经验学习行动结果”直接相关。出版商摘要未给出大规模规划或安全保证，不能把该实验代理当作本博士已指定的平台；此次获得完整摘要和作者记录，未读付费全文。出版商作者、日期与摘要。

实验室、资源与合作环境

图卢兹大学将 IRIT 列为研究结构，并提到其国际可见度和国际联系；官方招聘页面也将 IRIT 描述为法国较大的计算机科学实验室之一，且其 AI 部门在知识表示与推理方面具有长期传统（图卢兹大学 IRIT 介绍，官方招聘页面）。图卢兹第一大学页面将 IRIT 描述为 UMR5505，由 CNRS 与图卢兹多所高校共同参与，并列出“推理与决策”主题（图卢兹第一大学 IRIT 介绍）。

从形式化 AI 的角度看，实验室信号较好。但申请者仍应询问非常具体的运行问题：博士会归属哪个团队，谁负责日常指导，是否有 KR/规划方向读书会或研讨会，会议经费如何安排，以及是否预期产生软件或 基准评测工作。

资助、申请与生活成本

官方岗位页面确认：全职 36 个月博士合同，每月 2300 欧元税前，44 天年假/RTT，交通费用报销 75%，可持续出行补贴最高 300 欧元（官方招聘页面）。法国国家博士合同说明也确认，公共法博士合同最低薪资在 2026 年 1 月 1 日达到每月 2300 欧元税前（法国公共博士合同）。

到手工资尚未确认。CNRS 对合同雇员给出约 19%—20% 员工社保缴费参考比例；按税前 2300 欧元计算，扣社保后、所得税预扣前约为每月 1840—1863 欧元。这只是计算示例，不能套用公务员的 17%—18% 比例，也不能当作保证到手收入。合同雇员薪资背景。

目前证据不足以量化图卢兹与巴黎的同口径生活成本差异，住房安排和资格更关键。Crous Toulouse-Occitanie 称其有超过 11000 个大学宿舍床位，租金从 217.35 欧元起，且多数 Crous 租金包含冷热水、电、暖气和网络（图卢兹宿舍收费与供给）。Campus France 提醒学生应仔细规划在法国的租房、食品、医疗、交通和日常预算（法国生活预算说明）。众包的图卢兹生活成本数据可用于粗略校验私人租房市场，但只能作为次级证据（图卢兹众包生活数据）。

博士注册和费用需要确认。图卢兹博士注册页面说明，注册会在批准、材料完整和缴费后完成（图卢兹博士注册流程）。图卢兹第一大学公开的 2026-2027 收费表列出博士/HDR 国家文凭全额注册费 398 欧元、减免费率 265 欧元，但本项目的具体注册机构和费用处理方式必须确认（注册费用说明）。

申请者匹配与准备

要求背景与技能

官方匹配描述很简洁：招聘方寻找具有知识表示和/或机器学习背景，并有兴趣将其融入规划背景的候选人（官方招聘页面）。页面没有说明必须具备的硕士学位名称、最低成绩、语言等级、编程语言或国籍条件。

最强匹配背景包括形式化 AI、模态/动态/认知逻辑、自动规划、知识表示、算法与复杂性、形式化方法或符号 AI。机器学习背景也可以匹配，但需要说明学习如何服务于规划、行动模型、未知性、信念修正或意外结果监测。只有通用深度学习作品、缺乏形式推理信号的申请者匹配度较弱。

优先经验与建议准备

由于申请要求提交最多一页的研究计划，准备工作应集中在一个窄而清楚的技术问题上。好的计划可以定义一个规划设定，说明现有无观测规划或认知规划工具为什么不足，并提出一个可处理的形式扩展或评估方案。计划应显示对带观察/修正的认知-信念规划，以及带并行组合的动态逻辑等近期工作的了解（2024 年认知与信念规划论文，2026 年并行逻辑论文）。

有用的申请证据包括：逻辑/规划/KR 方向课程或论文项目、证明或形式建模作品、规划/自动推理代码、简短文献综述，以及对机器学习经验如何支持行动结果学习而不是替代符号核心的清楚说明。

下一步行动与待核实问题

申请前

1. 确认博士导师和联合导师是谁，以及学生将归属 IRIT 的哪个团队。
2. 确认一页研究计划之外的完整申请材料：简历、成绩单、硕士文凭、推荐信、动机信、语言证明和写作样本等。
3. 确认中国申请者是否通过同一路径申请，以及是否涉及额外居留、学历认可或安全/实验室准入步骤。法国国家博士信息说明，法国对博士合同或接收协议下的博士候选人设有研究人才居留路径，但具体路径取决于个人情况（法国博士居留准备，法国人才签证说明）。
4. 确认截止时间是否使用巴黎时间，以及在线申请是否必须在 2026 年 10 月 21 日 23:59（时区未注明） 前全部完成。

面试时

1. 询问项目中形式逻辑/语义、算法设计、实现、机器学习整合或实证评估各自占多大比例。
2. 询问博士是否已有预设的首年工作计划，还是一页研究计划会显著影响方向。
3. 询问预期投稿会议或期刊：KR、AAAI/IJCAI、AAMAS、LORI、TARK、ECAI 或逻辑期刊等。
4. 询问导师指导频率、研讨会参与、与其他 IRIT/CNRS 研究者合作方式，以及发表预期。

接受录用前

1. 要求书面确认税前薪资、预计净薪资、工资身份、休假、远程工作条件和交通福利。
2. 确认博士注册机构、博士学院、年度注册费/CVEC，以及是否有费用减免或报销。
3. 确认知识产权、软件、开源、发表和保密规则；法国博士框架说明，合同或协议可能规定发表渠道、知识产权、保密和传播安排（法国博士培养框架）。
4. 确认住房支持、到达时间，以及是否可以尽早申请 Crous 或大学住宿。

证据与来源

• 项目与合同：官方招聘页面，法语官方页面，单位招聘页面。

• 机构与项目环境：CNRS，图卢兹大学 IRIT 页面，图卢兹第一大学 IRIT 页面，ED MITT，博士培养介绍。

• 排名与学校信号：图卢兹大学排名说明，2026 年上海排名更新。

• 主题相关研究者与论文证据：HAL 学术档案，DBLP 论文索引，2024 年认知与信念规划论文，2024 年论文全文，2026 年并行逻辑论文，2021 年基础论文，领域综述性社论，无观测规划基础文献，IJCAI 多智能体规划论文，KR 2024 相关研究，Dagstuhl 行动推理报告。

• 资助、行政与生活成本：法国公共博士合同，法国博士培养框架，博士资助说明，法国博士下一步准备，研究接收协议，公务员薪资说明，仅作背景，法国工资缴费说明，图卢兹博士注册流程，注册费用说明，图卢兹宿舍收费与供给，法国生活预算说明，图卢兹众包生活数据，法国人才签证说明。

• 职业与领域前景：法国 AI 战略，OECD AI 技能需求报告，欧盟 AI 就业影响研究。

• 合同雇员薪资说明

• 2026 年并行动态逻辑论文

• 2026 年行动结果学习论文