Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075503
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:21:28 PM
Last modification on : Monday, April 27, 2020 - 10:10:05 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 7:19:32 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

286

Files downloads

210