<?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 tel-01415967v2</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-23T23:19:25+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Semantics and Discourse: from modelling to interpretation</title>
            <title xml:lang="fr">Sémantique et discours - de la modélisation à l'interprétation</title>
            <author role="aut">
              <persName>
                <forename type="first">Maxime</forename>
                <surname>Amblard</surname>
              </persName>
              <email type="md5">2dcfd312b9f0812bcdb29e17918e0a6d</email>
              <email type="domain">loria.fr</email>
              <idno type="idhal" notation="string">maxime-amblard</idno>
              <idno type="idhal" notation="numeric">747</idno>
              <idno type="halauthorid" notation="string">19859-747</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2924-475X</idno>
              <idno type="IDREF">https://www.idref.fr/12657779X</idno>
              <affiliation ref="#struct-150772"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Maxime</forename>
                <surname>Amblard</surname>
              </persName>
              <email type="md5">2dcfd312b9f0812bcdb29e17918e0a6d</email>
              <email type="domain">loria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1">
              <date type="whenSubmitted">2016-12-13 18:02:41</date>
            </edition>
            <edition n="v2" type="current">
              <date type="whenSubmitted">2016-12-15 16:09:27</date>
              <date type="whenModified">2025-11-04 11:57:41</date>
              <date type="whenReleased">2016-12-16 08:35:57</date>
              <date type="whenProduced">2016-11-28</date>
              <date type="whenEndEmbargoed">2016-12-15</date>
              <ref type="file" target="https://inria.hal.science/tel-01415967v2/document">
                <date notBefore="2016-12-15"/>
              </ref>
              <ref type="file" n="1" target="https://inria.hal.science/tel-01415967v2/file/hdr.pdf" id="file-1417440-1503442">
                <date notBefore="2016-12-15"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="122205">
                <persName>
                  <forename>Maxime</forename>
                  <surname>Amblard</surname>
                </persName>
                <email type="md5">2dcfd312b9f0812bcdb29e17918e0a6d</email>
                <email type="domain">loria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">tel-01415967</idno>
            <idno type="halUri">https://inria.hal.science/tel-01415967</idno>
            <idno type="halBibtex">amblard:tel-01415967</idno>
            <idno type="halRefHtml">Informatique [cs]. Université de Lorraine (Nancy), 2016</idno>
            <idno type="halRef">Informatique [cs]. Université de Lorraine (Nancy), 2016</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1417440-1503442"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="LORIA2">Publications du LORIA</idno>
            <idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="CENTRALESUPELEC">Ecole CentraleSupélec</idno>
            <idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="LORIA">Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno>
            <idno type="stamp" n="LORIA-NLPKD" corresp="LORIA">Department of Natural Language Processing &amp; Knowledge Discovery</idno>
            <idno type="stamp" n="UNIV-PARIS-SACLAY">Université Paris-Saclay</idno>
            <idno type="stamp" n="CENTRALESUPELEC-SACLAY" corresp="UNIV-PARIS-SACLAY">CENTRALESUPELEC-SACLAY</idno>
            <idno type="stamp" n="HDR-UL">HDR Université de Lorraine</idno>
            <idno type="stamp" n="RISC_THESE_HDR">Thèses et HDR CNRS en sciences cognitives</idno>
            <idno type="stamp" n="AM2I-UL">Pôle scientifique Automatique, Mathématiques, Informatique et leurs Intéractions de l'Université de Lorraine</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Semantics and Discourse: from modelling to interpretation</title>
                <title xml:lang="fr">Sémantique et discours - de la modélisation à l'interprétation</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Maxime</forename>
                    <surname>Amblard</surname>
                  </persName>
                  <email type="md5">2dcfd312b9f0812bcdb29e17918e0a6d</email>
                  <email type="domain">loria.fr</email>
                  <idno type="idhal" notation="string">maxime-amblard</idno>
                  <idno type="idhal" notation="numeric">747</idno>
                  <idno type="halauthorid" notation="string">19859-747</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2924-475X</idno>
                  <idno type="IDREF">https://www.idref.fr/12657779X</idno>
                  <affiliation ref="#struct-150772"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <date type="dateDefended">2016-11-28</date>
                </imprint>
                <authority type="institution">Université de Lorraine (Nancy)</authority>
                <authority type="supervisor">Claire Gardent (Présidente)</authority>
                <authority type="jury">Philippe Blache (Rapporteur)</authority>
                <authority type="jury">Isabelle Tellier (Rapporteur)</authority>
                <authority type="jury">Nicholas Asher (Rapporteur)</authority>
                <authority type="jury">Philippe de Groote (Parrain)</authority>
                <authority type="jury">Jean-Yves Marion (Éxaminateur)</authority>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="fr">French</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">grammars</term>
                <term xml:lang="en">Natural Langage Processing</term>
                <term xml:lang="en">logic</term>
                <term xml:lang="en">pragmatics</term>
                <term xml:lang="en">language</term>
                <term xml:lang="en">lambda-calculus</term>
                <term xml:lang="en">continuation</term>
                <term xml:lang="en">formal modeling</term>
                <term xml:lang="en">syntax</term>
                <term xml:lang="en">semantics</term>
                <term xml:lang="en">discourse</term>
                <term xml:lang="fr">discours</term>
                <term xml:lang="fr">pragmatique</term>
                <term xml:lang="fr">Traitement automatique des langues</term>
                <term xml:lang="fr">sémantique</term>
                <term xml:lang="fr">syntaxe</term>
                <term xml:lang="fr">modélisation formelle</term>
                <term xml:lang="fr">Lambda-calcul</term>
                <term xml:lang="fr">grammaires</term>
                <term xml:lang="fr">langage</term>
                <term xml:lang="fr">logique</term>
              </keywords>
              <classCode scheme="acm" n="H">H.: Information Systems</classCode>
              <classCode scheme="halDomain" n="info">Computer Science [cs]</classCode>
              <classCode scheme="halDomain" n="info.info-tt">Computer Science [cs]/Document and Text Processing</classCode>
              <classCode scheme="halDomain" n="scco">Cognitive science</classCode>
              <classCode scheme="halTypology" n="HDR">Habilitation à diriger des recherches</classCode>
              <classCode scheme="halOldTypology" n="HDR">Habilitation à diriger des recherches</classCode>
              <classCode scheme="halTreeTypology" n="HDR">Habilitation à diriger des recherches</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Our research is concerned with computational linguistics, proposing computational tools and techniques for natural language processing. Our research activity is spread over two areas :1. semantic modeling using formal and logical approaches. We define gram- mars that respect Frege’s compositionality principle, following the ideas of Mon- tague semantics and inspired by (de Groote 2006), who introduced a theory of dynamics based on the λ-calculus.2. the confrontation of these models of semantics and discourse to empiri- cal data extracted from pathological uses in conversations between schizophrenics and psychologists.First, we look back on our work in semantic modeling. We proposed a framework for the syntax-semantics interface in the context of Chomsky’s generative theory. The grammars, which we call Minimalist Categorical Grammars (MCG), are based on an extension of Lambek grammar, (Lambek 1958), and they coordinate the syntactic and the semantic calculus by a correspondence on types (based on the λ-calculus). This framework has later enabled us to linguistically interpret the commutative properties of the underlying logic.We then worked on semantic representations, which led us to supervise two PhDs with Philippe de Groote. In his PhD, Sai Qian proposed a model of events, negation and modal subordination. The solution to address these problems has been to consider all of them as phenomena of the accessibility of variables in dynamic semantics. For this, Sai has deeply expanded the notion of context (de Groote 2006).As a result, we were interested in unifying the treatments in a single setting. In his PhD, Jirka Maršík has defined a calculus inspired by modern programming languages, particularly the use of effects and handlers. The resulting calculus allows us to simu- late different orders of evaluation, and thus give flexibility to the context. Jirka has first studied the properties of his calculus and proven subject reduction, confluence and ter- mination. Second, he showed how to use it to account for different linguistic phenomena.In the second part, we questioned the adequacy of these formal approaches and their use in solving empirical problems. We carried out a field study modeling conversations between schizophrenics and psychologists, which resulted in the SLAM project (Schizo- phrenia and Language : Analysis and Modeling). In these interviews, we found exchanges whose semantic or pragmatic interpretation was difficult or impossible. The idea was to use logical formalisms for the representation of speech to question these dysfunctions.When studying these interviews, it seemed appropriate to analyze other levels than semantics. We implemented automatic processing tools for our data to analyze disfluency production and the distribution of part-of-speech tags. We were able to confirm that schizophrenics produced more disfluencies than interlocutors from the control group.Finally, we worked on the use of explicit markers of discourse relations in information retrieval.The final part of the Report highlights our research perspectives that propose to unify the two previous axes. That is, to reconcile computational semantics with its applica- tions in the field of cognitive science. We would primarily develop semantic grammars and formal models of dialogue.</p>
            </abstract>
            <abstract xml:lang="fr">
              <p>Les travaux présentés se situent dans le champ de la linguistique computationnelle. Nous proposons des outils et méthodes informatiques pour le traitement de la langue naturelle. Nos activités de recherche se répartissent selon deux axes :1. la modélisation sémantique par des approches formelles et logiques. Pour cela nous définissons des grammaires respectant le principe de compositionnalité de Frege, s’inscrivant dans la continuité des propositions de Montague, et inspirées par (de Groote 2006) qui propose un calcul sémantique basé sur le λ-calcul simulant la dynamicité.2. la confrontation de ces modèles sémantiques et discursifs à des données empiriques extraites d’usages pathologiques identifiés dans des entretiens entre des patients schizophrènes et des psychologues.Dans la première partie, nous revenons sur nos travaux en modélisation sémantique. Nous avons été conduits à proposer un formalisme rendant compte de l’interface syntaxe- sémantique pour la théorie générative de Chomsky. Ces grammaires, appelées grammaires minimalistes catégorielles, sont basées sur une extension des grammaires de Lambek, (Lambek 1958), et synchronisent un calcul sémantique au calcul syntaxique par une correspondance entre les types, en s’appuyant sur le λ-calcul. Ce cadre nous a par la suite permis d’interpréter linguistiquement les propriétés de commutativité.Nous avons ensuite travaillé à la représentation sémantique, ce qui nous a conduit à encadrer deux thèses avec Philippe de Groote. Dans sa thèse, Sai Qian a cherché à modéliser les notions d’événements, de négation et de subordination modale. Une solution pour traiter ces problèmes a été de les envisager comme des problèmes d’accessibilité de variables dans un cadre dynamique. Il a pour cela profondément étendu la notion de contexte de (de Groote 2006).Nous nous sommes ensuite employés à unifier les traitements dans un unique cadre. Pour cela, Jirka Maršík a, dans sa thèse, proposé un calcul inspiré des propriétés des langages de programmation modernes, notamment les effets algébriques (effects et handlers). Ce calcul permet de simuler différents ordres d’évaluation, et donc de gérer de manière flexible la notion de contexte. Jirka Maršík a d’une part étudié les propriétés du calcul et prouvé la préservation de types, la confluence et la terminaison, et d’autre part il a montré comment rendre compte de différents phénomènes linguistiques.Dans la seconde partie, nous nous sommes interrogés sur l’adéquation de ces approches formelles et leur utilisation pour résoudre des problèmes empiriques. La modélisation d’entretiens entre des patients schizophrènes et des psychologues a été le terrain d’étude qui s’est présenté et cela a donné lieu au projet SLAM (Schizophrénie et Langage : Analyse et Modélisation). Dans ces entretiens, nous avons identifié des échanges dont l’interprétation sémantique ou pragmatique était difficile voire impossible. Le principe a été d’utiliser des formalismes logiques pour la représentation du discours afin d’interroger ces dysfonctionnements.En étudiant ces entretiens, il nous est apparu pertinent de les analyser sur d’autres niveaux que la sémantique. Nous avons mis en œuvre des outils du traitement automatique des langues sur nos données pour analyser les productions de disfluences, ainsi que la répartition des catégories morpho-syntaxiques. Nous avons ainsi pu identifier que les schizophrènes produisaient plus de disfluences que les interlocuteurs du groupe contrôle.Finalement, nous avons travaillé à l’utilisation des marqueurs explicites de relations de discours dans des tâches d’extraction d’informations.La partie finale de ce document revient sur nos perspectives de recherche qui proposent d’unifier les deux axes précédents. Il s’agit de parvenir à réconcilier la vision calculatoire de la modélisation sémantique avec ses applications dans des perspectives des sciences cognitives. Nous souhaitons principalement développer des grammaires sémantiques et la modélisation formelle des dialogues.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="researchteam" xml:id="struct-150772" status="VALID">
          <idno type="RNSR">201120979K</idno>
          <idno type="ROR">https://ror.org/02xc7ww16</idno>
          <orgName>Semantic Analysis of Natural Language</orgName>
          <orgName type="acronym">SEMAGRAMME</orgName>
          <date type="start">2013-07-01</date>
          <date type="end">2026-04-30</date>
          <desc>
            <address>
              <addrLine>615 Rue du Jardin-Botanique, 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/semagramme</ref>
          </desc>
          <listRelation>
            <relation active="#struct-129671" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-423086" type="direct"/>
            <relation active="#struct-206040" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-129671" status="VALID">
          <idno type="RNSR">198618246Y</idno>
          <idno type="ROR">https://ror.org/03fcjvn64</idno>
          <orgName>Centre Inria de l'Université de Lorraine</orgName>
          <desc>
            <address>
              <addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/nancy</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </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="department" xml:id="struct-423086" status="VALID">
          <orgName>Department of Natural Language Processing &amp; Knowledge Discovery</orgName>
          <orgName type="acronym">LORIA - NLPKD</orgName>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr/en/research/departments/natural-language-processing-and-knowledge-discovery/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-206040" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-411575" type="indirect"/>
            <relation active="#struct-413289" type="indirect"/>
            <relation name="UMR7503" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-206040" status="VALID">
          <idno type="IdRef">067077927</idno>
          <idno type="ISNI">0000000121795429</idno>
          <idno type="RNSR">198912571S</idno>
          <idno type="IdUnivLorraine">[UL]RSI--</idno>
          <idno type="ROR">https://ror.org/02vnf0c38</idno>
          <orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName>
          <orgName type="acronym">LORIA</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.loria.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
            <relation active="#struct-411575" type="direct"/>
            <relation active="#struct-413289" type="direct"/>
            <relation name="UMR7503" 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-413289" status="VALID">
          <idno type="IdRef">157040569</idno>
          <idno type="IdUnivLorraine">[UL]100--</idno>
          <idno type="ROR">https://ror.org/04vfs2w97</idno>
          <orgName>Université de Lorraine</orgName>
          <orgName type="acronym">UL</orgName>
          <date type="start">2012-01-01</date>
          <desc>
            <address>
              <addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-lorraine.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>