[논문 리뷰] Rational Closure in SHIQ

Laura Giordano, Valentina Gliozzi외 2명|arXiv (Cornell University)|2014. 06. 08.

Logic, Reasoning, and Knowledge참고 문헌 24인용 수 13

한 줄 요약

이 논문은 $Δ\mathcal{SHIQ}$ 서술 논리에 대해 합리적 폐쇄 구성을 제안하며, 일반화된 레만과 마지드의 명제적 합리적 폐쇄를 $̄{T}$라는 일반성 연산자를 갖는 서술 논리에 확장한다. 이는 유한 랭크 최소 원소를 갖는 선호 모델을 통한 의미론적 특성화를 제공하며, 표준 $Δ\mathcal{SHIQ}$ 함의를 사용하여 합리적 폐쇄가 ExpTime 내에서 계산 가능하다는 것을 증명하고, TBox 및 ABox에서의 도전적 추론이 기준 모델에서의 최소 함의로 특성화됨을 확립한다.

ABSTRACT

We define a notion of rational closure for the logic SHIQ, which does not enjoys the finite model property, building on the notion of rational closure introduced by Lehmann and Magidor in [23]. We provide a semantic characterization of rational closure in SHIQ in terms of a preferential semantics, based on a finite rank characterization of minimal models. We show that the rational closure of a TBox can be computed in EXPTIME using entailment in SHIQ.

연구 동기 및 목표

• 표현력 있는 서술 논리 $Δ\mathcal{SHIQ}$로 확장된 합리적 폐쇄를 정의하기 위해 원래 명제 논리에 대해 정의된 합리적 폐쇄를, 유한 모델 성질를 갖지 않는 $Δ\mathcal{SHIQ}$에까지 확장하는 것.
• 선호 모델과 유한 랭크 최소 원소를 사용하여 $Δ\mathcal{SHIQ}$에서의 합리적 폐쇄에 대한 의미론적 특성화를 제공하는 것.
• 합리적 폐쇄가 표준 $Δ\mathcal{SHIQ}$ 함의를 통해 계산 가능하며, 계산 효율성을 유지할 수 있음을 보이는 것.
• 비단조화적인 일반성의 존재 하에서 TBox와 ABox 추론을 처리하며, 복잡도 한계를 설정하는 것.

제안 방법

• $Δ\mathcal{SHIQ}$에 일반성 연산자 $̄{T}$를 추가하여 ${̄{T}}(C)\sqsubseteq D$와 같은 도전적 포함을 표현하는 확장 체계를 도입하는 것.
• 표준 $Δ\mathcal{SHIQ}$ 모델에 도메인 상의 엄격한 부분 순서 $<$를 부여하여 일반성의 의미를 표현하는 합리적 모델를 정의하는 것.
• 도메인 원소에 대한 유한 랭크 함수를 통해 최소 모델를 특성화하고, 유한 지식 기반의 모든 최소 모델가 유한 랭크를 갖는다는 것을 증명하는 것. 이는 도메인이 무한할 수 있음에도 불구하고 성립한다.
• 선호 의미론 하에서 기준 모델에서 최소하게 함의되는 포함들이 합리적 폐쇄에 정확히 해당됨을 증명하는 것.
• 합리적 폐쇄가 $Δ\mathcal{SHIQ}^\textsf{R}{\bf T}$ 논리에서의 추론을 피하고, 오직 표준 $Δ\mathcal{SHIQ}$ 함의만을 사용하여 TBox의 합리적 폐쇄를 계산할 수 있음을 보이는 것.
• TBox와 ABox의 합리적 폐쇄 결정 문제 모두가 유한 랭크 성질과 최소 모델성에 기반하여 ExpTime 내에 존재함을 증명하는 것.

실험 결과

연구 질문

• RQ1 유한 모델 성질를 갖지 않는 $Δ\mathcal{SHIQ}$에 대해 합리적 폐쇄를 어떻게 공식적으로 정의할 수 있는가?
• RQ2 합리적 폐쇄의 의미론적 기반은 무엇이며, 선호 및 최소 모델 의미론과 어떻게 관련되어 있는가?
• RQ3 표준 $Δ\mathcal{SHIQ}$ 함의만을 사용하여 $Δ\mathcal{SHIQ}$ TBox의 합리적 폐쇄를 계산할 수 있는가?
• RQ4 $Δ\mathcal{SHIQ}$ TBox와 ABox의 합리적 폐쇄에 속하는지 여부를 결정하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 개별 개체들이 역할을 통해 상호 연결되어 있을 경우, ABox 추론은 어떻게 합리적 폐쇄 하에서 다뤄질 수 있는가?

주요 결과

• $Δ\mathcal{SHIQ}$ TBox의 합리적 폐쇄는 선호 의미론 하에서 기준 모델에서 최소하게 함의되는 포함들의 집합과 정확히 일치한다.
• 유한 지식 기반의 모든 최소 모델는 도메인이 무한할지라도 유한 랭크를 갖는다. 이는 최소성의 유한한 특성화를 가능하게 한다.
• TBox의 합리적 폐쇄는 $Δ\mathcal{SHIQ}^\textsf{R}{\bf T}$ 논리에서의 추론 없이도 표준 $Δ\mathcal{SHIQ}$ 함의만을 사용하여 ExpTime 내에서 계산 가능하다.
• TBox의 합리적 폐쇄에 포함되는지 여부를 결정하는 문제는 ExpTime 내에 존재한다.
• ABox 추론에서 ABox의 문장 $C(a)$가 합리적 폐쇄에 속하는지 여부를 결정하는 문제 역시, 다양한 최소 랭크에 대한 경계적 추론이 필요하기 때문에 ExpTime 내에 존재한다.
• 의미론적 프레임워크는 $Δ\mathcal{SHIQ}$로 일반화되며, 유한 모델 성질의 부재에도 불구하고 [16]의 명제적 합리적 폐쇄 의미론을 일반화한다.