- Abstract:
-
We describe proof planning: a technique for both describing the hierarchical structure of proofs and then using this structure to guide proof attempts. When such a proof attempt fails, these failures can be analyzed and a patch formulated and applied. We also describe rippling: a powerful proof method used in proof planning. We pose and answer a number of common questions about proof planning and rippling.
- Copyright:
- 2004 by The University of Edinburgh. All Rights Reserved
- Links To Paper
- 1st link
- 2nd link
- Bibtex format
- @InProceedings{EDI-INF-RR-0229,
- author = {
Alan Bundy
},
- title = {Planning and Patching Proof},
- book title = {Proceedings of AISC 2004 (Artificial Intelligence and Symbolic Computation)},
- publisher = {Springer},
- year = 2004,
- month = {Jul},
- volume = {3249},
- pages = {26-37},
- doi = {10.1007/b100361},
- url = {http://www.springerlink.com/content/xh95ph6y7dfkvaaa/?p=6f9d7ef42c9842999b05daf50b4444a7&pi=0},
- }
|
