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更多词组

专业释义

計算機科學技術

• 命題動態邏輯