Warning: file_put_contents(/www/wwwroot/ppbbu/5356789.com/cache/3e513cb1a2f51e4c9f814709d19e76c2.txt): failed to open stream: No space left on device in /www/wwwroot/ppbbu/5356789.com/index.php on line 55 propositional dynamic logic例句_propositional dynamic logic英汉例句_propositional dynamic logic双解例句_零六五六深蓝词典
Propositional dynamic logic(PDL)can be used to represent and reasoning actions and also be an effective tool for solving planning problem. 命题动态逻辑是对动作进行刻画和推理，并在此基础上进行规划求解的一种有效工具。