Title | ||
---|---|---|
Constructive Matching Methodology: Formally Creative or Intelligent Inductive Theorem Proving? |
Abstract | ||
---|---|---|
In this paper we explain why, and in what sense, the methodology for inductive theorem proving (IFTP) we develop is creative and we explain why our methodology cannot be said to be intelligent, as a human could be, and nevertheless it is suitable for a user-independent automatization of ITP. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/3-540-56804-2_44 | ISMIS |
Keywords | Field | DocType |
constructive matching methodology,intelligent inductive theorem proving,theorem proving | Inductive theorem proving,Atomic formula,Computer science,Constructive,Algorithm,Fundamental theorem,Artificial intelligence,Rule of inference,Calculus,Machine learning | Conference |
ISBN | Citations | PageRank |
3-540-56804-2 | 3 | 0.45 |
References | Authors | |
7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marta Franová | 1 | 22 | 5.53 |
Yves Kodratoff | 2 | 581 | 172.25 |
Martine Gross | 3 | 3 | 0.45 |