본 논문은 그래프 도달 가능성 문제를 개선하기 위한 새로운 접근 방식을 제시합니다. 기존의 깊이 우선 탐색(Depth-First Search) 및 너비 우선 탐색(Breadth-First Search) 알고리즘은 복잡성이 높은데, 본 논문에서는 그래프의 스키마 정의를 활용하여 불필요한 경로를 제거하고 목표에 도달할 가능성이 높은 경로를 우선적으로 탐색하는 전략을 제안합니다. 이를 위해 인스턴스의 상위 수준 개념화를 활용하여 그래프 경로를 자동으로 제외하고 정렬하는 전략을 제시하며, 기존 알고리즘보다 시간, 공간 요구 사항 및 백트래킹 횟수를 줄일 수 있는 새로운 1차 논리 공식화를 제시합니다. 실험 결과는 제안된 접근 방식이 백트래킹 횟수를 줄이고 시간 및 공간을 절약하는 데 효과적임을 보여줍니다.