Description

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.
AcronymFWOTM934
StatusActive
Effective start/end date1/10/1730/09/20

    Research areas

  • knowledge representation

ID: 39811655