DeepAI AI Chat
Log In Sign Up

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

by   Marc Aiguier, et al.
University of the Andes
Télécom ParisTech
Université Paris-Dauphine

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.


page 1

page 2

page 3

page 4


Logic with Verbs

The aim of this paper is to introduce a logic in which nouns and verbs a...

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

We design temporal description logics suitable for reasoning about tempo...

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

Many systems that exhibit nonmonotonic behavior have been described and ...

Elementary Multimodal Logics

We study multimodal logics over universally first-order definable classe...

Relaxation-based revision operators in description logics

As ontologies and description logics (DLs) reach out to a broader audien...

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 ...

Connectives in Quantum and other Cumulative Logics

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