HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
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 Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 6:21:28 PM
Last modification on : Friday, February 4, 2022 - 3:22:05 AM
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

129

Files downloads

54