<?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-05048281</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-15T22:44:53+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">On Decisive Revision Operators and Totally Ordered Information</title>
            <author role="aut">
              <persName>
                <forename type="first">Khaled</forename>
                <surname>Belahcène</surname>
              </persName>
              <email type="md5">940923907909a42ea3b5ff33febd762b</email>
              <email type="domain">hds.utc.fr</email>
              <idno type="idhal" notation="string">khaled-belahcene</idno>
              <idno type="idhal" notation="numeric">5889</idno>
              <idno type="halauthorid" notation="string">3381929-5889</idno>
              <idno type="IDREF">https://www.idref.fr/234346701</idno>
              <idno type="ORCID">https://orcid.org/0000-0003-4502-9539</idno>
              <affiliation ref="#struct-1042590"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jérome</forename>
                <surname>Gaigne</surname>
              </persName>
              <email type="md5">ca59680f1e8f267847b067e167b7b13f</email>
              <email type="domain">hds.utc.fr</email>
              <idno type="idhal" notation="numeric">1201041</idno>
              <idno type="halauthorid" notation="string">2673708-1201041</idno>
              <affiliation ref="#struct-389870"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Sylvain</forename>
                <surname>Lagrue</surname>
              </persName>
              <email type="md5">43bc2ef7fc4d6573224e7591164a215b</email>
              <email type="domain">hds.utc.fr</email>
              <idno type="idhal" notation="string">sylvain-lagrue</idno>
              <idno type="idhal" notation="numeric">174560</idno>
              <idno type="halauthorid" notation="string">1622-174560</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-9292-3213</idno>
              <idno type="IDREF">https://www.idref.fr/157424006</idno>
              <affiliation ref="#struct-389870"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Sylvain</forename>
                <surname>Lagrue</surname>
              </persName>
              <email type="md5">43bc2ef7fc4d6573224e7591164a215b</email>
              <email type="domain">hds.utc.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-04-27 12:23:02</date>
              <date type="whenModified">2026-02-07 05:31:01</date>
              <date type="whenReleased">2025-04-28 13:11:09</date>
              <date type="whenProduced">2024-11-27</date>
              <date type="whenEndEmbargoed">2025-04-27</date>
              <ref type="file" target="https://hal.science/hal-05048281v1/document">
                <date notBefore="2025-04-27"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-05048281v1/file/SUM_2024-1.pdf" id="file-5048281-4370698">
                <date notBefore="2025-04-27"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="537742">
                <persName>
                  <forename>Sylvain</forename>
                  <surname>Lagrue</surname>
                </persName>
                <email type="md5">43bc2ef7fc4d6573224e7591164a215b</email>
                <email type="domain">hds.utc.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-05048281</idno>
            <idno type="halUri">https://hal.science/hal-05048281</idno>
            <idno type="halBibtex">belahcene:hal-05048281</idno>
            <idno type="halRefHtml">&lt;i&gt;16th International Conference on Scalable Uncertainty Management (SUM 2024)&lt;/i&gt;, Nov 2024, Palermo, Italy. pp.45-52, &lt;a target="_blank" href="https://dx.doi.org/10.1007/978-3-031-76235-2_4"&gt;&amp;#x27E8;10.1007/978-3-031-76235-2_4&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">16th International Conference on Scalable Uncertainty Management (SUM 2024), Nov 2024, Palermo, Italy. pp.45-52, &amp;#x27E8;10.1007/978-3-031-76235-2_4&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://hal.science/licences/copyright/">Copyright - All rights reserved<ref corresp="#file-5048281-4370698"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-COMPIEGNE">Université de Technologie de Compiègne</idno>
            <idno type="stamp" n="HEUDIASYC" corresp="UNIV-COMPIEGNE">Laboratoire HEUDIASYC - Heuristique et Diagnostic des Systèmes Complexes</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="MICS">Mathématiques et Informatique pour la Complexité et les Systèmes</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="HDS_CID" corresp="HEUDIASYC">Connaissances, Incertitudes et Données </idno>
            <idno type="stamp" n="UNIVERSITE-PARIS-SACLAY" corresp="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="GS-COMPUTER-SCIENCE">Graduate School Computer Science</idno>
            <idno type="stamp" n="ALLIANCE-SU"> Alliance Sorbonne Université</idno>
            <idno type="stamp" n="PSACLAY-TEST">Université Paris-Saclay - Collection pour tests</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">On Decisive Revision Operators and Totally Ordered Information</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Khaled</forename>
                    <surname>Belahcène</surname>
                  </persName>
                  <email type="md5">940923907909a42ea3b5ff33febd762b</email>
                  <email type="domain">hds.utc.fr</email>
                  <idno type="idhal" notation="string">khaled-belahcene</idno>
                  <idno type="idhal" notation="numeric">5889</idno>
                  <idno type="halauthorid" notation="string">3381929-5889</idno>
                  <idno type="IDREF">https://www.idref.fr/234346701</idno>
                  <idno type="ORCID">https://orcid.org/0000-0003-4502-9539</idno>
                  <affiliation ref="#struct-1042590"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jérome</forename>
                    <surname>Gaigne</surname>
                  </persName>
                  <email type="md5">ca59680f1e8f267847b067e167b7b13f</email>
                  <email type="domain">hds.utc.fr</email>
                  <idno type="idhal" notation="numeric">1201041</idno>
                  <idno type="halauthorid" notation="string">2673708-1201041</idno>
                  <affiliation ref="#struct-389870"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Sylvain</forename>
                    <surname>Lagrue</surname>
                  </persName>
                  <email type="md5">43bc2ef7fc4d6573224e7591164a215b</email>
                  <email type="domain">hds.utc.fr</email>
                  <idno type="idhal" notation="string">sylvain-lagrue</idno>
                  <idno type="idhal" notation="numeric">174560</idno>
                  <idno type="halauthorid" notation="string">1622-174560</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-9292-3213</idno>
                  <idno type="IDREF">https://www.idref.fr/157424006</idno>
                  <affiliation ref="#struct-389870"/>
                </author>
              </analytic>
              <monogr>
                <idno type="localRef">8</idno>
                <title level="m">Lecture Notes in Computer Science</title>
                <meeting>
                  <title>16th International Conference on Scalable Uncertainty Management (SUM 2024)</title>
                  <date type="start">2024-11-27</date>
                  <date type="end">2024-11-29</date>
                  <settlement>Palermo</settlement>
                  <country key="IT">Italy</country>
                </meeting>
                <imprint>
                  <publisher>Springer Nature Switzerland</publisher>
                  <pubPlace>Cham</pubPlace>
                  <biblScope unit="volume">15350</biblScope>
                  <biblScope unit="pp">45-52</biblScope>
                  <date type="datePub">2025-11-12</date>
                </imprint>
              </monogr>
              <idno type="doi">10.1007/978-3-031-76235-2_4</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">KM Belief Revision Totally ordered information Decisive Revision Operators</term>
                <term xml:lang="en">KM Belief Revision</term>
                <term xml:lang="en">Totally ordered information</term>
                <term xml:lang="en">Decisive Revision Operators</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>This paper focuses on decisive belief revision operators, i.e. operators leading to totally informed situations. Such situations can be represented in the Katsuno-Mendelzon (KM) revision framework by a complete propositional formula, from which either any formula or its negation can be entailed. From a semantic point of view, this kind of operator leads to a single, most plausible interpretation. Despite their prevalence in decision theory, this class of operators has not been previously studied in the context of the KM revision framework. We propose in this paper to characterize decisive operators by a set of postulates. We also provide a representation theorem leading to total orders on interpretations. Finally, we exhibit a concrete operator family satisfying this new set of postulates by combining KM revision operators with tie-breaking functions.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1042590" status="VALID">
          <idno type="IdRef">14797299X</idno>
          <idno type="RNSR">200615286U</idno>
          <idno type="ROR">https://ror.org/03q29s414</idno>
          <orgName>Mathématiques et Informatique pour la Complexité et les Systèmes</orgName>
          <orgName type="acronym">MICS</orgName>
          <date type="start">2020-01-01</date>
          <desc>
            <address>
              <addrLine>Plateau de Moulon 3 rue Joliot Curie 91192 GIF SUR YVETTE CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://mics.centralesupelec.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-419361" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-389870" status="VALID">
          <idno type="IdRef">110410807</idno>
          <idno type="ISNI">0000 0004 0452 2471</idno>
          <idno type="RNSR">201220263C</idno>
          <idno type="ROR">https://ror.org/0075hvk77</idno>
          <orgName>Heuristique et Diagnostic des Systèmes Complexes [Compiègne]</orgName>
          <orgName type="acronym">Heudiasyc</orgName>
          <desc>
            <address>
              <addrLine>UTC, CS 60319 - 57 avenue de Landshut - 60203 Compiègne cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.hds.utc.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-93027" type="direct"/>
            <relation name="UMR7253" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-411575" status="VALID">
          <idno type="IdRef">184443237</idno>
          <idno type="ROR">https://ror.org/019tcpt25</idno>
          <orgName>CentraleSupélec</orgName>
          <desc>
            <address>
              <addrLine>3, rue Joliot Curie,Plateau de Moulon,91192 GIF-SUR-YVETTE Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.centralesupelec.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-419361" status="VALID">
          <idno type="IdRef">241345251</idno>
          <idno type="ROR">https://ror.org/03xjwb503</idno>
          <orgName>Université Paris-Saclay</orgName>
          <desc>
            <address>
              <addrLine>Bâtiment Bréguet, 3 Rue Joliot Curie 2e ét, 91190 Gif-sur-Yvette</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.universite-paris-saclay.fr/fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-93027" status="VALID">
          <idno type="ROR">https://ror.org/04y5kwa70</idno>
          <orgName>Université de Technologie de Compiègne</orgName>
          <orgName type="acronym">UTC</orgName>
          <desc>
            <address>
              <addrLine>Université de Technologie de Compiègne - rue du Docteur Schweitzer- CS 60319 - 60203 Compiègne Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.utc.fr/</ref>
          </desc>
        </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>
      </listOrg>
    </back>
  </text>
</TEI>