Explanatory relations in arbitrary logics based on satisfaction systems, cutting and retraction

03/05/2018
by   Marc Aiguier, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset