• Français
    • English
  • Français 
    • Français
    • English
  • Login
View Document 
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
  •   Savoirs UdeS Home
  • Sciences
  • Sciences – Mémoires
  • View Document
JavaScript is disabled for your browser. Some features of this site may not work without it.

Browse

All of Savoirs UdeSDomains & CollectionsBy Issue DateAuthorsTitlesSubjectsDirectorsThis CollectionBy Issue DateAuthorsTitlesSubjectsDirectors

My Account

Login

Statistics

View Usage Statistics

Étude et extension du procédé @L-is pour la vérification et l'enrichissement automatiques de glossaires formels

Thumbnail
View/Open
MR61436.pdf (1.678Mb)
Publication date
2009
Author(s)
Bargiel, Maxim
Show full document record
Abstract
La représentation des connaissances (« Knowledge Representation ») est un domaine de recherche qui a connu son essor dans les années 70 et 80 et qui est aujourd'hui le sujet de nombreux efforts de recherche. Plusieurs langages et méthodologies ont été inventés, utilisant divers paradigmes (programmation logique, réseaux sémantiques, etc.) et approchant des problèmes différents (connaissances terminologiques, connaissances subjectives, connaissances incomplètes ou incertaines, etc.). L'une de ces méthodologies, le procédé @L-is, a été inventée dans les années 2000 par M. Philippe Michelin, président de la compagnie ¥bis inc., afin de résoudre la problématique de la connaissance et de la compréhension des mots d'un langage. Doté d'un langage, d'un interpréteur et d'une méthode d'utilisation bien définie, ce procédé est en constante évolution tandis qu'iEbis repousse sans cesse ses limites. C'est dans ce contexte que s'inscrit le présent projet de recherche. L'objectif de nos recherches était d'analyser les composantes du procédé @L-is afin de trouver de nouveaux mécanismes de validation et d'enrichissement de glossaires @L-is. À cette fin, le recours au logiciel d'assistance à la preuve Coq s'est révélé être une mauvaise piste. C'est plutôt l'extension des algorithmes de l'interpréteur @L-is qui ont permis de mieux utiliser les propriétés du langage @L-is et d'augmenter son expressivité dans le contexte de manipulations par un ordinateur.
URI
http://savoirs.usherbrooke.ca/handle/11143/4845
Collection
  • Sciences – Mémoires [1657]

DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback
 

 


DSpace software [version 5.4 XMLUI], copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback