Edinburgh Research Explorer

Planning and Patching Proof

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationArtificial Intelligence and Symbolic Computation
Subtitle of host publication7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004. Proceedings
PublisherSpringer-Verlag GmbH
Pages26-37
Volume3249
ISBN (Electronic)978-3-540-30210-0
ISBN (Print)978-3-540-23212-4
DOIs
StatePublished - Jul 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume3249
ISSN (Print)0302-9743

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.

Download statistics

No data available

ID: 403268