On the development of FO(.) and a Knowledge Base System for it: a progress report

Speaker: Professor Marc Denecker, KU Leuven, Belgium

Venue: 267 FPAT


Abstract:

I will discuss the long term goal of Leuven's KRR group: 1) to develop a rich KR language FO(.) extending classical logic, 2) the development of different reasoning systems for it. FO(.) is an -open ended- extension of classical first order logic (FO) with types, generalized inductive definitions, aggregates and nested inductive/coinductive definitions. I also discuss our attempts to build several sorts of inference systems for FO(.): model generation, model revision and approximate reasoning.

Host: Professor M. Truszczynski.

(Speaker's personal page. )