Logic Programming library for Machine Learning: API design and prototype


Giovanni Ciatto, Matteo Castigliò, Roberta Calegari

CILC 2022 – Italian Conference on Computational Logic, pages 104-118
CEUR Workshop Proceedings (AI*IA Series) 3204,  2022
CEUR-WS

In this paper we address the problem of hybridising symbolic and sub-symbolic approaches in artificial intelligence, following the purpose of creating flexible and data-driven systems, which are simultaneously comprehensible and capable of automated learning. In particular, we propose a logic API for supervised machine learning, enabling logic programmers to exploit neural networks – among the others – in their programs. Accordingly, we discuss the design and architecture of a library reifying APIs for the Prolog language in the 2P-Kt logic ecosystem. Finally, we discuss a number of snippets aimed at exemplifying the major benefits of our approach when designing hybrid systems.

(keywords) logic programming, machine learning, API, 2P-Kt
 @inproceedings{logicapiml-cilc2022,
author = {Ciatto, Giovanni and Castigliò, Matteo and Calegari, Roberta},
booktitle = {CILC 2022 -- Italian Conference on Computational Logic},
editor = {Calegari, Roberta and Ciatto, Giovanni and Omicini, Andrea},
issn = {1613-0073},
keywords = {logic programming, machine learning, API, 2P-Kt},
pages = {104--118},
publisher = {CEUR-WS},
series = ceurws,
subseries = {AI*IA Series},
title = {Logic Programming library for Machine Learning: {API} design and prototype},
url = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
url-pdf = {http://ceur-ws.org/Vol-3204/paper_12.pdf},
volume = 3204,
year = 2022

Talks

Journals & Series

Events

  • 37th Italian Conference on Computational Logic (CILC 2022) — 29/06/2022–01/07/2022

Publication

— authors

Giovanni Ciatto, Matteo Castigliò, Roberta Calegari

— status

published

— sort

paper in proceedings

Venue

— volume

CILC 2022 – Italian Conference on Computational Logic

— series

CEUR Workshop Proceedings / AI*IA Series

— volume

3204

— pages

104-118

— publication date

2022

URLs

original page  |  open access PDF

Identifiers

— print ISSN

1613-0073

BibTeX

— BibTeX ID
logicapiml-cilc2022
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY