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.
命题动态逻辑是对动作进行刻画和推理，并在此基础上进行规划求解的一种有效工具。
双语例句
词组短语
- deterministic propositional dynamic logic 确定性命题逻辑
- many -sorted propositional dynamic logic 多类命题动态逻辑
短语
专业释义
- 命题动态逻辑