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).
Document type :
Conference papers
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-00740814
Contributor : Sylvain Pogodalla <>
Submitted on : Thursday, October 11, 2012 - 10:30:45 AM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM
Long-term archiving on : Friday, December 16, 2016 - 11:22:56 PM

File

1999-gat-new.pdf
Files produced by the author(s)

Identifiers

  • 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), Université Stendhal, Grenoble 3, 1999, Grenoble, France. ⟨hal-00740814⟩

Share

Metrics

Record views

184

Files downloads

71