Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction
Artificial Intelligence
2018-03-06 v1
Abstract
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. We show how this framework leads to the design of explanatory relations satisfying properties of abductive reasoning, and discuss its application to several logics. This extends previous work on propositional logics where retraction was defined as a morphological erosion. Here weaker properties are required for retraction, leading to a larger set of suitable operators for abduction for different logics.
Cite
@article{arxiv.1803.01571,
title = {Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction},
author = {Marc Aiguier and Jamal Atif and Isabelle Bloch and Ramón Pino-Pérez},
journal= {arXiv preprint arXiv:1803.01571},
year = {2018}
}
Comments
30 pages