常见例句双语例句Propositional dynamic logic(PDL)can be used to represent and reasoning actions and also be an effective tool for solving planning problem.命题动态逻辑是对动作进行刻画和推理,并在此基础上进行规划求解的一种有效工具。 返回 propositional dynamic logic