论文信息 - Planning as Satis abilityHenry

Planning as Satis abilityHenry

We develop a formal model of planning based on satis ability rather than deduction The satis ability approach not only provides a more ex ible framework for stating di erent kinds of constraints on plans but also more accurately re ects the theory behind modern constraint based plan ning systems Finally we consider the computational characteristics of the resulting formulas by solving them with two very di erent satis ability

Henry A. Kautz | B. Selman

[1] C. Cordell Green,et al. Application of Theorem Proving to Problem Solving , 1969, IJCAI.

[2] Stanley J. Rosenschein,et al. Plan Synthesis: A Logical Perspective , 1981, IJCAI.

[3] John McCarthy,et al. SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[4] David Chapman,et al. Planning for Conjunctive Goals , 1987, Artif. Intell..

[5] A. Vellino. The complexity of automated reasoning , 1990 .

[6] Steven Minton,et al. Solving Large-Scale Constraint-Satisfaction and Scheduling Problems Using a Heuristic Repair Method , 1990, AAAI.

[7] Cecilia R. Aragon,et al. Optimization by Simulated Annealing: An Experimental Evaluation; Part II, Graph Coloring and Number Partitioning , 1991, Oper. Res..

[8] Dana S. Nau,et al. Complexity Results for Blocks-World Planning , 1991, AAAI.

[9] James F. Allen. Planning as Temporal Reasoning , 1991, KR.