< Terug naar vorige pagina


Integratie in Kennisrepresentatie en Redeneren (FWOTM934)

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.
Datum:1 okt 2017 →  30 sep 2020
Trefwoorden:knowledge representation
Disciplines:Systeemtheorie, -modellering en -identificatie