报告首先定义了一种动态知识逻辑- epistemic propositional dynamic logic (EPDL)。EPDL 融合了 dynamic epistemic logic (DEL) 和 epistemic temporal logic (ETL) 两种逻辑的优点，既有 DEL 动态更新主体的知识状态的特点也像 ETL 一样具有时态发展的维度。然后介绍了人工智能领域的规划问题- conformant planning，并将这个规划问题归约为 EPDL 上的模型检测问题。不仅如此，利用 EPDL 还可以定义具有一般性的 conformant planning 问题，并且一般化的 conformant planning 也可以归约为 EPDL 上的模型检测问题。报告中还介绍了 EPDL 的模型检测问题的复杂度以及 EPDL 的可满足问题的可判定性。其中 EPDL 的模型检测的复杂度与 conformant planning 的复杂度是相同的，这说明一般性的 conformant planning 虽然丰富了规划问题的内容但是并没有增加问题的复杂度。