Implementation Strategies for Plan-Based Deduction
This paper discusses some results of experimentation with a plan-based deduction system. The system incorporates an efficient intelligent backtracking strategy. During implementation, several important questions concerning different strategies to control the deduction process arose. These questions are answered in the paper, with special emphasis on the problem of generating redundant solutions.
KeywordsGoal Statement Open Goal Deduction System Order Number Resolution Process
Unable to display preview. Download preview PDF.
- [Bibel 83]
- [Bruynooghe 83]Bruynooghe, M., “Deduction Revision by Intelligent Backtracking”, Universidade Nova de Lisboa, Research Report, July 1983.Google Scholar
- [Chang and Slagle 79]
- [Clocksin and Mellish 82]Clocksin, W.F. and Mellish, C.S., “Programming in Prolog”, Springer Verlag, 1982.Google Scholar
- [Forsythe & Matwin 83]Forsythe, K and Matwin, S., “Copying of Multi-level Structures in a PASCAL Environment”, submitted to Software — Practice and Experience, 1983.Google Scholar
- [Kowalski 75]
- [Matwin & Pietrzykowski 83]Matwin, S and Pietrzykowski, T., “Intelligent Backtracking in Plan-Based Deduction”, submitted to IEEE Trans. on Pattern Analysis and Machine Intelligence.Google Scholar
- [Pereira & Porto 80]Pereira, L.M., and Porto, A., “Selective Backtracking for Logic Programs”, Procs. of CADE-5, pp. 306–317.Google Scholar
- [Pietrzykowski & Matwin 82]Pietrzykowski, T. and Matwin, S., “Exponential Improvement of Exhaustive Backtracking: A Strategy for Plan-Based Deduction”, Procs. of CADE-6, pp. 223–239.Google Scholar
- [Sickle 76]