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
CEUR-WS
2022

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

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

— publication date

2022

— volume

CILC 2022 – Italian Conference on Computational Logic

— series

CEUR Workshop Proceedings / AI*IA Series

— volume

3204

— pages

104-118

— number of pages

15

— location

Bologna, Italy

URLs

original page  |  open access PDF

identifiers

— print ISSN

1613-0073

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY