Extensions to a Generalization Critic for Inductive Proof

摘要

In earlier papers a critic for automatically generalizing conjectures in the context of failed inductive proofs was presented. The criticexploits 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.