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.
  命题动态逻辑是对动作进行刻画和推理，并在此基础上进行规划求解的一种有效工具。

• propositional dynamic logic更多例句

词组短语

短语

• deterministic propositional dynamic logic 确定性命题逻辑
• many -sorted propositional dynamic logic 多类命题动态逻辑

• propositional dynamic logic更多词组

专业释义

计算机科学技术

• 命题动态逻辑