An Algorithm that Infers Theories from Facts

  title={An Algorithm that Infers Theories from Facts},
  author={Ehud Y. Shapiro},
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

Figures and Topics from this paper.


Publications referenced by this paper.

A Survey of Synthesis of LISP Programs from Examples

  • Douglas R. Smith.
  • International Workshop on Program Conduction…
  • 1981

A Class of Functions Synthesized from a Finite Number of Examples and a Lisp Program Scheme

  • A. Robert
  • International Journal of Computer and Information…
  • 1979

Kowalski . Algorithm = Logic + Control

  • A. Robert
  • Kowalski . Logic for Problem Solving
  • 1979

Similar Papers

Loading similar papers…