Concept contraction in the description logic el

T Rienstra, C Schon, S Staab - Proceedings of the International …, 2020 - proceedings.kr.org
… the problem of concept contraction for the description logic EL. Concept contraction is
concerned … Concept Abduction and Contraction in Description Logics. In Proceedings of the 16th …

The logic of abduction: an introduction

A Aliseda - Springer Handbook of Model-Based Science, 2017 - Springer
Abduction via new concepts – broadly conceived – will be outside … 12 for a special case of
conceptual abduction). … two of them, since revision and contraction may be defined in terms of …

Argumentation and abduction in dialogical logic

C Barés Gómez, M Fontaine - Springer handbook of model-based science, 2017 - Springer
… advocated, the key concept of which is not something as a universal logic but rather the notion
of … A more exhaustive study of commitment and its role in the definition of different kinds of …

Let us investigate! Dynamic conjecture-making as the formal logic of abduction

M Ma, AV Pietarinen - Journal of Philosophical Logic, 2018 - Springer
… of abductive logic as a logic of conjecture making, and provide a new decidable, contraction-…
Now we achieve the semantic definition of the basic conjecture logic CL as the set CL of all …

[PDF][PDF] Abductive reasoning for image interpretation based on spatial concrete domains and description logics

Y Yang, J Atif, I Bloch - Conférence Nationale en …, 2016 - perso.telecom-paristech.fr
… In this section, we present the concept abduction method using … concept, our problem is
modeled as a concept abduction. … based approach to concept abduction and contraction in ALN…

[PDF][PDF] Public announcements, belief expansion and abduction

H van Ditmarsch, A Nepomuceno - Epistemologia, Lógica e …, 2019 - academia.edu
… Hintikka, to which such model and the concept of abduction … The contraction of a consistent
set of sentences K with F is … (in the case of the AGM contraction operation there are more …

[PDF][PDF] Contextual Abduction and its Complexity Issues.

EAD Saldanha, S Hölldobler, T Philipp - DARe@ LPNMR, 2017 - ceur-ws.org
… In this paper, we aim at modeling this idea within a logic programming approach, the Weak
… Acyclic programs admit several nice properties: The *P operator is a contraction, has a least …

Morphologic for knowledge dynamics: revision, fusion, abduction

I Bloch, J Lang, RP Pérez, C Uzcátegui - arXiv preprint arXiv:1802.05142, 2018 - arxiv.org
… In this section we recall the main concepts and tools used in mathematical morphology and
their interpretation in mathematical logic. This interpretation is possible via the identification …

[PDF][PDF] The Complexity of Contextual Abduction in Human Reasoning Tasks.

EAD Saldanha, S Hölldobler, T Philipp - YSIP, 2017 - academia.edu
… In this paper, we aim at modeling this idea within a the logic programming approach, the …
Acyclic programs admit several nice properties: The *P operator is a contraction, has a least …

Dischargeable Obligations in Abductive Logic Programming

M Alberti, M Gavanelli, E Lamma, F Riguzzi… - … Joint Conference on …, 2017 - Springer
… an abductive expectation representing obligation with a sort of contraction [10], we mark it
as … , we cannot describe in detail all transitions; we sketch those dealing with the concept of …