고차 논리와 퍼지 논리를 결합하여 추상적인 함수와 술어에 걸쳐 추론이 필요하고 정확한 일치가 드문 또는 불필요한 의사결정 과제에 유용하게 활용할 수 있다. 이러한 결합된 형식에 대한 효율적인 추론 및 계산 기법을 개발하는 것은 상당한 과제이다. 본 논문에서는 잘 확립되고 계산적으로 잘 동작하는 두 구성 요소, 즉 고차 패턴과 최소 T-norm을 기반으로 하는 유사성 관계를 통해 표현된 퍼지 동치를 통합하는 보다 직접적인 접근 방식을 채택한다. 본 논문은 이러한 유사성 관계를 고려한 고차 패턴에 대한 통합 알고리즘을 제안하고, 그 종료, 정확성 및 완전성을 증명한다. 이 통합 문제는 명확한 대응 관계와 마찬가지로 단일적이며, 주어진 항이 통합 가능할 때 가장 높은 근사도를 가진 가장 일반적인 통합자를 계산한다.
