Corso di dottorato “Introduction to Approximation Fixpoint Theory and its Applications” Prof. Bart Bogaerts – Inizio 08.07.2019

Title: Introduction to Approximation Fixpoint Theory and its Applications
In this 6hour lecture, we provide an introductory overview of Approximation Fixpoint Theory (AFT), an abstract, algebraic framework to capture semantics of logics based on fixpoints of a semantic operator.
We start by reviewing the main motivations that, 20 years ago, led to the conception of AFT, namely that several logics from non-monotonic reasoning (in particular logic programming, autoepistemic logic, and default logic) are defined on *the same* underlying principles. And that these principle can be captured by reasoning on an underlying semantic operator.
This leads us to the definitions of the main types of fixpoints studied in AFT and their different characterisations.
Next, we see some recent developments, such as extensions of the theory with a notion of groundedness and we focus on the broad variety of applications of AFT, ranging from abstract argumentation to database theory and to extensions of logic programming.
A strong focus lies on the answering the question *why does AFT work well for these applications?*.
We conclude by discussing some potential topics for future work.
Short bio:
Bart Bogaerts studied a Master’s in mathematics at the KU Leuven, after which he started a PhD in Computer Science.
During this PhD and subsequent postdocs (at KU Leuven and Aalto University (Finlan)), he worked on various aspects
of knowledge representation and reasoning; an important recurring theme was semantic unifying frameworks, and in
particular Approximation Fixpoint Theory. Other topics of interest include representation languages and the
development of search algorithms, often with a focus on symmetry exploitation.
Since October 2018, he is an assistant professor at the Vrije Universiteit Brussel.
Monday 08.07.2019, 15.00-17:00 – Aula Seminari (Cubo 44Z)
Tuesday 09.07.2019, 15.00-17:00 – Aula Seminari (Cubo 44Z)
Friday 12.07.2019, 15.00-17:00 – Aula Seminari (Cubo 44Z)