The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Research Paper #786

Title:Extensions to a Generalization Critic for Inductive Proof
Authors:Ireland,A; Bundy,A
Date:Jan 1996
Presented:Sumitted to CADE-13
Keywords:
Abstract:In earlier papers a critic for automatically generalizing conjectures in the context of failed inductive proofs was presented. The critic exploits the partial success of the search control heuristic known as rippling. Through empirical testing a natural generalization and extension of the basic critic emerged. Here we describe our extended generalization critic together with some promising experimental results.
Download:POSTSCRIPT COPY


[Search These Pages] [DAI Home Page] [Comment]