soutenance-these

Informations

• Publié par: Vewyig
• Nombre de lectures: 31
• Langue: Français

Extrait

Réseaux de preuve et génération pour les
grammaires de types logiques
Sylvain Pogodalla
27 septembre 2001Implementation
Logique
lineaire
Linguistique
informatique
Réseaux de preuve et génération pour les grammaires de types logiques 1Implementation
generateur
analyseur
prouveur
automatique
Logiquecalcul recherche reseaux et
de preuve graphes R&Bordonne lineaire
pouvoir expressif
reversibilite
Linguistique
informatique
Réseaux de preuve et génération pour les grammaires de types logiques 1Implementation
generateur
analyseur
prouveur
automatique
Logiquecalcul recherche reseaux et
de preuve graphes R&Bordonne lineaire
pouvoir expressif
reversibilite
Linguistique
informatique
Réseaux de preuve et génération pour les grammaires de types logiques 1Plan
1. Principes des grammaires de types
logiques
2. Exposé du problème de la génération
3. Éclairage de la théorie de la preuve
4. Reformulation du problème de la
génération et solution proposée
5. Conclusion et perspectives
Réseaux de preuve et génération pour les grammaires de types logiques 2Plan
Les grammaires AB
1. Principes des grammaires de types
Le calcul de Lambek
logiques
Analyse syntaxique
sémantique
2. Exposé du problème de la génération
3. Éclairage de la théorie de la preuve
4. Reformulation du problème de la
génération et solution proposée
5. Conclusion et perspectives
Réseaux de preuve et génération pour les grammaires de types logiques 2Plan
1. Principes des grammaires de types
logiques
2. Exposé du problème de la génération
3. Éclairage de la théorie de la preuve
4. Reformulation du problème de la
génération et solution proposée
5. Conclusion et perspectives
Réseaux de preuve et génération pour les grammaires de types logiques 2Plan
1. Principes des grammaires de types
logiques
2. Exposé du problème de la génération Logique linéaire et
calcul de Lambek
Réseaux de preuve3. Éclairage de la théorie de la preuve
Analyse syntaxique et
sémantique avec les4. Reformulation du problème de la
réseauxgénération et solution proposée
Liens exponentiels et
graphes R&B5. Conclusion et perspectives
Réseaux de preuve et génération pour les grammaires de types logiques 2Plan
1. Principes des grammaires de types
logiques
Élimination des
2. Exposé du problème de la génération coupures et réécriture
de graphe
3. Éclairage de la théorie de la preuve Réduction et relation
matricielle
4. Reformulation du problème de la Recherche de preuve
et réalisationgénération et solution proposée
syntaxique
Algorithme de5. Conclusion et perspectives
génération et
implantation
Réseaux de preuve et génération pour les grammaires de types logiques 2Plan
1. Principes des grammaires de types
logiques
2. Exposé du problème de la génération
3. Éclairage de la théorie de la preuve
4. Reformulation du problème de la
génération et solution proposée
5. Conclusion et perspectives
Réseaux de preuve et génération pour les grammaires de types logiques 2