一种约简动作变元的命题规划编码方式

Keywords: [智能规划, 基于可满足性的规划, 编码方式, 可满足性, 公理, intelligent planning, planning as satisfiability, encoding method, satisfiability, axiom]

Full-Text   Cite this paper   Add to My Lib

Abstract:

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系..

Full-Text