Towards common sense planning

摘要

Classical planners are deficient in dealing with incomplete knowledge, resulting in incorrect interpretation of situations. This paper introduces a new planner ACP that tackles the problem by combining an action model based on Brown's quantified modal logic Z and a bi-directional reasoning scheme. The commonsense reasoning is handled by doing case analysis on default formulas that characterize each action's logical meaning. ACP suggests a simple and efficient approach for maintaining and updating consistent beliefs at major action steps. The frame problem and the qualification problem are dealt by introducing appropriate default rules and consistency criterion to the action model. Incremental constraints are used to ensure that the next state will be consistent with achieving the goals. The whole planning process can be modified when an unexpected action outcome occurs. The research also shows that if a plan is logically possible, ACP will find it. Therefore, ACP is complete.