Inducing Function Properties from Computation Traces
Proceedings of the Sixth International Joint Conference on Artificial Intelligence. .
Abstract
A system which induces properties of functions is presented. Induction is performed by stepwise generalizing specific given elements of the function domains for which the system can test that the property holds. The system relies on symbolic computation, reflexivity lemmas, and an estimate of the behaviour of the functions. Finally, the paper gives a basis for an evaluation of the system by constructively defining a class of theorems which the system is able to induce. "In mathematics as in physical sciences we may use observation and induction to discover general laws. But there is a difference. In the physical sciences, there is no higher authority than observation and induction, but in mathematics there is such an authority: rigorous proof." G. Polya How to solve it. Doubleday (New York, 1957).
@inproceedings{ijcai1979p48,
title = {Inducing Function Properties from Computation Traces},
author = {Degano, Pierpaolo and Sirovich, Franco},
booktitle = {Proceedings of the Sixth International Joint Conference on
Artificial Intelligence, {IJCAI-79}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Bruce G. Buchanan},
year = {1979},
month = {8},
url = {https://ijcai.org/proceedings/1979/48},
}
TY - CPAPER TI - Inducing Function Properties from Computation Traces AU - Degano, Pierpaolo AU - Sirovich, Franco T2 - Proceedings of the Sixth International Joint Conference on Artificial Intelligence, IJCAI-79 PB - International Joint Conferences on Artificial Intelligence PY - 1979 UR - https://ijcai.org/proceedings/1979/48 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
