Answer Set Programming in Knowledge Representation

Loris Bozzato

Code:

38005

Period:

Tuesday, May 2, 2023 to Thursday, June 1, 2023

Year:

2023

Credits:

3.00

Duration:

Objectives

Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years. This course provides a general introduction to ASP and its applications in Knowledge Representation and Reasoning. The first part of the course provides an introduction to the basic concepts and logical foundations of the ASP formalism. We will then consider ASP as a declarative programming paradigm, by providing some insights in programming methods and Answer Set solvers. We will then turn to extensions of ASP, in particular for interfacing external sources of knowledge. In the second part of the course, we will turn to the interaction of ASP with Knowledge Representation languages: we will consider the interaction with Description Logics languages and with aspects of probability. We will then provide some examples of applications of ASP to real application scenarios.

Program

- Lectures 1 - 4: introduction to Answer Set Programming (logical formalism and declarative programming paradigm)
- Lectures 5 - 6: description logic and rules
- Lectures 7 - 8: probabilistic logic programming (ProbLog, DeepProbLog)
- Lectures 9 - 10: exam (student seminars on topics/papers related to the course contents)

Schedule:

May 2, 2-4 p.m.
May 4, 2-4 p.m.
May 9, 9-11 a.m.
May 11, 9-11 a.m.
May 16, 2-4 p.m.
May 18, 2-4 p.m.
May 23, 2-4 p.m.
May 30, 2-4 p.m.
May 31, 2-4 p.m.
June 1, 2-4 p.m.

The lectures will be held in room Garda (Povo1, second floor).