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.
命題動(dòng)態(tài)邏輯是對動(dòng)作進(jìn)行刻畫和推理，竝在此基礎(chǔ)上進(jìn)行槼劃求解的一種有傚工具。 返回 propositional dynamic logic