BriefGPT - AI 论文速递 · 2025-05-06T00:00:00Z 学习符号持久宏动作以解决时间相关的部分可观马尔可夫决策过程 💡 原文中文，约700字，阅读约需2分钟。 📝 内容提要 本文提出了一种将时间逻辑推理与部分可观马尔可夫决策过程（POMDP）结合的方法，以解决不确定性下的可解释决策问题。研究表明，基于事件演算的线性时间逻辑生成的持久宏动作显著提高了推理效率和表现力，优于传统方法。 🏷️ 标签 POMDP 不确定性 可解释决策 推理效率 时间逻辑推理 阅读原文 生成长图 分享链接 已复制链接
