Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base, Automating Semantic Construction in S

Divers
Université

Sous la direction de Patrick Blackburn Thèse soutenue le 21 octobre 2008: Nancy 1 Cette thèse étudie la construction automatique de représentations sémantiques comme lambda-termes simplement typés. Nous introduisons la sémantique formelle et computationnelle et présentons une tentative de construction sémantique à l'aide d'outils d'inférence. Nous expliquons les limites de cette approche et en proposons une autre, basée sur un outil appelé Nessie. Cet outil construit des représentations sémantiques grâce à un lexique spécifiant le sens des mots et à un arbre guidant la construction. L'implantation de l'outil est présentée et ses résultats sont comparés à ceux du système évoqué plus haut. Nous appliquons ensuite Nessie à deux tâches différentes. D'abord, nous montrons comment il peut être utilisé (avec des outils d'inférence) pour étudier la sémantique du temps et de l'aspect des verbes polonais. Ensuite, nous présentons deux approches de la construction compositionnelle du sens de discours basées sur la théorie des types. Nous montrons que Nessie peut être utilisé pour calculer des représentations de discours dans ces deux formalismes; cette double implantation permet de souligner les points forts et les points faibles de chacune et de les comparer. Enfin, nous prouvons que notre approche de la construction sémantique est compatible avec une large gamme de formalismes syntaxiques: ceux reconnus par une grammaire catégorielle abstraite d'ordre 2. Une conséquence de cette caractérisation est que Nessie peut gérer une large gamme de grammaires inversibles et peut donc, théoriquement, être utilisé aussi bien en génération qu'en analyse. Nous concluons en discutant de la pertinence du lambda calcul simplement typé pour la sémantique des langues naturelles. -Construction Sémantique -Nessie This thesis discusses the automatic construction of semantic representations as simply typed lambda termes. We introduce non-formal and formal semantics and present one attempt to build

Il n'y a aucune évaluation pour l'instant.


Soyez le premier à l'évaluer

Donnez votre évaluation
Automatisation de la Construction Sémantique dans le Lambda Calcul Simplement Typé avec plusieurs Types de base, Automating Semantic Construction in S
* Champs obligatoires
Votre commentaire
Vos notes
Clarté du contenu
Utilité du contenu
Qualité du contenu