본 논문은 신경기호(NeSy) 방법론에서 논리 기반 추론의 효율성을 높이기 위한 새로운 접근법을 제시합니다. 기존 NeSy 방법론은 첫째 순서 논리를 이용하여 복잡한 관계를 처리하지만, 모든 가능한 치환을 고려하는 완전한 추론은 계산 비용이 매우 높다는 문제점이 있습니다. 본 논문에서는 다단계 기호 추론에서 영감을 얻어, 고전적인 후향 추론을 일반화하는 매개변수화된 기반 설정 방법론의 집합을 제안합니다. 이 방법론은 표현력과 확장성 간의 절충을 제어할 수 있으며, 기존의 휴리스틱 기반 방법보다 이론적 정당성을 갖고 정보 손실 없이 추론을 수행할 수 있습니다. 실험 결과는 기반 설정 기준의 선택이 NeSy 방법 자체만큼 중요함을 보여줍니다.