Combiner la logique d'ordre supérieur et la logique floue peut s'avérer utile pour les tâches de prise de décision où le raisonnement sur des fonctions et des prédicats abstraits est requis et où les correspondances exactes sont rares, voire inutiles. Développer des techniques de raisonnement et de calcul efficaces pour un tel format combiné constitue un défi de taille. Dans cet article, nous adoptons une approche plus directe intégrant deux composantes bien établies et robustes sur le plan informatique : les motifs d'ordre supérieur et l'équivalence floue exprimée par des relations de similarité basées sur des normes T minimales. Nous proposons un algorithme d'intégration pour les motifs d'ordre supérieur qui prend en compte ces relations de similarité et prouve sa terminaison, sa correction et sa complétude. Ce problème d'intégration est unitaire, comme c'est le cas pour les correspondances définies, et calcule l'intégrateur le plus général avec le plus haut degré d'approximation lorsqu'un terme donné est intégrable.
