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

page 1

page 2

page 3

page 4

research
09/12/2009

Logic with Verbs

The aim of this paper is to introduce a logic in which nouns and verbs a...
research
09/25/2012

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

We design temporal description logics suitable for reasoning about tempo...
research
02/18/2002

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

Many systems that exhibit nonmonotonic behavior have been described and ...
research
06/15/2023

Streamlining Input/Output Logics with Sequent Calculi

Input/Output (I/O) logic is a general framework for reasoning about cond...
research
02/26/2015

Relaxation-based revision operators in description logics

As ontologies and description logics (DLs) reach out to a broader audien...
research
10/16/2017

Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning

Several logical operators are defined as dual pairs, in different types ...
research
05/31/2002

Connectives in Quantum and other Cumulative Logics

Cumulative logics are studied in an abstract setting, i.e., without conn...

Please sign up or login with your details

Forgot password? Click here to reset