Génération à l'aide de réseaux de preuve sémantiques

Sylvain Pogodalla 1
1 CALLIGRAMME - Linear logic, proof networks and categorial grammars
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : La relation naturelle entre le calcul de Lambek et la sémantique de Montague a déjà été beaucoup étudiée pour l'analyse syntaxique. Paradoxalement, peu de choses ont été proposées pour la génération. En la comparant à une autre approche avec laquelle elle partage un certain nombre de traits formels (Merenciano & Morrill 1997), nous proposons une méthode préliminaire de génération basée sur les réseaux de preuve de la logique linéaire (Girard 1987). En effet, il est connu que cette dernière, dans sa variante non commutative, contient le calcul de Lambek (Roorda 1991). D'autre part, ses preuves peuvent être exprimées au moyen d'une syntaxe particulière, les réseaux de preuve, qui quotiente les preuves inessentiellement différentes du calcul des séquents. La syntaxe des entrées lexicales peut alors s'exprimer dans ces réseaux. Mais, tout comme la déduction naturelle pour la logique classique, ces réseaux de preuve permettent de coder des lambda-termes. Aussi est-il possible, en s'inspirant de la sémantique de Montague, d'avoir à la fois des réseaux syntaxiques et des réseaux sémantiques attachés aux entrées lexicales. Cet aspect, déjà développé pour l'analyse (de Groote & Retoré 1996), nous en proposons ici une utilisation pour la génération. Nous nous intéressons au problème de vérifier qu'avec des items lexicaux donnés, il est possible de générer une phrase syntaxiquement correcte ayant la forme sémantique donnée. Les propriétés calculatoires qui en découlent étant améliorées par rapport à l'approche de Merenciano & Morrill (1997).
Type de document :
Communication dans un congrès
Génération Automatique de Textes (GAT'99), 1999, Grenoble, France. 1999
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00740814
Contributeur : Sylvain Pogodalla <>
Soumis le : jeudi 11 octobre 2012 - 10:30:45
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48
Document(s) archivé(s) le : vendredi 16 décembre 2016 - 23:22:56

Fichier

1999-gat-new.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00740814, version 1

Collections

Citation

Sylvain Pogodalla. Génération à l'aide de réseaux de preuve sémantiques. Génération Automatique de Textes (GAT'99), 1999, Grenoble, France. 1999. 〈hal-00740814〉

Partager

Métriques

Consultations de la notice

164

Téléchargements de fichiers

58