Generalisation de termes en theorie equationnelle. Cas associatif-commutatif

Loïc Pottier 1
1 SAFIR - Algebraic Formal Systems for Industry and Research
CRISAM - Inria Sophia Antipolis - Méditerranée
Résumé : La généralisation de termes est la notion duale de l'unification. Contrairement à l'unification, elle a été très peu étudiée, essentiellement par [Reynolds 70] et [Huet 76], et uniquement sur les termes sans théorie équationnelle. La généralisation de termes trouve des applications dans la compilation de systèmes de règles de réécriture, dans l'induction et l'apprentissage automatique [Pottier 89]. On étudie ici la généralisation de termes dans une théorie équationnelle, d'abord dan sle cas général, puis dans les deux cas de la théorie triviale et des théories Associatives-Commutatives, où on propose des systèmes de règles d'inférence rendant la généralisation effective (cf [Boudet + Contejean 88] pour un travail similaire sur l'unification AC). On détaille ensuite le cas Associatif-Commutatif, pour y donner trois algorithmes de généralisation, dont deux s'appliquent à des cas particuliers, améliorant le système d'inférence de généralisation.
Type de document :
Rapport
[Rapport de recherche] RR-1056, INRIA. 1989, pp.47
Liste complète des métadonnées

https://hal.inria.fr/inria-00075503
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:21:28
Dernière modification le : samedi 27 janvier 2018 - 01:31:24
Document(s) archivé(s) le : mardi 12 avril 2011 - 19:19:32

Fichiers

Identifiants

  • HAL Id : inria-00075503, version 1

Collections

Citation

Loïc Pottier. Generalisation de termes en theorie equationnelle. Cas associatif-commutatif. [Rapport de recherche] RR-1056, INRIA. 1989, pp.47. 〈inria-00075503〉

Partager

Métriques

Consultations de la notice

124

Téléchargements de fichiers

69