实体 Kripke model

Kripke model

PulseAugur coverage of Kripke model — every cluster mentioning Kripke model across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

最近 · 第 1/1 页 · 共 1 条

RESEARCH · CL_05021 · Apr 24 · 17:36

新研究证明AI规划存在性问题不可判定

研究人员证明了模态逻辑中的规划存在性问题是不可判定的。该问题涉及在给定初始状态和一组动作的情况下，确定一系列认知动作是否能实现指定目标。即使动作前提的模态深度为一时且没有后置条件，该证明也成立，从而解决了关于该问题可判定性的一个先前未知的问题。