Symbolic and Neuro-Symbolic Artificial Intelligence

Learning Goals

The students will learn when and how to apply state of the art approaches for automated reasoning in AI, with particular emphasys on symbolic approached based on logic and on more recent neuro-symbolic methods, combining logical reasoning with stastical learning approaches.

Program in pills

Symbolic AI and automated reasoning: SAT solvers, SMT solvers, constraint programming, theorem proving. Neuro-symbolic AI: neuro-symbolic formalisms, constraint learning of neural networks, neuro-symbolic reasoning

Area

Machine Learning and Artificial Intelligence

Curriculum Foundations
TAF Type

C

Curriculum Industry
TAF Type

D

Curriculum Health
TAF Type

D

Curriculum Economy
TAF Type

D

SSD

INF/01

ECTS

6

Semester

1

Lecturers

Adriano Peron
Francesca Cairoli