<?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-02273483</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-18T01:35:44+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Principles for a Judgement Editor Based on Binary Decision Diagrams</title>
            <title xml:lang="fr">Principes pour un Logiciel d’Édition de Jugements Fondé sur les Diagrammes de Décisions Binaires</title>
            <author role="aut">
              <persName>
                <forename type="first">Guillaume</forename>
                <surname>Aucher</surname>
              </persName>
              <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
              <email type="domain">univ-rennes1.fr</email>
              <idno type="idhal" notation="string">guillaume-aucher</idno>
              <idno type="idhal" notation="numeric">754897</idno>
              <idno type="halauthorid" notation="string">54987-754897</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2781-2688</idno>
              <affiliation ref="#struct-105160"/>
              <affiliation ref="#struct-491231"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Jean</forename>
                <surname>Berbinau</surname>
              </persName>
              <idno type="halauthorid">1641684-0</idno>
              <affiliation ref="#struct-546387"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Marie-Laure</forename>
                <surname>Morin</surname>
              </persName>
              <email type="md5">08b9b81cc7eb386621441a04c6bec003</email>
              <email type="domain">justice.fr</email>
              <idno type="idhal" notation="numeric">830983</idno>
              <idno type="halauthorid" notation="string">117555-830983</idno>
              <affiliation ref="#struct-497694"/>
              <affiliation ref="#struct-441569"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Guillaume</forename>
                <surname>Aucher</surname>
              </persName>
              <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
              <email type="domain">univ-rennes1.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2019-08-29 01:01:29</date>
              <date type="whenModified">2026-02-07 05:17:03</date>
              <date type="whenReleased">2019-08-29 10:03:08</date>
              <date type="whenProduced">2019-08-27</date>
              <date type="whenEndEmbargoed">2019-08-29</date>
              <ref type="file" target="https://inria.hal.science/hal-02273483v1/document">
                <date notBefore="2019-08-29"/>
              </ref>
              <ref type="file" subtype="greenPublisher" n="1" target="https://inria.hal.science/hal-02273483v1/file/AucherEtAl-JournalOfAppliedLogics-2019.pdf" id="file-2273483-2195912">
                <date notBefore="2019-08-29"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="156493">
                <persName>
                  <forename>Guillaume</forename>
                  <surname>Aucher</surname>
                </persName>
                <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
                <email type="domain">univ-rennes1.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-02273483</idno>
            <idno type="halUri">https://inria.hal.science/hal-02273483</idno>
            <idno type="halBibtex">aucher:hal-02273483</idno>
            <idno type="halRefHtml">&lt;i&gt;Journal of Applied Logics -IfCoLog Journal of Logics and their Applications&lt;/i&gt;, 2019, Special Issue: Reasoning for Legal AI, 6 (5), pp.33</idno>
            <idno type="halRef">Journal of Applied Logics -IfCoLog Journal of Logics and their Applications, 2019, Special Issue: Reasoning for Legal AI, 6 (5), pp.33</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-2273483-2195912"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="SHS">Sciences de l'Homme et de la Société</idno>
            <idno type="stamp" n="UNIV-RENNES1">Université de Rennes 1</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-UBS">Université de Bretagne Sud</idno>
            <idno type="stamp" n="INSA-RENNES">Institut National des Sciences Appliquées de Rennes</idno>
            <idno type="stamp" n="IRISA">Irisa</idno>
            <idno type="stamp" n="AO-DROIT">Archives ouvertes des Sciences juridiques</idno>
            <idno type="stamp" n="IRISA_SET">IRISA_SET</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="TDS-MACS">Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes</idno>
            <idno type="stamp" n="UR1-HAL">Publications labos UR1 dans HAL-Rennes 1</idno>
            <idno type="stamp" n="UR1-MATH-STIC">UR1 - publications Maths-STIC</idno>
            <idno type="stamp" n="UR1-UFR-ISTIC">UFR ISTIC Informatique et électronique</idno>
            <idno type="stamp" n="TEST-UR-CSS">TEST Université de Rennes CSS</idno>
            <idno type="stamp" n="UNIV-RENNES">Université de Rennes</idno>
            <idno type="stamp" n="INSA-GROUPE">Groupe INSA</idno>
            <idno type="stamp" n="INSTITUTS-TELECOM">composantes instituts telecom </idno>
            <idno type="stamp" n="UR1-MATH-NUM">Pôle UnivRennes - Mathématiques - Numérique </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">Principles for a Judgement Editor Based on Binary Decision Diagrams</title>
                <title xml:lang="fr">Principes pour un Logiciel d’Édition de Jugements Fondé sur les Diagrammes de Décisions Binaires</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Guillaume</forename>
                    <surname>Aucher</surname>
                  </persName>
                  <email type="md5">ce5c48a8e351fc860616023748d7ce26</email>
                  <email type="domain">univ-rennes1.fr</email>
                  <idno type="idhal" notation="string">guillaume-aucher</idno>
                  <idno type="idhal" notation="numeric">754897</idno>
                  <idno type="halauthorid" notation="string">54987-754897</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2781-2688</idno>
                  <affiliation ref="#struct-105160"/>
                  <affiliation ref="#struct-491231"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Jean</forename>
                    <surname>Berbinau</surname>
                  </persName>
                  <idno type="halauthorid">1641684-0</idno>
                  <affiliation ref="#struct-546387"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Marie-Laure</forename>
                    <surname>Morin</surname>
                  </persName>
                  <email type="md5">08b9b81cc7eb386621441a04c6bec003</email>
                  <email type="domain">justice.fr</email>
                  <idno type="idhal" notation="numeric">830983</idno>
                  <idno type="halauthorid" notation="string">117555-830983</idno>
                  <affiliation ref="#struct-497694"/>
                  <affiliation ref="#struct-441569"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="INCOMING">142329</idno>
                <title level="j">Journal of Applied Logics -IfCoLog Journal of Logics and their Applications</title>
                <imprint>
                  <biblScope unit="serie">Special Issue: Reasoning for Legal AI</biblScope>
                  <biblScope unit="volume">6</biblScope>
                  <biblScope unit="issue">5</biblScope>
                  <biblScope unit="pp">33</biblScope>
                  <date type="datePub">2019-08-27</date>
                </imprint>
              </monogr>
              <ref target="http://emergences.inria.fr/lettres2013/newsletter-n28/L28-OUTILDECISION" type="seeAlso"/>
              <ref type="publisher">http://collegepublications.co.uk/ifcolog/?00034</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="shs.droit">Humanities and Social Sciences/Law</classCode>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="shs.info">Humanities and Social Sciences/Library and information sciences</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halDomain" n="info.info-cy">Computer Science [cs]/Computers and Society [cs.CY]</classCode>
              <classCode scheme="halDomain" n="shs">Humanities and Social Sciences</classCode>
              <classCode scheme="halTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halOldTypology" n="ART">Journal articles</classCode>
              <classCode scheme="halTreeTypology" n="ART">Journal articles</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>We introduce the theoretical principles that underlie the design of a software tool which could be used by judges for making decisions about litigations and for writing judgements. The tool is based on Binary Decision Diagrams (BDD), which are graphical representations of truth-valued functions associated to propositional formulas. Given a type of litigation, the tool asks questions to the judge; each question is represented by a propositional atom. Their answers, true or false, allow to evaluate the truth value of the formula which encodes the overall recommendation of the software about the litigation. Our approach combines some sort of 'theoretical' or 'legal' reasoning dealing with the core of the litigation itself together with some sort of 'procedural' reasoning dealing with the protocol that has to be followed by the judge during the trial: some questions must necessarily be examined and sometimes in a specific order. That is why we consider extensions of BDD called Multi-BDD. They are BDD with multiple roots corresponding to the di erent specific issues that must necessarily be addressed by the judge during the trial. We illustrate our ideas on a case study dealing with French trade union elections which has been used throughout our project with the Cour de cassation. We also introduce the prototype developed during our project and a link with restricted access to try it out.</p>
            </abstract>
            <particDesc>
              <org type="consortium">COUR DE CASSATION</org>
              <org type="consortium">UNIVERSITÉ DE RENNES 1</org>
              <org type="consortium">INRIA</org>
              <org type="consortium">ENS RENNES</org>
              <org type="consortium">UNIVERSITY OF TORINO</org>
            </particDesc>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-105160" status="VALID">
          <idno type="IdRef">26693823X</idno>
          <idno type="ROR">https://ror.org/015m7wh34</idno>
          <orgName>Université de Rennes</orgName>
          <orgName type="acronym">UR</orgName>
          <desc>
            <address>
              <addrLine>Campus de Beaulieu, 263 avenue Général Leclerc, CS 74205, 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-rennes.fr/</ref>
          </desc>
        </org>
        <org type="department" xml:id="struct-491231" status="VALID">
          <orgName>GESTION DES DONNÉES ET DE LA CONNAISSANCE</orgName>
          <orgName type="acronym">IRISA-D7</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.irisa.fr/fr/departements/d7-gestion-donnees-connaissance</ref>
          </desc>
          <listRelation>
            <relation active="#struct-490899" type="direct"/>
            <relation active="#struct-105160" type="indirect"/>
            <relation active="#struct-117606" type="indirect"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="indirect"/>
            <relation active="#struct-247362" type="indirect"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation name="UMR6074" active="#struct-441569" type="indirect"/>
            <relation active="#struct-481355" type="indirect"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-546387" status="VALID">
          <orgName>Compagnie Nationale des Experts de Justice en Informatique et Techniques Associées</orgName>
          <orgName type="acronym">CNEJITA</orgName>
          <desc>
            <address>
              <addrLine>120 rue de Bercy75572 Paris cedex 12</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnejita.org/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-497694" status="VALID">
          <idno type="IdRef">02637997X</idno>
          <orgName>Cour de cassation [France]</orgName>
          <date type="start">1804-01-01</date>
          <desc>
            <address>
              <addrLine>5 quai de l'Horloge - 75001 Paris</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.courdecassation.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>
        <org type="laboratory" xml:id="struct-490899" status="VALID">
          <idno type="IdRef">026386909</idno>
          <idno type="ISNI">0000 0001 2298 7270</idno>
          <idno type="RNSR">200012163A</idno>
          <idno type="ROR">https://ror.org/00myn0z94</idno>
          <orgName>Institut de Recherche en Informatique et Systèmes Aléatoires</orgName>
          <orgName type="acronym">IRISA</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Avenue du général LeclercCampus de Beaulieu 35042 RENNES CEDEX</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.irisa.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-105160" type="direct"/>
            <relation active="#struct-117606" type="direct"/>
            <relation active="#struct-301232" type="indirect"/>
            <relation active="#struct-172265" type="direct"/>
            <relation active="#struct-247362" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation name="UMR6074" active="#struct-441569" type="direct"/>
            <relation active="#struct-481355" type="direct"/>
            <relation active="#struct-302102" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-117606" status="VALID">
          <idno type="ROR">https://ror.org/04xaa4j22</idno>
          <orgName>Institut National des Sciences Appliquées - Rennes</orgName>
          <orgName type="acronym">INSA Rennes</orgName>
          <desc>
            <address>
              <addrLine>20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.insa-rennes.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-301232" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-301232" status="VALID">
          <idno type="IdRef">162105150</idno>
          <orgName>Institut National des Sciences Appliquées</orgName>
          <orgName type="acronym">INSA</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
        </org>
        <org type="institution" xml:id="struct-172265" status="VALID">
          <idno type="IdRef">05017746X</idno>
          <idno type="ISNI">0000000121680285</idno>
          <idno type="ROR">https://ror.org/04ed7fw48</idno>
          <orgName>Université de Bretagne Sud</orgName>
          <orgName type="acronym">UBS</orgName>
          <date type="start">1995-02-07</date>
          <desc>
            <address>
              <addrLine>BP 92116 - 56321 Lorient cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-ubs.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-247362" status="VALID">
          <idno type="ROR">https://ror.org/03rxtdc22</idno>
          <orgName>École normale supérieure - Rennes</orgName>
          <orgName type="acronym">ENS Rennes</orgName>
          <desc>
            <address>
              <addrLine>Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ens-rennes.fr</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </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-481355" status="VALID">
          <idno type="IdRef">202743233</idno>
          <idno type="ROR">https://ror.org/030hj3061</idno>
          <orgName>IMT Atlantique</orgName>
          <orgName type="acronym">IMT Atlantique</orgName>
          <date type="start">2017-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Brest : Technopôle Brest-Iroise CS 8381829238 BREST Cedex 3 -Campus Nantes : 4, rue Alfred Kastler- La chantrerie 44300 NANTES -Campus Rennes :  2 Rue de la Châtaigneraie, 35510 CESSON SEVIGNE</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt-atlantique.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-302102" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-302102" status="VALID">
          <idno type="IdRef">192427156</idno>
          <idno type="ISNI">000000012202567X</idno>
          <idno type="ROR">https://ror.org/025vp2923</idno>
          <idno type="Wikidata">Q27962533</idno>
          <orgName>Institut Mines-Télécom [Paris]</orgName>
          <orgName type="acronym">IMT</orgName>
          <date type="start">2012-03-01</date>
          <desc>
            <address>
              <addrLine>19 Place Marguerite Perey, 91120 Palaiseau</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.imt.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>