Integratie in Kennisrepresentatie en Redeneren



In the field of Knowledge Representation and Reasoning, many different logics are developed to represent knowledge in. Furthermore, for several of those languages tools for automatic reasoning are developed.
In order to successfully apply these methods to practical problems, it is important to keep an overview of the various language. In this project, we aim at developing the tools that facilitate the possibility to keep such an overview. We will further develop two integration frameworks in which the relationship between the various KR languages can be studied, namely Approximation Fixpoint Theory and Justification Frames. In this proposal, we identify several open research questions in these abstract frameworks. Solving these questions will result in frameworks with a much broader reach.
We will also study the relationship between these two frameworks.

Furthermore, we will develop a unifying framework for solving technology in which pieces of software developed for one KR language seamlessly integrate with solving technology developed for another field. In order to do this, we will build upon the recently developed logic of modular systems.
Effectieve start/einddatum1/10/1730/09/20

Flemish discipline codes 2018-2023

  • Systems theory, modelling and identification


Verken de onderzoeksgebieden die bij dit project aan de orde zijn gekomen. Deze labels worden gegenereerd op basis van de onderliggende prijzen/beurzen. Samen vormen ze een unieke vingerafdruk.