Application of EA " J ) lanation-Based Generalization in Theorem Proving * TR 89-015 March 1989

Abstract

This paper presentS a special case of Explanation-Based Generalization (EBG), Goal Generalization. Goal generalization. which cries to find a proof for the most general solvable ve~ion of a specific goal while solving the specific goal, is an application of EBG methods in automatic theorem proving and is a general technique applicable to many goal-oriented… (More)

Topics

  • Presentations referencing similar topics