Abstract:

The course of action(COA) validation is the fundamental and pivotal step. Based on the research on plan representation and plan reasoning, a semantic reasoning approach for COA validation is proposed. In this approach, the COA validation is realized through constructing the ontological COA representation and description logic and first order logic based COA knowledge reasoning. A joint COA validation is given as the practical example. The example shows that the proposed approach can extend the knowledge of experts, find out the exceoption and discompatibility of the developed COA and improve the efficiency of correctness validation for COA development.