Highly Influenced

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

@inproceedings{Lloyd2000KnowledgeR, title={Knowledge Representation , Computation , and Learning in Higher-order Logic ∗}, author={John W. Lloyd}, year={2000} }

- Published 2000

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

#### From This Paper

##### Figures, tables, and topics from this paper.

14 Citations

17 References

Similar Papers