There are several works whose goal is to specify complete and sound planning systems based on general purpose theorem provers. Some planners implemented in this way can have a close correspondence with existing partialordered planning algorithms. To improve the efficiency of logic-based planners we would like to use some of the results achieved by the AI planning community over the past twenty years in terms of algorithm design. We claim that a knowledge level analysis of problem-solving methods for planning, can help to identify what is the role of each piece of knowledge in a system and provide a common language to map, classify and compare different systems. In this paper we analyze an abductive event calculus planner using a library of problemsolving methods for planning.
CITATION STYLE
De Barros, L. N., & Santos, P. E. (2000). The nature of knowledge in an abductive event calculus planner. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1937, pp. 328–343). Springer Verlag. https://doi.org/10.1007/3-540-39967-4_25
Mendeley helps you to discover research relevant for your work.