Knowledge Representation , Computation , and Learning in Higher-order Logic ∗

  title={Knowledge Representation , Computation , and Learning in Higher-order Logic ∗},
  author={John W. Lloyd},
This paper contains a systematic study of the foundations of knowledge representation, computation, and learning in higher-order logic. First, a polymorphically-typed higher-order logic, whose origins can be traced back to Church’s simple theory of types, is presented. A model theory and proof theory for this logic are developed and basic theorems relating these two are given. A metric space of certain closed terms, which provides a rich language for representing individuals, is then studied… CONTINUE READING
14 Citations
17 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 17 references

A knowledge representation framework for inductive learning

  • A. F. Bowers, C. Giraud-Carrier, J. W. Lloyd
  • Available at,
  • 2001

Introduction to HOL: A Theorem Proving Environment for Higher Order Logic

  • M.J.C. Gordon, T. F. Melham
  • 1993

Similar Papers

Loading similar papers…