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.