Show simple item record

hal.structure.identifierMathématiques et Informatique pour la Complexité et les Systèmes [MICS]
dc.contributor.authorAiguier, Marc
hal.structure.identifierLaboratoire d'analyse et modélisation de systèmes pour l'aide à la décision [LAMSADE]
dc.contributor.authorAtif, Jamal
HAL ID: 15689
hal.structure.identifierLaboratoire Traitement et Communication de l'Information [LTCI]
dc.contributor.authorBloch, Isabelle
HAL ID: 175825
ORCID: 0000-0002-6984-1532
hal.structure.identifierDepartamento de Matematicas
dc.contributor.authorPino Pérez, Ramón
dc.date.accessioned2019-12-09T14:47:57Z
dc.date.available2019-12-09T14:47:57Z
dc.date.issued2018
dc.identifier.issn0888-613X
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/20301
dc.language.isoenen
dc.subjectExplanatory relationen
dc.subjectRetractionen
dc.subjectCuttingen
dc.subjectSatisfaction systemsen
dc.subject.ddc511en
dc.titleExplanatory relations in arbitrary logics based on satisfaction systems, cutting and retractionen
dc.typeArticle accepté pour publication ou publié
dc.description.abstractenThe 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.en
dc.relation.isversionofjnlnameInternational Journal of Approximate Reasoning
dc.relation.isversionofjnlvol102en
dc.relation.isversionofjnldate2018-11
dc.relation.isversionofjnlpages1-20en
dc.relation.isversionofdoi10.1016/j.ijar.2018.07.014en
dc.contributor.countryeditoruniversityotherFRANCE
dc.contributor.countryeditoruniversityotherVENEZUELA, BOLIVARIAN REPUBLIC OF
dc.subject.ddclabelPrincipes généraux des mathématiquesen
dc.relation.forthcomingnonen
dc.relation.forthcomingprintnonen
dc.description.ssrncandidatenonen
dc.description.halcandidatenonen
dc.description.readershiprechercheen
dc.description.audienceInternationalen
dc.relation.Isversionofjnlpeerreviewedouien
dc.relation.Isversionofjnlpeerreviewedouien
dc.date.updated2019-12-09T14:22:57Z
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut
hal.author.functionaut


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record