BriefGPT - AI 论文速递 · 2025-05-06T00:00:00Z

学习符号持久宏动作以解决时间相关的部分可观马尔可夫决策过程

📝

内容提要

本文提出了一种将时间逻辑推理与部分可观马尔可夫决策过程（POMDP）结合的方法，以解决不确定性下的可解释决策问题。研究表明，基于事件演算的线性时间逻辑生成的持久宏动作显著提高了推理效率和表现力，优于传统方法。

🏷️

标签

POMDP 不确定性 可解释决策 推理效率 时间逻辑推理