BriefGPT.xyz
Ask
alpha
关键词
domain-independent heuristic
搜索结果 - 1
启发式规划的定理证明
本研究介绍了一种利用启发式算法解决定理证明和计划制定问题的方法，并将其应用于 situation calculus 中。该方法通过使用 A * 搜索算法排列一系列情境，并利用删除松弛法控制启发式规划器，获得较短的计划方案，并探索较少的状态。
→
PDF
a year ago
Prev
Next