Sujet de these: These en TAL et specification formelle

[Thierry Hamon]

Date: Tue, 08 Jun 2010 15:23:53 +0200
From: Brigitte Grau <bg at limsi.fr>
Message-ID: <4C0E4469.2040305 at limsi.fr>
X-url: http://www.limsi.fr/Individu/bg/pageWeb/theseDigiteo.html


Offre de thèse sur la Construction et vérification de la spécification
formelle d'une configuration d'environnement intelligent issue d'une
description textuelle

Financement par une bourse DIGITEO

Contexte et sujet

Des travaux récents se sont attachés à la vérification et à la
validation de réglementations: réglementations de sécurité dans les
aéroports, protocoles médicaux par exemple. Dans ces travaux, les
modèles formels qui servent à la vérification par preuve ou model
checking sont en général élaborés directement par l'utilisateur à
partir des textes.

Dans le cadre de la configuration d'environnements intelligents grâce
à des descriptions textuelles fournies par des techniciens ou des
utilisateurs avertis (férus de technologie), le but de cette thèse est
d'élaborer un modèle complet allant du texte à la représentation
formelle, qui requiert une intervention de l'utilisateur uniquement
quand cela s'avère nécessaire.

L'originalité de ce sujet repose sur le fait de maintenir et exploiter
la relation entre les représentations construites et le texte afin de
raisonner sur les différents types de représentation, ainsi que dans
une construction itérative de la spécification.

Voir plus de détail dans le fichier joint ou sur 
http://www.limsi.fr/Individu/bg/pageWeb/theseDigiteo.html

Brigitte Grau

---- 
ENSIIE
Ecole Nationale Supérieure d'Informatique pour l'Industrie et
l'Entreprise
1 square de la résistance, 91025 EVRY Cedex
tel. 01 69 36 73 44, fax 01 69 36 73 09
et
Groupe ILES - LIMSI
BP 133, 91403 ORSAY Cedex
tel. 01 69 85 80 03, fax 01 69 85 80 88

-------------------------------------------------------------------------
Message diffuse par la liste Langage Naturel <LN at cines.fr>
Informations, abonnement : http://www.atala.org/article.php3?id_article=48
English version       : 
Archives                 : http://listserv.linguistlist.org/archives/ln.html
                                http://liste.cines.fr/info/ln

La liste LN est parrainee par l'ATALA (Association pour le Traitement
Automatique des Langues)
Information et adhesion  : http://www.atala.org/
-------------------------------------------------------------------------