Göm menyn
Files: Description Format
Fulltext PDF (requires Acrobat Reader)
Fulltext PostScript (requires a PostScript Reader)
   
Author: John Lloyd
Article title: Predicate Construction in Higher-order Logic
Publ. type: Article
Volume: 5
Article No: 32
Language: English
Abstract [en]: 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.
Publisher: LINKÖPING University Electronic Press
Year: 2000
Available: 2000-12-21
No. of pages: 25
Series: LINKÖPING Electronic Articles in Computer and Information Science
ISSN: 1401-9841


Responsible for this page: Peter Berkesand
Last updated: 2017-02-21