Generalisation de termes en theorie equationnelle. Cas associatif-commutatif - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Research Report) Year : 1989

Generalisation de termes en theorie equationnelle. Cas associatif-commutatif

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-1056.pdf (1.52 Mo) Télécharger le fichier

Dates and versions

inria-00075503 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00075503 , version 1

Cite

Loïc Pottier. Generalisation de termes en theorie equationnelle. Cas associatif-commutatif. [Rapport de recherche] RR-1056, INRIA. 1989, pp.47. ⟨inria-00075503⟩
139 View
68 Download

Share

Gmail Facebook X LinkedIn More