DeepAI AI Chat
Log In Sign Up

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

03/05/2018
by   Marc Aiguier, et al.
University of the Andes
Télécom ParisTech
Université Paris-Dauphine
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

09/12/2009

Logic with Verbs

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

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

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

Nonmonotonic Reasoning, Preferential Models and Cumulative Logics

Many systems that exhibit nonmonotonic behavior have been described and ...
09/10/2018

Elementary Multimodal Logics

We study multimodal logics over universally first-order definable classe...
02/26/2015

Relaxation-based revision operators in description logics

As ontologies and description logics (DLs) reach out to a broader audien...
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 ...
05/31/2002

Connectives in Quantum and other Cumulative Logics

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