A functional perspective on machine learning via programmable induction and abduction

Steven Cheung; Victor  Darvariu; Dan R. Ghica; Koko Muroya; Reuben N. S.  Rowe

doi:10.1007/978-3-319-90686-7_6

A functional perspective on machine learning via programmable induction and abduction

Steven Cheung, Victor Darvariu, Dan R. Ghica, Koko Muroya, Reuben N. S. Rowe

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

139 Downloads (Pure)

Abstract

We present a programming language for machine learning based on the concepts of ‘induction’ and ‘abduction’ as encountered in Peirce’s logic of science. We consider the desirable features such a language must have, and we identify the ‘abductive decoupling’ of parameters as a key general enabler of these features. Both an idealised abductive calculus and its implementation as a PPX extension of OCaml are presented, along with several simple examples.

Original language	English
Title of host publication	Functional and Logic Programming
Subtitle of host publication	14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings
Editors	John P. Gallagher, Martin Sulzmann
Publisher	Springer
Pages	84-89
ISBN (Electronic)	9783319906867
ISBN (Print)	9783319906850
DOIs	https://doi.org/10.1007/978-3-319-90686-7_6
Publication status	Published - 9 May 2018
Event	14th International Symposium on Functional and Logic Programming, (FLOPS 2018) - Nagoya, Japan Duration: 9 May 2018 → 11 May 2018

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10818
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	14th International Symposium on Functional and Logic Programming, (FLOPS 2018)
Country/Territory	Japan
City	Nagoya
Period	9/05/18 → 11/05/18

Access to Document

10.1007/978-3-319-90686-7_6

Functional_perspective_on_machine_learning
Checked for eligibility: 25/05/2018 https://link.springer.com/chapter/10.1007%2F978-3-319-90686-7_6
Accepted author manuscript, 332 KB

Cite this

Cheung, S., Darvariu, V., Ghica, D. R., Muroya, K., & Rowe, R. N. S. (2018). A functional perspective on machine learning via programmable induction and abduction. In J. P. Gallagher, & M. Sulzmann (Eds.), Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings (pp. 84-89). (Lecture Notes in Computer Science; Vol. 10818). Springer. https://doi.org/10.1007/978-3-319-90686-7_6

Cheung, Steven ; Darvariu, Victor ; Ghica, Dan R. et al. / A functional perspective on machine learning via programmable induction and abduction. Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. editor / John P. Gallagher ; Martin Sulzmann. Springer, 2018. pp. 84-89 (Lecture Notes in Computer Science).

@inproceedings{8d0dc522b56a486b995ba27e6e31afea,

title = "A functional perspective on machine learning via programmable induction and abduction",

abstract = "We present a programming language for machine learning based on the concepts of {\textquoteleft}induction{\textquoteright} and {\textquoteleft}abduction{\textquoteright} as encountered in Peirce{\textquoteright}s logic of science. We consider the desirable features such a language must have, and we identify the {\textquoteleft}abductive decoupling{\textquoteright} of parameters as a key general enabler of these features. Both an idealised abductive calculus and its implementation as a PPX extension of OCaml are presented, along with several simple examples.",

author = "Steven Cheung and Victor Darvariu and Ghica, {Dan R.} and Koko Muroya and Rowe, {Reuben N. S.}",

year = "2018",

month = may,

day = "9",

doi = "10.1007/978-3-319-90686-7_6",

language = "English",

isbn = "9783319906850",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "84--89",

editor = "Gallagher, {John P.} and Martin Sulzmann",

booktitle = "Functional and Logic Programming",

note = "14th International Symposium on Functional and Logic Programming, (FLOPS 2018) ; Conference date: 09-05-2018 Through 11-05-2018",

}

Cheung, S, Darvariu, V, Ghica, DR, Muroya, K & Rowe, RNS 2018, A functional perspective on machine learning via programmable induction and abduction. in JP Gallagher & M Sulzmann (eds), Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10818, Springer, pp. 84-89, 14th International Symposium on Functional and Logic Programming, (FLOPS 2018), Nagoya, Japan, 9/05/18. https://doi.org/10.1007/978-3-319-90686-7_6

A functional perspective on machine learning via programmable induction and abduction. / Cheung, Steven; Darvariu, Victor ; Ghica, Dan R. et al.
Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. ed. / John P. Gallagher; Martin Sulzmann. Springer, 2018. p. 84-89 (Lecture Notes in Computer Science; Vol. 10818).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - A functional perspective on machine learning via programmable induction and abduction

AU - Cheung, Steven

AU - Darvariu, Victor

AU - Ghica, Dan R.

AU - Muroya, Koko

AU - Rowe, Reuben N. S.

PY - 2018/5/9

Y1 - 2018/5/9

N2 - We present a programming language for machine learning based on the concepts of ‘induction’ and ‘abduction’ as encountered in Peirce’s logic of science. We consider the desirable features such a language must have, and we identify the ‘abductive decoupling’ of parameters as a key general enabler of these features. Both an idealised abductive calculus and its implementation as a PPX extension of OCaml are presented, along with several simple examples.

AB - We present a programming language for machine learning based on the concepts of ‘induction’ and ‘abduction’ as encountered in Peirce’s logic of science. We consider the desirable features such a language must have, and we identify the ‘abductive decoupling’ of parameters as a key general enabler of these features. Both an idealised abductive calculus and its implementation as a PPX extension of OCaml are presented, along with several simple examples.

U2 - 10.1007/978-3-319-90686-7_6

DO - 10.1007/978-3-319-90686-7_6

M3 - Conference contribution

SN - 9783319906850

T3 - Lecture Notes in Computer Science

SP - 84

EP - 89

BT - Functional and Logic Programming

A2 - Gallagher, John P.

A2 - Sulzmann, Martin

PB - Springer

T2 - 14th International Symposium on Functional and Logic Programming, (FLOPS 2018)

Y2 - 9 May 2018 through 11 May 2018

ER -

Cheung S, Darvariu V, Ghica DR, Muroya K, Rowe RNS. A functional perspective on machine learning via programmable induction and abduction. In Gallagher JP, Sulzmann M, editors, Functional and Logic Programming: 14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018, Proceedings. Springer. 2018. p. 84-89. (Lecture Notes in Computer Science). Epub 2018 Apr 24. doi: 10.1007/978-3-319-90686-7_6

A functional perspective on machine learning via programmable induction and abduction

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this