no code implementations • 8 Mar 2023 • Marc Aiguier, Isabelle Bloch, Salim Nibouche, Ramon Pino Perez
Then we introduce the notion of structuring neighborhoods, and show that the dilations and erosions based on them lead to a constructive modal logic, for which a sound and complete proof system is proposed.
no code implementations • 5 Mar 2018 • Marc Aiguier, Jamal Atif, Isabelle Bloch, Ramón Pino-Pérez
The aim of this paper is to introduce a new framework for defining abductive reasoning operators based on a notion of retraction in arbitrary logics defined as satisfaction systems.
no code implementations • 26 Feb 2015 • Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
In this paper we address both the generalization of the well-known AGM postulates, and the definition of concrete and well-founded revision operators in different DL families.
no code implementations • 8 Feb 2015 • Marc Aiguier, Jamal Atif, Isabelle Bloch, Céline Hudelot
Belief revision of knowledge bases represented by a set of sentences in a given logic has been extensively studied but for specific logics, mainly propositional, and also recently Horn and description logics.