Sémantique compositionnelle et analyse sémantique

Construire le sens d'une phrase à partir de ses composants et mapper le langage naturel à des représentations sémantiques formelles telles que les formes logiques et les requêtes exécutables.

Definition

La sémantique compositionnelle calcule le sens d'une expression complexe à partir du sens de ses constituants et de leur mode de combinaison ; l'analyse sémantique mappe le langage naturel à une représentation sémantique formelle.

Scope

Couvre la construction du sens au niveau de la phrase : le principe de compositionnalité, les représentations de forme logique, l'interface syntaxe-sémantique, et l'analyse sémantique qui mappe les énoncés à des représentations formelles utilisables pour l'inférence ou les requêtes de base de données. Cela inclut les approches formelles et apprises. Le sens au niveau du mot est traité dans la sémantique lexicale et le sens au niveau du discours dans un sujet connexe.

Core questions

• Comment le sens d'une phrase est-il assemblé de manière compositionnelle à partir des sens des mots et de la structure ?
• Comment les quantificateurs, la portée et la négation sont-ils représentés sous forme logique ?
• Comment les analyseurs sémantiques peuvent-ils être appris à partir de données ?
• Comment les représentations sémantiques sont-elles utilisées pour l'inférence et l'interrogation ?

Key concepts

• compositionnalité
• forme logique
• calcul lambda
• portée des quantificateurs
• interface syntaxe-sémantique
• analyse sémantique
• représentation sémantique
• inférence

Key theories

grammaire de Montague

Le programme de Montague visant à traiter le langage naturel avec la rigueur de la logique formelle, en associant des règles syntaxiques à des opérations sémantiques pour calculer le sens vérifonctionnel.

analyse sémantique apprise

Induire un analyseur qui mappe les phrases à des formes logiques à partir d'exemples annotés, en utilisant des grammaires catégorielles probabilistes et la prédiction structurée.

History

Les travaux de Montague dans les années 1970 ont montré que le langage naturel pouvait être doté d'une sémantique précise basée sur la théorie des modèles, inspirant des implémentations computationnelles recensées par Blackburn et Bos. À partir du milieu des années 2000, l'analyse sémantique s'est orientée vers l'apprentissage automatique, avec Zettlemoyer et Collins apprenant des mappings de formes logiques à partir de données, une approche qui se poursuit dans l'analyse sémantique neuronale.

Debates

Représentations sémantiques construites manuellement versus apprises

La question de savoir si les formes logiques formelles doivent être conçues manuellement ou induites à partir de données, et quelle quantité de structure logique explicite les systèmes neuronaux nécessitent encore pour une inférence fiable.

Key figures

• Richard Montague
• Patrick Blackburn
• Johan Bos
• Luke Zettlemoyer

Seminal works

• montague1973
• blackburn2005
• zettlemoyer2005

Frequently asked questions

Qu'est-ce qu'une forme logique ?

Une forme logique est une représentation formelle et non ambiguë du sens d'une phrase, souvent dans une logique telle que le calcul lambda, qu'un ordinateur peut utiliser pour raisonner ou interroger une base de données.