불일치한 지식 기반(KB)에서 의미 있는 답변을 얻기 위한 수단으로 수리 기반 의미론이 광범위하게 연구되어 왔다. 여러 연구에서 최적의 수리를 선택하기 위해 사실 간의 우선순위 관계를 활용하는 방법을 고려했지만, 이러한 선호도를 어떻게 지정할지에 대한 문제는 대체로 다루어지지 않았다. 본 논문은 충돌하는 사실 간의 우선순위 관계를 지정하고 계산하기 위한 선언적 규칙 기반 프레임워크를 소개한다. 표현된 선호도에 바람직하지 않은 사이클이 포함될 수 있으므로, 일련의 선호도 규칙이 항상 비순환 관계를 생성하는 시점을 결정하는 문제를 고려하고, 다양한 사이클 제거 기법을 적용하여 비순환 관계를 추출하는 실용적인 접근 방식을 탐구한다. 불일치 KB 쿼리를 위한 종단간 시스템 구축을 위해, 선호도 규칙을 평가하고, 원하는 사이클 해결 기법을 적용하여 우선순위 관계를 얻고, 우선순위가 지정된 수리 의미론 하에서 쿼리에 응답하기 위해 답변 집합 프로그래밍을 사용하는 프레임워크의 예비 구현 및 실험적 평가를 제시한다.
