Algorithmes de propagation de contraintes en raisonnement temporel
Identifieur interne : 003966 ( Crin/Checkpoint ); précédent : 003965; suivant : 003967Algorithmes de propagation de contraintes en raisonnement temporel
Auteurs : H. Tolba ; F. Charpillet ; Jean-Paul Haton [France] ; G. MasiniSource :
English descriptors
- KwdEn :
Abstract
Le temps joue un rôle notable dans le raisonnement lié à de nombreux domaines d'activité. Nous travaillons à la représentation du temps et à son utilisation dans le raisonnement. Nous proposons notamment une représentation permettant de combiner les notions d'intervalle, d'instant et de durée. En fonction de la complétude des informations temporelles dont on dispose, nous utilisons une représentation du temps soit numérique, soit symbolique. L'exploitation d'une telle représentation dans un raisonnement s'appuie sur un ensemble d'outils fondés notamment sur la technique des gestionnaires de graphes temporels (TMM). Dans ce cadre nous avons développé un ensemble d'algorithmes de propagation de contraintes qui fonctionnent soit sur une représentation symbolique (par une extension de Gac4), soit une représentation numérique et discrète (Angel) du temps.
Links toward previous steps (curation, corpus...)
Links to Exploration step
CRIN:tolba91aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="314">Algorithmes de propagation de contraintes en raisonnement temporel</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:tolba91a</idno>
<date when="1991" year="1991">1991</date>
<idno type="wicri:Area/Crin/Corpus">000B63</idno>
<idno type="wicri:Area/Crin/Curation">000B63</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">000B63</idno>
<idno type="wicri:Area/Crin/Checkpoint">003966</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">003966</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Algorithmes de propagation de contraintes en raisonnement temporel</title>
<author><name sortKey="Tolba, H" sort="Tolba, H" uniqKey="Tolba H" first="H." last="Tolba">H. Tolba</name>
</author>
<author><name sortKey="Charpillet, F" sort="Charpillet, F" uniqKey="Charpillet F" first="F." last="Charpillet">F. Charpillet</name>
</author>
<author><name sortKey="Haton, J P" sort="Haton, J P" uniqKey="Haton J" first="J.-P." last="Haton">Jean-Paul Haton</name>
<affiliation><country>France</country>
<placeName><settlement type="city">Nancy</settlement>
<region type="region" nuts="2">Grand Est</region>
<region type="region" nuts="2">Lorraine (région)</region>
</placeName>
<orgName type="laboratoire" n="5">Laboratoire lorrain de recherche en informatique et ses applications</orgName>
<orgName type="university">Université de Lorraine</orgName>
<orgName type="institution">Centre national de la recherche scientifique</orgName>
<orgName type="institution">Institut national de recherche en informatique et en automatique</orgName>
</affiliation>
</author>
<author><name sortKey="Masini, G" sort="Masini, G" uniqKey="Masini G" first="G." last="Masini">G. Masini</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>discrete relaxation</term>
<term>knowledge representation</term>
<term>propagation of constraints</term>
<term>temporal reasoning</term>
<term>time map manager</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="516">Le temps joue un rôle notable dans le raisonnement lié à de nombreux domaines d'activité. Nous travaillons à la représentation du temps et à son utilisation dans le raisonnement. Nous proposons notamment une représentation permettant de combiner les notions d'intervalle, d'instant et de durée. En fonction de la complétude des informations temporelles dont on dispose, nous utilisons une représentation du temps soit numérique, soit symbolique. L'exploitation d'une telle représentation dans un raisonnement s'appuie sur un ensemble d'outils fondés notamment sur la technique des gestionnaires de graphes temporels (TMM). Dans ce cadre nous avons développé un ensemble d'algorithmes de propagation de contraintes qui fonctionnent soit sur une représentation symbolique (par une extension de Gac4), soit une représentation numérique et discrète (Angel) du temps.</div>
</front>
</TEI>
<BibTex type="inproceedings"><ref>tolba91a</ref>
<crinnumber>91-R-087</crinnumber>
<category>3</category>
<equipe>RFIA</equipe>
<author><e>Tolba, H.</e>
<e>Charpillet, F.</e>
<e>Haton, J.-P.</e>
<e>Masini, G.</e>
</author>
<title>Algorithmes de propagation de contraintes en raisonnement temporel</title>
<booktitle>{Actes Conférences Onzièmes Journées Internationales ``Les systèmes experts et leurs applications'', Avignon}</booktitle>
<year>1991</year>
<month>may</month>
<publisher>EC2</publisher>
<keywords><e>temporal reasoning</e>
<e>propagation of constraints</e>
<e>time map manager</e>
<e>knowledge representation</e>
<e>discrete relaxation</e>
</keywords>
<abstract>Le temps joue un rôle notable dans le raisonnement lié à de nombreux domaines d'activité. Nous travaillons à la représentation du temps et à son utilisation dans le raisonnement. Nous proposons notamment une représentation permettant de combiner les notions d'intervalle, d'instant et de durée. En fonction de la complétude des informations temporelles dont on dispose, nous utilisons une représentation du temps soit numérique, soit symbolique. L'exploitation d'une telle représentation dans un raisonnement s'appuie sur un ensemble d'outils fondés notamment sur la technique des gestionnaires de graphes temporels (TMM). Dans ce cadre nous avons développé un ensemble d'algorithmes de propagation de contraintes qui fonctionnent soit sur une représentation symbolique (par une extension de Gac4), soit une représentation numérique et discrète (Angel) du temps.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 003966 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd -nk 003966 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Checkpoint |type= RBID |clé= CRIN:tolba91a |texte= Algorithmes de propagation de contraintes en raisonnement temporel }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |