Model revision inference for extensions of first order logic

TL;DR

This paper introduces a novel approach for model revision inference in the context of extensions of first-order logic, aiming to improve reasoning capabilities in knowledge representation.

Contribution

It presents a new method for model revision inference specifically designed for extended first-order logic frameworks, advancing the state of the art.

Findings

Demonstrates improved reasoning efficiency

Shows applicability to various logic extensions

Provides a formal framework for model revision

Abstract

I am Joachim Jansen and this is my research summary, part of my application to the Doctoral Consortium at ICLP'14. I am a PhD student in the Knowledge Representation and Reasoning (KRR) research group, a subgroup of the Declarative Languages and Artificial Intelligence (DTAI) group at the department of Computer Science at KU Leuven. I started my PhD in September 2012. My promotor is prof. dr. ir. Gerda Janssens and my co-promotor is prof. dr. Marc Denecker. I can be contacted at joachim.jansen@cs.kuleuven.be or at: Room 01.167 Celestijnenlaan 200A 3001 Heverlee Belgium An extended abstract / full version of a paper accepted to be presented at the Doctoral Consortium of the 30th International Conference on Logic Programming (ICLP 2014), July 19-22, Vienna, Austria