propositional dynamic logic

基本解釋

• [計算機科學(xué)技術(shù)]命題動態(tài)邏輯

英漢例句

雙語例句

• Propositional dynamic logic(PDL)can be used to represent and reasoning actions and also be an effective tool for solving planning problem.
  命題動態(tài)邏輯是對動作進行刻畫和推理，并在此基礎(chǔ)上進行規(guī)劃求解的一種有效工具。

• propositional dynamic logic更多例句

詞組短語

短語

• deterministic propositional dynamic logic 確定性命題邏輯
• many -sorted propositional dynamic logic 多類命題動態(tài)邏輯

• propositional dynamic logic更多詞組

專業(yè)釋義

計算機科學(xué)技術(shù)

• 命題動態(tài)邏輯