The identification method for the validity of planning

从规划一致性检验方法的角度出发，以实际规划案例为基础，构建了典型规划情景，并对情景中的逻辑形式进行了检验。在此基础上，我们找到了可能性和必然性的模态表达式，从而构建了计划模态逻辑的公理系统。此外，我们提出了一个算法利用这一公理系统，我们证实了算法的有效性，通过实现的计算机程序。

From a viewpoint such that we need the checking methodology for the consistency of the planning, we make typical planning scenarios based on the actual planning cases, and we examined the logical form in the scenario. As the result, we find the modal expressions of possibility and necessity, and then, we construct the axiomatic system of planning modal logic. Furthermore, we proposed an algorithm utilized this axiomatic system, and we confirm the effectiveness of the algorithm by the implemented computer program.