Highly Influenced

10 Excerpts

@inproceedings{Shapiro1981AnAT, title={An Algorithm that Infers Theories from Facts}, author={Ehud Y. Shapiro}, booktitle={IJCAI}, year={1981} }

- Published in IJCAI 1981

A framework for inductive inference in logic is presented: a Model Inference Problem is defined, and it is shown that problems of machine learning and program synthesis from examples can be formulated naturally as model inference problems. A general, incremental inductive inference algorithm for solving model inference problems is developed. This algorithm is based on Popper's methodology of conjectures and refutations [ I I ] . The algorithm can be shown to identify in the limit [3] any model… CONTINUE READING