Higher-order Logic

John Lloyd

doi:10.1007/978-0-387-30164-8_365

Higher-order Logic

Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary › peer-review

Abstract

Higher-order logic is a logic that admits so-called higher-order functions, which are functions that can have functions as arguments or return a function as a result. The expressive power that comes from higher-order functions makes the logic highly suitable for representing individuals, predicates, features, background theories, and hypotheses, and performing the necessary reasoning, in machine learning applications.

Original language	English
Title of host publication	Encyclopedia of Machine Learning
Editors	Claude Sammut & Geoffrey I.Webb
Place of Publication	New York
Publisher	Springer
Pages	5pp
Volume	6
ISBN (Print)	9780387307688
DOIs	https://doi.org/10.1007/978-0-387-30164-8_365
Publication status	Published - 2010

Access to Document

10.1007/978-0-387-30164-8_365

Cite this

@inbook{d061bc47353349ef992d5f576f0e85e4,

title = "Higher-order Logic",

abstract = "Higher-order logic is a logic that admits so-called higher-order functions, which are functions that can have functions as arguments or return a function as a result. The expressive power that comes from higher-order functions makes the logic highly suitable for representing individuals, predicates, features, background theories, and hypotheses, and performing the necessary reasoning, in machine learning applications.",

author = "John Lloyd",

year = "2010",

doi = "10.1007/978-0-387-30164-8\_365",

language = "English",

isbn = "9780387307688",

volume = "6",

pages = "5pp",

editor = "\{Claude Sammut \& Geoffrey I.Webb\}",

booktitle = "Encyclopedia of Machine Learning",

publisher = "Springer",

address = "Germany",

}

TY - CHAP

T1 - Higher-order Logic

AU - Lloyd, John

PY - 2010

Y1 - 2010

N2 - Higher-order logic is a logic that admits so-called higher-order functions, which are functions that can have functions as arguments or return a function as a result. The expressive power that comes from higher-order functions makes the logic highly suitable for representing individuals, predicates, features, background theories, and hypotheses, and performing the necessary reasoning, in machine learning applications.

AB - Higher-order logic is a logic that admits so-called higher-order functions, which are functions that can have functions as arguments or return a function as a result. The expressive power that comes from higher-order functions makes the logic highly suitable for representing individuals, predicates, features, background theories, and hypotheses, and performing the necessary reasoning, in machine learning applications.

U2 - 10.1007/978-0-387-30164-8_365

DO - 10.1007/978-0-387-30164-8_365

M3 - Entry for encyclopedia/dictionary

SN - 9780387307688

VL - 6

SP - 5pp

BT - Encyclopedia of Machine Learning

A2 - null, Claude Sammut & Geoffrey I.Webb

PB - Springer

CY - New York

ER -

Higher-order Logic

Abstract

Access to Document

Fingerprint

Cite this