Analyse sémantique incrémentale guidée par les types avec polymorphisme

L'analyse sémantique a connu des progrès significatifs, mais la plupart des analyseurs sémantiques actuels sont extrêmement lents (basés sur CKY) et plutôt primitifs dans leur représentation. Nous présentons trois nouvelles techniques pour résoudre ces problèmes. Premièrement, nous concevons le premier algorithme d'analyse sémantique incrémentale de type décalage-réduction linéaire en temps, qui est plus efficace que les analyseurs sémantiques bottom-up conventionnels en temps cubique. Deuxièmement, notre analyseur, étant guidé par les types plutôt que par la syntaxe, utilise la vérification de type pour déterminer la direction de réduction, ce qui élimine la nécessité d'une grammaire syntaxique telle que CCG (Combinatory Categorial Grammar). Troisièmement, pour pleinement exploiter le potentiel de l'analyse sémantique guidée par les types au-delà des types simples (comme les entités et les valeurs de vérité), nous empruntons à la théorie des langages de programmation les concepts de polymorphisme sous-type et de polymorphisme paramétrique afin d'enrichir le système de types et mieux guider l'analyse. Notre système apprend des analyses très précises dans les domaines GeoQuery, Jobs et Atis.