On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge


Giovanni Ciatto

In this thesis we discuss in what ways computational logic (CL) and data science (DS) can jointly contribute to the management of knowledge within the scope of modern and future artificial intelligence (AI), and how technically-sound software technologies can be realised along the path. An agent-oriented mindset permeates the whole discussion, by stressing the pivotal role of autonomous agents in exploiting both means to reach higher degrees of intelligence. Accordingly, the goals of this thesis are manifold. First, we elicit the analogies and differences among CL and DS, hence looking for possible synergies and complementarities along 4 major knowledge-related dimensions, namely representation, acquisition (a.k.a. learning), inference (a.k.a. reasoning), and explanation. In this regard, we propose a conceptual framework through which bridges these disciplines can be described and designed. We then survey the current state of the art of AI technologies, w.r.t. their capability to support bridging CL and DS in practice. After detecting lacks and opportunities, we propose the notion of logic ecosystem as the new conceptual, architectural, and technological solution supporting the incremental integration of symbolic and sub-symbolic AI. Finally, we discuss how our notion of logic ecosystem can be reified into actual software technology and extended towards many DS-related directions.

(keywords) computational logic; data science; XAI; logic ecosystem 2P-Kt

Tags:

Thesis

On the role of Computational Logic in Data Science: representing, learning, reasoning, and explaining knowledge

— author

Giovanni Ciatto

Supervision

— supervisor

Andrea Omicini

Sort

— cycle

third-cycle thesis

— status

completed thesis

— language

wgb.gif

Dates

— activity started

15/06/2021

— degree date

16/06/2022

IDs & URLs

— AMS Dottorato

10192

— URL

https://github.com/gciatto-unibo/phd-thesis

Files

PDF

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