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.