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.
命題動態(tài)邏輯是對動作進行刻畫和推理,并在此基礎上進行規(guī)劃求解的一種有效工具。 返回 propositional dynamic logic