Title: Predicate Construction in Higher-order Logic
Authors: John Lloyd
Series: Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue: Vol. 5 (2000), No. 032
URL: http://www.ep.liu.se/ea/cis/2000/032/

Abstract: Predicate construction is a guided search process: a space of predicates must be enumerated in some systematic way in order to find, according to some criterion, a suitable predicate for some purpose. Often the search space is large and heuristics are used to guide the search. Typically, predicate construction is studied and implemented in the context of first-order logic. In this paper, I outline the foundations of predicate construction in higher-order logic. The main contribution is a method of incremental construction of predicates on higher-order terms that represent individuals. Applications of the approach to machine learning are indicated.

Original publication
Postscript Checksum
Checksum (old) Information about recalculation of checksum