研究人员证明了模态逻辑中的规划存在性问题是不可判定的。该问题涉及在给定初始状态和一组动作的情况下，确定一系列认知动作是否能实现指定目标。即使动作前提的模态深度为一时且没有后置条件，该证明也成立，从而解决了关于该问题可判定性的一个先前未知的问题。 AI
影响 为在认知领域运行的AI规划代理建立了理论限制。
排序理由 在arXiv上发表的学术论文，详细介绍了理论证明。
AI 生成摘要 · Google Gemini · 来自 2 个来源。 我们如何撰写摘要 →
新研究证明AI规划存在性问题不可判定
报道来源 [2]
-
计划存在性问题的不可判定性证明
arXiv:2604.22736v1 Announce Type: cross Abstract: The plan existence problem asks, given a goal in the form of a formula in modal logic, an initial epistemic state (a pointed Kripke model), and a set of epistemic actions, whether there exists a sequence of actions that can be app…
-
计划存在性问题的不可判定性证明
The plan existence problem asks, given a goal in the form of a formula in modal logic, an initial epistemic state (a pointed Kripke model), and a set of epistemic actions, whether there exists a sequence of actions that can be applied to reach the goal. We prove that even in the …