Name
Abstract | ||
|---|---|---|
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. |
Year | DOI | Venue |
|---|---|---|
1990 | 10.1145/100348.100392 | ACM Conference on Computer Science |
Keywords | Field | DocType |
unexpected action outcome,major action step,consistent belief,towards common sense planning,action model,new planner acp,qualification problem,commonsense reasoning,frame problem,bi-directional reasoning scheme,appropriate default rule,modal logic | Common sense,Consistency criterion,Computer science,Logical possibility,Commonsense reasoning,Planner,Qualification problem,Modal logic,Artificial intelligence,Frame problem | Conference |
ISBN | Citations | PageRank |
0-89791-348-5 | 1 | 0.36 |
References | Authors | |
12 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Wah-Bih Liaw | 1 | 1 | 0.36 |
| Frank M. Brown | 2 | 39 | 14.50 |
| Srung S. Park | 3 | 1 | 0.36 |