Towards meta-interpretive learning of programming language semantics

Sándor Bartha; James Cheney

doi:10.1007/978-3-030-49210-6_2

Towards meta-interpretive learning of programming language semantics

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

Abstract

We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metagol meta-interpretive learning system. We highlighted the challenging aspects of this scenario, including abstracting over function symbols, nonterminating examples, and learning non-observed predicates, and proposed extensions to Metagol helpful for overcoming these challenges, which may prove useful in other domains.

Original language	English
Title of host publication	Inductive Logic Programming
Subtitle of host publication	29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings
Editors	Dimitar Kazakov, Can Erten
Publisher	Springer
Pages	16–25
Number of pages	10
ISBN (Electronic)	978-3-030-49210-6
ISBN (Print)	978-3-030-49209-0
DOIs	https://doi.org/10.1007/978-3-030-49210-6_2
Publication status	Published - 5 Jun 2020
Event	29th International Conference on Inductive Logic Programming - Plovdiv, Bulgaria Duration: 3 Sept 2019 → 5 Sept 2019 https://ilp2019.org/

Publication series

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

Conference

Conference	29th International Conference on Inductive Logic Programming
Abbreviated title	ILP 2019
Country/Territory	Bulgaria
City	Plovdiv
Period	3/09/19 → 5/09/19
Internet address	https://ilp2019.org/

Keywords / Materials (for Non-textual outputs)

cs.PL
cs.LG
cs.LO

Access to Document

10.1007/978-3-030-49210-6_2Licence: All Rights Reserved

1907.08834v1Accepted author manuscript, 131 KB

https://link.springer.com/chapter/10.1007/978-3-030-49210-6_2Licence: All Rights Reserved

Cite this

Bartha, S., & Cheney, J. (2020). Towards meta-interpretive learning of programming language semantics. In D. Kazakov, & C. Erten (Eds.), Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings (pp. 16–25). (Lecture Notes in Computer Science; Vol. 11770). Springer. https://doi.org/10.1007/978-3-030-49210-6_2

@inproceedings{21b7b8b57e83444398da0d751ec259ee,

title = "Towards meta-interpretive learning of programming language semantics",

abstract = "We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metagol meta-interpretive learning system. We highlighted the challenging aspects of this scenario, including abstracting over function symbols, nonterminating examples, and learning non-observed predicates, and proposed extensions to Metagol helpful for overcoming these challenges, which may prove useful in other domains. ",

keywords = "cs.PL, cs.LG, cs.LO",

author = "S{\'a}ndor Bartha and James Cheney",

note = "ILP 2019, to appear; 29th International Conference on Inductive Logic Programming, ILP 2019 ; Conference date: 03-09-2019 Through 05-09-2019",

year = "2020",

month = jun,

day = "5",

doi = "10.1007/978-3-030-49210-6_2",

language = "English",

isbn = "978-3-030-49209-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "16–25",

editor = "Dimitar Kazakov and Can Erten",

booktitle = "Inductive Logic Programming",

address = "United Kingdom",

url = "https://ilp2019.org/",

}

Bartha, S & Cheney, J 2020, Towards meta-interpretive learning of programming language semantics. in D Kazakov & C Erten (eds), Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings. Lecture Notes in Computer Science, vol. 11770, Springer, pp. 16–25, 29th International Conference on Inductive Logic Programming, Plovdiv, Bulgaria, 3/09/19. https://doi.org/10.1007/978-3-030-49210-6_2

Towards meta-interpretive learning of programming language semantics. / Bartha, Sándor; Cheney, James.
Inductive Logic Programming: 29th International Conference, ILP 2019, Plovdiv, Bulgaria, September 3–5, 2019, Proceedings. ed. / Dimitar Kazakov; Can Erten. Springer, 2020. p. 16–25 (Lecture Notes in Computer Science; Vol. 11770).

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

TY - GEN

T1 - Towards meta-interpretive learning of programming language semantics

AU - Bartha, Sándor

AU - Cheney, James

N1 - ILP 2019, to appear

PY - 2020/6/5

Y1 - 2020/6/5

N2 - We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metagol meta-interpretive learning system. We highlighted the challenging aspects of this scenario, including abstracting over function symbols, nonterminating examples, and learning non-observed predicates, and proposed extensions to Metagol helpful for overcoming these challenges, which may prove useful in other domains.

AB - We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations. In this short paper, we explored a simplified task in this domain using the Metagol meta-interpretive learning system. We highlighted the challenging aspects of this scenario, including abstracting over function symbols, nonterminating examples, and learning non-observed predicates, and proposed extensions to Metagol helpful for overcoming these challenges, which may prove useful in other domains.

KW - cs.PL

KW - cs.LG

KW - cs.LO

UR - https://link.springer.com/conference/ilp

U2 - 10.1007/978-3-030-49210-6_2

DO - 10.1007/978-3-030-49210-6_2

M3 - Conference contribution

SN - 978-3-030-49209-0

T3 - Lecture Notes in Computer Science

SP - 16

EP - 25

BT - Inductive Logic Programming

A2 - Kazakov, Dimitar

A2 - Erten, Can

PB - Springer

T2 - 29th International Conference on Inductive Logic Programming

Y2 - 3 September 2019 through 5 September 2019

ER -

Towards meta-interpretive learning of programming language semantics

Abstract

Publication series

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Other files and links

Fingerprint

Skye-A programming language bridging theory and practice for scientific data curation

Cite this

Towards meta-interpretive learning of programming language semantics

Abstract

Publication series

Conference

Keywords / Materials (for Non-textual outputs)

Access to Document

Other files and links

Fingerprint

Projects

Skye-A programming language bridging theory and practice for scientific data curation

Cite this