Analogy in inductive theorem proving
type: Item
instance of: scholarly article
title: Analogy in inductive theorem proving
zbMATH Open document ID: 0929.03019
DOI: 10.1023/A:1005936130801
author: Erica Melis
author: Jon Whittle
published in: Journal of Automated Reasoning
publication date: 2000-01-12T00:00:00Z
review text: In this paper the authors describe analogy-driven proof plan construction in inductive theorem proving. The analogies investigated are external analogies. An analogy procedure is obtained that is incorporated into the generic proof planner CLAM. Several examples to illustrate this procedure are presented.
Mathematics Subject Classification ID: 03B35
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1275082
zbMATH Keywords: analogy-driven proof plan construction
zbMATH Keywords: inductive theorem proving
zbMATH Keywords: generic proof planner CLAM
reviewed by: Nicolae Ţăndăreanu
describes a project that uses: LCF
describes a project that uses: CLAM
MaRDI profile type: Publication
full work available at URL: a:1005936130801
OpenAlex ID: W1549859189
Recommended article: Q4919768
Recommended article: An analogy principle in inductive logic
Recommended article: Internal analogy in theorem proving
Recommended article: Q3817655
Recommended article: Q5015380
Recommended article: Analogy in Automated Deduction: A Survey
Recommended article: Combining analogical support in pure inductive logic
Recommended article: Semantic generalizations for proving and disproving conjectures by analogy
Recommended article: Q4370349
Recommended article: Building proofs or counterexamples by analogy in a resolution framework
description: scientific article; zbMATH DE number 1275082