<?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-00371948</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-24T13:18:34+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography</title>
            <author role="aut">
              <persName>
                <forename type="first">Vincent</forename>
                <surname>Rialle</surname>
              </persName>
              <email type="md5">44d3877d533901a92fe1b7d388d4c1a0</email>
              <email type="domain">imag.fr</email>
              <idno type="idhal" notation="numeric">829628</idno>
              <idno type="halauthorid" notation="string">101444-829628</idno>
              <affiliation ref="#struct-707"/>
              <affiliation ref="#struct-51203"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Annick</forename>
                <surname>Vila</surname>
              </persName>
              <idno type="halauthorid">252726-0</idno>
              <affiliation ref="#struct-51294"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Yves</forename>
                <surname>Besnard</surname>
              </persName>
              <idno type="halauthorid">385016-0</idno>
              <affiliation ref="#struct-707"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Vincent</forename>
                <surname>Rialle</surname>
              </persName>
              <email type="md5">adde4940a5826221868c5daa47998bcd</email>
              <email type="domain">gmail.com</email>
            </editor>
            <funder>supported by the REGION RHONE-ALPES via the Pôle Rhône-Alpes de Génie Biologique et Médical under grant 509004/12 GBM</funder>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2009-03-30 18:31:17</date>
              <date type="whenWritten">1991-01-10</date>
              <date type="whenModified">2026-03-26 16:30:05</date>
              <date type="whenReleased">2009-03-30 21:08:18</date>
              <date type="whenProduced">1991-04-05</date>
              <date type="whenEndEmbargoed">2009-03-30</date>
              <ref type="file" target="https://hal.science/hal-00371948v1/document">
                <date notBefore="2009-03-30"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal.science/hal-00371948v1/file/Art_Rialle-Vila-Besnard_AIM_91.pdf" id="file-371948-524832">
                <date notBefore="2009-03-30"/>
              </ref>
              <ref type="externalLink" target="http://arxiv.org/pdf/0903.5289"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="123573">
                <persName>
                  <forename>Vincent</forename>
                  <surname>Rialle</surname>
                </persName>
                <email type="md5">adde4940a5826221868c5daa47998bcd</email>
                <email type="domain">gmail.com</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-00371948</idno>
            <idno type="halUri">https://hal.science/hal-00371948</idno>
            <idno type="halBibtex">rialle:hal-00371948</idno>
            <idno type="halRefHtml">&lt;i&gt;Artificial Intelligence in Medicine&lt;/i&gt;, 1991, 3 (2), pp.65-74</idno>
            <idno type="halRef">Artificial Intelligence in Medicine, 1991, 3 (2), pp.65-74</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-371948-524832"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="UGA">HAL Grenoble Alpes</idno>
            <idno type="stamp" n="IMAG">IMAG</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="UNIV-GRENOBLE1">Université Joseph Fourier - Grenoble I</idno>
            <idno type="stamp" n="INPG">Institut polytechnique de Grenoble</idno>
            <idno type="stamp" n="TIMC-IMAG">TIMC</idno>
            <idno type="stamp" n="UNIV-LYON">Université de Lyon</idno>
            <idno type="stamp" n="TEST-UGA">TEST-UGA</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">Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Vincent</forename>
                    <surname>Rialle</surname>
                  </persName>
                  <email type="md5">44d3877d533901a92fe1b7d388d4c1a0</email>
                  <email type="domain">imag.fr</email>
                  <idno type="idhal" notation="numeric">829628</idno>
                  <idno type="halauthorid" notation="string">101444-829628</idno>
                  <affiliation ref="#struct-707"/>
                  <affiliation ref="#struct-51203"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Annick</forename>
                    <surname>Vila</surname>
                  </persName>
                  <idno type="halauthorid">252726-0</idno>
                  <affiliation ref="#struct-51294"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Yves</forename>
                    <surname>Besnard</surname>
                  </persName>
                  <idno type="halauthorid">385016-0</idno>
                  <affiliation ref="#struct-707"/>
                </author>
              </analytic>
              <monogr>
                <idno type="halJournalId" status="VALID">10797</idno>
                <idno type="issn">0933-3657</idno>
                <title level="j">Artificial Intelligence in Medicine</title>
                <imprint>
                  <publisher>Elsevier</publisher>
                  <biblScope unit="volume">3</biblScope>
                  <biblScope unit="issue">2</biblScope>
                  <biblScope unit="pp">65-74</biblScope>
                  <date type="datePub">1991-04-05</date>
                </imprint>
              </monogr>
              <idno type="arxiv">0903.5289</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <keywords scheme="author">
                <term xml:lang="en">Medical expert systems</term>
                <term xml:lang="en">Heterogeneous knowledge representation</term>
                <term xml:lang="en">Finite automata</term>
                <term xml:lang="en">Electromyography</term>
              </keywords>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</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>In a certain number of situations, human cognitive functioning is difficult to represent with classical artificial intelligence structures. Such a difficulty arises in the polyneuropathy diagnosis which is based on the spatial distribution, along the nerve fibres, of lesions, together with the synthesis of several partial diagnoses. Faced with this problem while building up an expert system (NEUROP), we developed a heterogeneous knowledge representation associating a finite automaton with first order logic. A number of knowledge representation problems raised by the electromyography test features are examined in this study and the expert system architecture allowing such a knowledge modeling are laid out.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-707" status="OLD">
          <idno type="IdRef">14728936X</idno>
          <idno type="ISNI">0000 0004 4687 1979</idno>
          <idno type="RNSR">199511969L</idno>
          <idno type="ROR">https://ror.org/03985kf35</idno>
          <orgName>Techniques de l'Ingénierie Médicale et de la Complexité - Informatique, Mathématiques et Applications, Grenoble - UMR 5525</orgName>
          <orgName type="acronym">TIMC-IMAG</orgName>
          <date type="start">1993-01-01</date>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>Domaine de la Merci, 38706 La Tronche, France</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www-timc.imag.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-51016" type="direct"/>
            <relation active="#struct-89889" type="direct"/>
            <relation active="#struct-301767" type="direct"/>
            <relation name="UMR5525" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-51203" status="INCOMING">
          <orgName>Département de Méthodologie de l'Information de Santé du Pôle Santé Publique</orgName>
          <orgName type="acronym">DMIS</orgName>
          <desc>
            <address>
              <addrLine>Institut d'Ingénierie et de l'Information de Santé Pavillon Taillefer 38706 La Tronche Cedex</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-257328" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-51294" status="INCOMING">
          <orgName>Unité EMMG et pathologies Neuromusculaires</orgName>
          <desc>
            <address>
              <addrLine>Département de neurologie - C H U BP 217X 38043 GRENOBLE CEDEX 9</addrLine>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-257328" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-51016" status="OLD">
          <idno type="IdRef">026404796</idno>
          <idno type="ROR">https://ror.org/02aj0kh94</idno>
          <orgName>Université Joseph Fourier - Grenoble 1</orgName>
          <orgName type="acronym">UJF</orgName>
          <date type="end">2015-12-31</date>
          <desc>
            <address>
              <addrLine>BP 53 - 38041 Grenoble Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ujf-grenoble.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-89889" status="OLD">
          <idno type="IdRef">026388804</idno>
          <idno type="ROR">https://ror.org/05sbt2524</idno>
          <orgName>Institut polytechnique de Grenoble - Grenoble Institute of Technology</orgName>
          <orgName type="acronym">Grenoble INP</orgName>
          <date type="start">2007-01-01</date>
          <date type="end">2019-12-31</date>
          <desc>
            <address>
              <addrLine>46 avenue Félix Viallet 38031 Grenoble Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.grenoble-inp.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-301767" status="VALID">
          <idno type="ROR">https://ror.org/01c7wz417</idno>
          <orgName>VetAgro Sup - Institut national d'enseignement supérieur et de recherche en alimentation, santé animale, sciences agronomiques et de l'environnement</orgName>
          <orgName type="acronym">VAS</orgName>
          <date type="start">2010-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Lyon, VetAgro Sup, 69280 Marcy l'Etoile (campus vétérinaire); Université de Clermont, VetAgro Sup, 63370 Lempdes (campus agronomique)</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.vetagro-sup.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="institution" xml:id="struct-257328" status="VALID">
          <idno type="IdRef">034137076</idno>
          <idno type="ROR">https://ror.org/041rhpw39</idno>
          <orgName>CHU de Grenoble-Alpes - Centre Hospitalier Universitaire CHU Grenoble</orgName>
          <orgName type="acronym">CHUGA</orgName>
          <desc>
            <address>
              <addrLine>CS 1021738043 Grenoble cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.chu-grenoble.fr/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>