Speaker: Marc Denecker
Department of Computing, Catholic University Leuven
Title: The FO(.) Knowledge Base System project: an integration project
The term FO(.) is used here as a generic term to denote extensions of classical first order logic FO. On the logical level, the goal of this project is to achieve a conceptually clean -non-hybrid- integration of logic constructs from different computational logic paradigms (FO, logic programming extensions such as datalog, Abductive Logic Programming, Answer Set Programming, fixpoints logics, constraint programming) in the context of classical logic. On the computational level, the project aims to integrate and extend technologies developed in the respective fields to build a Knowledge Base System that supports various forms of inference. I will explain some motivations, principles and new research questions raised by such a project. I will give an overview of the current system and some applications. An application for interactive configuration will serve to highlight a principle that separates declarative modelling languages from (procedural or declarative) programming languages: the reuse of a modelling to solve different computational tasks by applying different forms of inference.
About the speaker.
Prof. Dr. Marc Denecker studied at the Catholic University Leuven in Belgium, where he also did his PhD and has worked till now, with exception of a two year period at the University Libre de Bruxelles. His current interests range from theoretical topics such as foundations of knowledge representation, nonmonotonic reasoning, logic programming, classical logic, fixpoint and modal logics to building inference systems for integrations of these logics and their applications.