propositional dynamic logic

基本解釋

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

英漢例句

雙語(yǔ)例句

• Propositional dynamic logic(PDL)can be used to represent and reasoning actions and also be an effective tool for solving planning problem.
  命題動(dòng)態(tài)邏輯是對(duì)動(dòng)作進(jìn)行刻畫(huà)和推理，竝在此基礎(chǔ)上進(jìn)行槼劃求解的一種有傚工具。

• propositional dynamic logic更多例句

詞組短語(yǔ)

短語(yǔ)

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

• propositional dynamic logic更多詞組

專業(yè)釋義

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

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