[논문 리뷰] Complexity Results and Practical Algorithms for Logics in Knowledge Representation

Stephan Tobies|ArXiv.org|2001. 06. 13.

Semantic Web and Ontologies참고 문헌 150인용 수 337

한 줄 요약

이 논문은 수량자, 비대칭 역할, 역할 계층, 노미널을 포함한 표현력 있는 기술 논리(DLs)에 대해 복잡도 결과와 최적의 표본 기반 알고리즘을 제시한다. 주요 추론 작업에 대해 최적의 PSPACE 및 EXPTIME 복잡도 한계를 설정하고, 차단 및 역할 닫힘 기법을 통해 재귀 계산을 피하는 효율적인 알고리즘을 도입하여 지식 표현 시스템의 실용적 성능을 크게 향상시킨다.

ABSTRACT

Description Logics (DLs) are used in knowledge-based systems to represent and reason about terminological knowledge of the application domain in a semantically well-defined manner. In this thesis, we establish a number of novel complexity results and give practical algorithms for expressive DLs that provide different forms of counting quantifiers. We show that, in many cases, adding local counting in the form of qualifying number restrictions to DLs does not increase the complexity of the inference problems, even if binary coding of numbers in the input is assumed. On the other hand, we show that adding different forms of global counting restrictions to a logic may increase the complexity of the inference problems dramatically. We provide exact complexity results and a practical, tableau based algorithm for the DL SHIQ, which forms the basis of the highly optimized DL system iFaCT. Finally, we describe a tableau algorithm for the clique guarded fragment (CGF), which we hope will serve as the basis for an efficient implementation of a CGF reasoner.

연구 동기 및 목표

• 표현력 있는 기술 논리, 특히 수량자, 비대칭 역할, 역할 계층을 포함한 경우의 추론 계산 복잡도를 분석하는 것.
• 재귀 계산을 피하고 기존 방법보다 성능을 향상시키는 실용적이고 효율적인 표본 기반 알고리즘을 개발하는 것.
• ALCQ, SHIQ 및 그 변종과 같은 확장된 DL에서 주요 추론 문제에 대해 엄밀한 복잡도 한계(PSPACE 및 EXPTIME)를 설정하는 것.
• 결정 가능성을 유지하면서도 노미널과 부울 역할 표현을 통합된 프레임워크에 통합하는 것.

제안 방법

• 수량 제약 조건을 최적화하여 처리하는 역할 닫힘과 차단 메커니즘을 사용하는 ALCQ에 대한 표본 기반 알고리즘을 제안한다.
• 표본 구성 중 무한 확장을 방지하기 위해 역할 포함 관계와 비대칭 역할을 추적하는 새로운 차단 기법을 도입한다.
• 역할 계층과 비대칭 역할 닫힘 전략을 사용하여 재귀적이고 귀납 기반 접근 방식을 통해 역할의 비대칭 닫힘을 효율적으로 계산한다.
• 해석의 귀납적 구성에 지도를 주기 위해 역할에 대한 노름 기반 측정(||·||)을 사용한다.
• 표본 확장 중 일관성 유지와 제약 조건 전파를 위해 개념과 역할에 대한 닫힘 연산자를 적용한다.
• 역할 닫힘과 해석에서의 비대칭 닫힘 간의 관계를 설명하는 인도크티브 불변량과 보조 정리들을 통해 정당성과 복잡도 한계를 증명한다.

실험 결과

연구 질문

• RQ1 ALCQ와 그 수량자 및 비대칭 역할 확장에서 개념 만족 가능성 및 기타 추론 문제의 계산 복잡도는 무엇인가?
• RQ2 표본 알고리즘이 추론 중 개념과 역할의 수가 지수적으로 증가하는 것을 방지하기 위해 어떻게 최적화될 수 있는가?
• RQ3 비대칭 역할, 역할 계층, 노미널을 추가함으로써 기술 논리의 복잡도와 구현 가능성에 어떤 영향을 미치는가?
• RQ4 단일 표본 알고리즘이 ALCQ, SHIQ 등 여러 확장 기능을 동일한 복잡도 보장을 갖는 효율적인 성능으로 처리할 수 있는가?

주요 결과

• 논문은 ALCQ에서 추론이 PSPACE-완비이며, SHIQ에서는 EXPTIME-완비임을 입증한다. 이는 이론적 상한과 일치한다.
• 역할 닫힘과 차단을 사용하여 난이도 있는 접근 방식의 지수적 팽창을 방지하는 최적의 ALCQ 표본 알고리즘을 제시한다.
• 비대칭 역할과 역할 계층을 포함한 SHIQ에 대한 알고리즘은 표본 확장 과정에 비대칭 닫힘 계산을 통합함으로써 최적의 복잡도를 달성한다.
• 차단 메커니즘이 비대칭 역할과 복잡한 역할 계층이 존재하는 상황에서도 무한한 표본 확장 성장을 방지하는 데 효과적임이 입증된다.
• 역할에 대한 노름 기반 귀납은 알고리즘이 모든 확장에서 종료되며 정확성을 유지함을 보장한다.
• 논문은 구성된 해석 I'이 역할의 비대칭 닫힘을 정확히 포착함을 증명하여 알고리즘의 타당성과 완전성을 확보한다.