Edinburgh Research Explorer

Planning and Patching Proof

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

Related Edinburgh Organisations

Open Access permissions

Open

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
Publication statusPublished - 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