<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04452810</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-17T07:49:30+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Morphologic for knowledge dynamics: revision, fusion and abduction</title>
            <author role="aut">
              <persName>
                <forename type="first">Isabelle</forename>
                <surname>Bloch</surname>
              </persName>
              <email type="md5">e709fe9afb0f8c7fedaa3290a0c3725b</email>
              <email type="domain">enst.fr</email>
              <idno type="idhal" notation="string">isabelle-bloch</idno>
              <idno type="idhal" notation="numeric">175825</idno>
              <idno type="halauthorid" notation="string">23925-175825</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-6984-1532</idno>
              <idno type="IDREF">https://www.idref.fr/031277861</idno>
              <idno type="ISNI">http://isni.org/isni/0000000122800920</idno>
              <idno type="VIAF">https://viaf.org/viaf/54203991</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/DUQ-9128-2022</idno>
              <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/DUQ-9128-2022</idno>
              <affiliation ref="#struct-541719"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jérôme</forename>
                <surname>Lang</surname>
              </persName>
              <email type="md5">93f67bc4e486c737186f3ef5eba43b9c</email>
              <email type="domain">irit.fr</email>
              <idno type="idhal" notation="numeric">1116819</idno>
              <idno type="halauthorid" notation="string">2038092-1116819</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-6789-9573</idno>
              <idno type="IDREF">https://www.idref.fr/061649783</idno>
              <affiliation ref="#struct-300302"/>
              <affiliation ref="#struct-441569"/>
              <affiliation ref="#struct-989"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Ramón</forename>
                <surname>Pino Pérez</surname>
              </persName>
              <email type="md5">62d85a2d0fa93ff026e9df0d4c337222</email>
              <email type="domain">cril.fr</email>
              <idno type="idhal" notation="numeric">1117564</idno>
              <idno type="halauthorid" notation="string">2215812-1117564</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2912-263X</idno>
              <idno type="IDREF">https://www.idref.fr/059881011</idno>
              <affiliation ref="#struct-90448"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Carlos</forename>
                <surname>Uzcátegui</surname>
              </persName>
              <idno type="idhal" notation="numeric">1315633</idno>
              <idno type="halauthorid" notation="string">2967589-1315633</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-3452-2312</idno>
              <affiliation ref="#struct-56489"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Ramón</forename>
                <surname>Pino Pérez</surname>
              </persName>
              <email type="md5">2748a0ae45607a4b240661aaf63c32c1</email>
              <email type="domain">gmail.com</email>
            </editor>
            <funder ref="#projanr-50388"/>
            <funder ref="#projanr-51633"/>
            <funder>AI Chair BE4musIA of the French National Research Agency (ANR-20-CHIA-0028)</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2024-02-12 12:59:21</date>
              <date type="whenModified">2025-06-13 11:38:14</date>
              <date type="whenReleased">2024-02-12 14:25:33</date>
              <date type="whenProduced">2023-08-10</date>
              <date type="whenEndEmbargoed">2024-02-12</date>
              <ref type="file" target="https://hal.science/hal-04452810v1/document">
                <date notBefore="2024-02-12"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-04452810v1/file/2023-2-Morphologic%20for%20knowledge%20dynamics%20%20revision%20%20fusion%20and%20abduction-JANCL-2023.pdf" id="file-4452810-3865251">
                <date notBefore="2024-02-12"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="1503361">
                <persName>
                  <forename>Ramón</forename>
                  <surname>Pino Pérez</surname>
                </persName>
                <email type="md5">2748a0ae45607a4b240661aaf63c32c1</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04452810</idno>
            <idno type="halUri">https://hal.science/hal-04452810</idno>
            <idno type="halBibtex">bloch:hal-04452810</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Applied Non-Classical Logics&lt;/i&gt;, 2023, 33 (3-4), pp.421-466. &lt;a target="_blank" href="https://dx.doi.org/10.1080/11663081.2023.2244360"&gt;&amp;#x27E8;10.1080/11663081.2023.2244360&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">Journal of Applied Non-Classical Logics, 2023, 33 (3-4), pp.421-466. &amp;#x27E8;10.1080/11663081.2023.2244360&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-4452810-3865251"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UNIV-ARTOIS">Université d'Artois</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-DAUPHINE">Université Paris Dauphine - Paris IX</idno>
            <idno type="stamp" n="LIP6" corresp="SORBONNE-UNIVERSITE">Laboratoire d'Informatique de Paris 6</idno>
            <idno type="stamp" n="LAMSADE-DAUPHINE" corresp="UNIV-DAUPHINE">LAMSADE (Laboratoire d'Analyse et de Modélisation des Systèmes pour l'Aide à la Décision)</idno>
            <idno type="stamp" n="PSL">Université Paris sciences et lettres</idno>
            <idno type="stamp" n="SORBONNE-UNIVERSITE">Sorbonne Université</idno>
            <idno type="stamp" n="SORBONNE-UNIV" corresp="SORBONNE-UNIVERSITE">Sorbonne Université 01/01/2018</idno>
            <idno type="stamp" n="SU-SCIENCES" corresp="SORBONNE-UNIVERSITE">Faculté des Sciences de Sorbonne Université</idno>
            <idno type="stamp" n="PNRIA">Programme National de Recherche en IA</idno>
            <idno type="stamp" n="UNIV-DAUPHINE-PSL" corresp="PSL">Université Paris Dauphine - PSL</idno>
            <idno type="stamp" n="SU-TI">Sorbonne Université - Texte Intégral</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="PRAIRIE-IA">PaRis AI Research InstitutE</idno>
            <idno type="stamp" n="CRIL" corresp="UNIV-ARTOIS">Centre de recherche en informatique de Lens</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="SUPRA_MATHS_INFO">Mathématiques + Informatique</idno>
            <idno type="stamp" n="ANR-IA-19" corresp="ANR-IA">ANR-IA-19</idno>
            <idno type="stamp" n="ANR-IA-20" corresp="ANR-IA">ANR-IA-20</idno>
            <idno type="stamp" n="ANR-IA">ANR-IA</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Morphologic for knowledge dynamics: revision, fusion and abduction</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Isabelle</forename>
                    <surname>Bloch</surname>
                  </persName>
                  <email type="md5">e709fe9afb0f8c7fedaa3290a0c3725b</email>
                  <email type="domain">enst.fr</email>
                  <idno type="idhal" notation="string">isabelle-bloch</idno>
                  <idno type="idhal" notation="numeric">175825</idno>
                  <idno type="halauthorid" notation="string">23925-175825</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-6984-1532</idno>
                  <idno type="IDREF">https://www.idref.fr/031277861</idno>
                  <idno type="ISNI">http://isni.org/isni/0000000122800920</idno>
                  <idno type="VIAF">https://viaf.org/viaf/54203991</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/DUQ-9128-2022</idno>
                  <idno type="RESEARCHERID">http://www.researcherid.com/rid/http://www.researcherid.com/rid/DUQ-9128-2022</idno>
                  <affiliation ref="#struct-541719"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jérôme</forename>
                    <surname>Lang</surname>
                  </persName>
                  <email type="md5">93f67bc4e486c737186f3ef5eba43b9c</email>
                  <email type="domain">irit.fr</email>
                  <idno type="idhal" notation="numeric">1116819</idno>
                  <idno type="halauthorid" notation="string">2038092-1116819</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-6789-9573</idno>
                  <idno type="IDREF">https://www.idref.fr/061649783</idno>
                  <affiliation ref="#struct-300302"/>
                  <affiliation ref="#struct-441569"/>
                  <affiliation ref="#struct-989"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Ramón</forename>
                    <surname>Pino Pérez</surname>
                  </persName>
                  <email type="md5">62d85a2d0fa93ff026e9df0d4c337222</email>
                  <email type="domain">cril.fr</email>
                  <idno type="idhal" notation="numeric">1117564</idno>
                  <idno type="halauthorid" notation="string">2215812-1117564</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2912-263X</idno>
                  <idno type="IDREF">https://www.idref.fr/059881011</idno>
                  <affiliation ref="#struct-90448"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Carlos</forename>
                    <surname>Uzcátegui</surname>
                  </persName>
                  <idno type="idhal" notation="numeric">1315633</idno>
                  <idno type="halauthorid" notation="string">2967589-1315633</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-3452-2312</idno>
                  <affiliation ref="#struct-56489"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">Axe : Connaissances</idno>
                <idno type="halJournalId" status="VALID">39557</idno>
                <idno type="issn">1958-5780</idno>
                <idno type="eissn">1166-3081</idno>
                <title level="j">Journal of Applied Non-Classical Logics</title>
                <imprint>
                  <publisher>Taylor &amp; Francis</publisher>
                  <biblScope unit="volume">33</biblScope>
                  <biblScope unit="issue">3-4</biblScope>
                  <biblScope unit="pp">421-466</biblScope>
                  <date type="datePub">2023-08-10</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1080/11663081.2023.2244360</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Mathematical Morphology</term>
                <term xml:lang="en">Morphologic</term>
                <term xml:lang="en">Knowledge Representation</term>
                <term xml:lang="en">Knowledge Dynamics</term>
                <term xml:lang="en">Belief Revision</term>
                <term xml:lang="en">Fusion</term>
                <term xml:lang="en">Abduction</term>
              </keywords>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART.ARTREV">Journal articles - Review article</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Several tasks in artificial intelligence require the ability to find models aboutknowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this paper we exploit the algebraic framework of mathematical morphology in the context of propositional logic, and define operations such as dilation or erosion of a set of formulas. We derive concrete operators, based on a semantic approach, that have an intuitive interpretation and that are formally well behaved, to perform revision, fusion and abduction. Computation and tractability are addressed, and simple examples illustrate the main results.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-541719" status="VALID">
          <orgName>Learning, Fuzzy and Intelligent systems</orgName>
          <orgName type="acronym">LFI</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-541703" type="direct"/>
            <relation active="#struct-413221" type="indirect"/>
            <relation name="UMR7606" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300302" status="VALID">
          <idno type="IdRef">027787109</idno>
          <idno type="ISNI">0000000120977052</idno>
          <idno type="ROR">https://ror.org/052bz7812</idno>
          <idno type="Wikidata">Q1546437</idno>
          <orgName>Université Paris Dauphine-PSL</orgName>
          <desc>
            <address>
              <addrLine>Place du Maréchal de Lattre de Tassigny75775 PARIS Cedex 16</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://dauphine.psl.eu/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-564132" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-989" status="VALID">
          <idno type="IdRef">030107156</idno>
          <idno type="ISNI">0000 0001 2097 7052</idno>
          <idno type="RNSR">201120462Y</idno>
          <idno type="ROR">https://ror.org/052bz7812</idno>
          <idno type="Wikidata">Q3214405</idno>
          <orgName>Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision</orgName>
          <orgName type="acronym">LAMSADE</orgName>
          <desc>
            <address>
              <addrLine>Place de Lattre de Tassigny 75775 PARIS CEDEX 16</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lamsade.dauphine.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300302" type="direct"/>
            <relation active="#struct-564132" type="indirect"/>
            <relation name="UMR7243 / FRE3234 / UMR7024" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-90448" status="VALID">
          <idno type="IdRef">08345585X</idno>
          <idno type="RNSR">200812835W</idno>
          <orgName>Centre de Recherche en Informatique de Lens</orgName>
          <orgName type="acronym">CRIL</orgName>
          <date type="start">2008-01-01</date>
          <desc>
            <address>
              <addrLine>Faculté Jean Perrin Rue Jean Souvraz - SP 18 - 62307 LENS CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.cril.univ-artois.fr</ref>
          </desc>
          <listRelation>
            <relation name="UMR8188" active="#struct-56711" type="direct"/>
            <relation name="UMR8188" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-56489" status="VALID">
          <idno type="ROR">https://ror.org/00xc1d948</idno>
          <orgName>Universidad Industrial de Santander [Bucaramanga]</orgName>
          <orgName type="acronym">UIS</orgName>
          <desc>
            <address>
              <addrLine>Cra 27 Calle 9 Ciudad Universitaria Bucaramanga-Santander-Colombia</addrLine>
              <country key="CO"/>
            </address>
            <ref type="url">https://www.uis.edu.co/</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-541703" status="VALID">
          <idno type="IdRef">13558292X</idno>
          <idno type="RNSR">199712651U</idno>
          <idno type="ROR">https://ror.org/05krcen59</idno>
          <orgName>LIP6</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>4 Place JUSSIEU 75252 PARIS CEDEX 05</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lip6.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-413221" type="direct"/>
            <relation name="UMR7606" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-413221" status="VALID">
          <idno type="IdRef">221333754</idno>
          <idno type="ROR">https://ror.org/02en5vm52</idno>
          <orgName>Sorbonne Université</orgName>
          <orgName type="acronym">SU</orgName>
          <date type="start">2018-01-01</date>
          <desc>
            <address>
              <addrLine>21 rue de l’École de médecine - 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.sorbonne-universite.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-564132" status="VALID">
          <idno type="IdRef">241597595</idno>
          <idno type="ISNI">0000 0004 1784 3645</idno>
          <idno type="ROR">https://ror.org/013cjyk83</idno>
          <orgName>Université Paris Sciences et Lettres</orgName>
          <orgName type="acronym">PSL</orgName>
          <desc>
            <address>
              <addrLine>60 rue Mazarine 75006 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.psl.eu/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-56711" status="VALID">
          <idno type="IdRef">034634894</idno>
          <idno type="ISNI">000000012364777X</idno>
          <idno type="ROR">https://ror.org/053x9s498</idno>
          <orgName>Université d'Artois</orgName>
          <orgName type="acronym">UA</orgName>
          <date type="start">1992-09-01</date>
          <desc>
            <address>
              <addrLine>9 rue du Temple - BP 10665 - 62030 Arras cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-artois.fr/</ref>
          </desc>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-50388" status="VALID">
          <idno type="anr">ANR-19-P3IA-0001</idno>
          <orgName>PRAIRIE</orgName>
          <desc>PaRis Artificial Intelligence Research InstitutE</desc>
          <date type="start">2019</date>
        </org>
        <org type="anrProject" xml:id="projanr-51633" status="VALID">
          <idno type="anr">ANR-20-CHIA-0028</idno>
          <orgName>BE4musSIA</orgName>
          <desc>Dynamique des croyances pour une meilleure analyse des informations provenant de sources multiples</desc>
          <date type="start">2020</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>