Résolution de contraintes symboliques
Identifieur interne : 00CC03 ( Main/Merge ); précédent : 00CC02; suivant : 00CC04Résolution de contraintes symboliques
Auteurs : D. LugiezSource :
Abstract
La notion de contraintes a connu un vif succès ces dernières années car ce concept s'est avéré pratique et puissant. Dans cette habilitation les contraintes évoquées sont des formules construites sur un prédicat d'égalité qu'on résout dans un domaine de termes clos, d'où leur nom de contraintes symboliques égalitaires. Trois applications distinctes et les techniques de résolution associées sont présentées : \begin{itemize} \item L'utilisation pour la programmation logique des techniques de disunification qui permettent de résoudre de manière simple et élégante les problèmes liés a la négation et d'étendre la classe de programmes logiques traités. \item L'utilisation de techniques d'arbres de motifs et de d'automates d'arbres pour aborder le problème de la complétude d'une définition de fonction en présence de symboles associatifs-commutatifs. \item L'étude de contraintes d'ordre supérieur dans le lambda-calcul simplement typé, pour lesquelles on présentera àla fois des résultats d'indécidabilité et de décidabilité. \end{itemize}
Links toward previous steps (curation, corpus...)
- to stream Crin, to step Corpus: 001B38
- to stream Crin, to step Curation: 001B38
- to stream Crin, to step Checkpoint: 002B58
Links to Exploration step
CRIN:lugiez95aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="46">Résolution de contraintes symboliques</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:lugiez95a</idno>
<date when="1995" year="1995">1995</date>
<idno type="wicri:Area/Crin/Corpus">001B38</idno>
<idno type="wicri:Area/Crin/Curation">001B38</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">001B38</idno>
<idno type="wicri:Area/Crin/Checkpoint">002B58</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">002B58</idno>
<idno type="wicri:Area/Main/Merge">00CC03</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Résolution de contraintes symboliques</title>
<author><name sortKey="Lugiez, D" sort="Lugiez, D" uniqKey="Lugiez D" first="D." last="Lugiez">D. Lugiez</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-2102">La notion de contraintes a connu un vif succès ces dernières années car ce concept s'est avéré pratique et puissant. Dans cette habilitation les contraintes évoquées sont des formules construites sur un prédicat d'égalité qu'on résout dans un domaine de termes clos, d'où leur nom de contraintes symboliques égalitaires. Trois applications distinctes et les techniques de résolution associées sont présentées : \begin{itemize} \item L'utilisation pour la programmation logique des techniques de disunification qui permettent de résoudre de manière simple et élégante les problèmes liés a la négation et d'étendre la classe de programmes logiques traités. \item L'utilisation de techniques d'arbres de motifs et de d'automates d'arbres pour aborder le problème de la complétude d'une définition de fonction en présence de symboles associatifs-commutatifs. \item L'étude de contraintes d'ordre supérieur dans le lambda-calcul simplement typé, pour lesquelles on présentera àla fois des résultats d'indécidabilité et de décidabilité. \end{itemize}</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Merge
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 00CC03 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Main/Merge/biblio.hfd -nk 00CC03 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Main |étape= Merge |type= RBID |clé= CRIN:lugiez95a |texte= Résolution de contraintes symboliques }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |