[논문 리뷰] On the Undecidability of Fuzzy Description Logics with GCIs with Lukasiewicz t-norm

Marco Cerami, Umberto Straccia|arXiv (Cornell University)|2011. 07. 21.

Semantic Web and Ontologies참고 문헌 22인용 수 26

한 줄 요약

이 논문은 Łukasiewicz t-노름 하에서 일반 개념 포함(GCIs)을 갖는 흐린 기술 논리 Ł-ALC에서 지식 기반의 만족 가능성의 결정 불가능성을 확립한다. 만족 가능성 문제를 결정 불가능한 Post의 대응 문제(PCP)로 감소시킴으로써, 저자들은 주어진 흐린 온톨로지가 만족 가능한지 여부를 판단할 수 있는 알고리즘이 존재하지 않음을 증명한다. 이는 이전에 제품 논리에 대해 증명된 결정 불가능성 결과를 Łukasiewicz 논리로 확장한 것이다.

ABSTRACT

Recently there have been some unexpected results concerning Fuzzy Description Logics (FDLs) with General Concept Inclusions (GCIs). They show that, unlike the classical case, the DL ALC with GCIs does not have the finite model property under Lukasiewicz Logic or Product Logic and, specifically, knowledge base satisfiability is an undecidable problem for Product Logic. We complete here the analysis by showing that knowledge base satisfiability is also an undecidable problem for Lukasiewicz Logic.

연구 동기 및 목표

• 문헌에서의 격차를 메우기 위해 Łukasiewicz t-노름 하에서 일반 개념 포함(GCIs)을 갖는 흐린 기술 논리 Ł-ALC에서 지식 기반의 만족 가능성의 결정 불가능성을 증명하는 것.
• 이전에 제품 논리에 대해 증명된 결정 불가능성 결과를 Łukasiewicz 논리로 확장하여 GCIs를 갖는 흐린 DL의 분석을 완성하는 것.
• Ł-ALC에 GCIs가 존재할 때 유한 모델 성질이 실패함을 보여주어, 흐린 환경에서 기존 DL의 직관에 도전하는 것.
• 결정 불가능한 제한된 Post의 대응 문제(RPCP)에서 Ł-ALC에 GCIs가 있는 만족 가능성 문제로의 형식적 감소를 제공하는 것.

제안 방법

• 주어진 RPCP 인스턴스 φ에 기반하여 흐린 해석 Iφ를 구성하고, Łukasiewicz t-노름 의미 체계를 사용하여 개념 V, W, A 및 역할 R_i에 진리값을 할당한다.
• 기존 TBox Tφ에 새로운 GCIs ⊤ ⊑ ∀R_i.(¬(V↔W) ⊔ ¬A)를 추가하여 Tφ′라는 TBox Tφ′를 정의함으로써, 함의의 진리값이 1이 되도록 제약 조건을 설정한다.
• Łukasiewicz 논리의 의미 체계 특성—특히 a ⊗ b = max{0, a+b−1} 및 a ⇒ b = min{1, 1−a+b}—을 활용하여, 해석 내 경로를 따라 진리값 전파를 분석한다.
• φ가 해를 가진다면, V와 W가 동일한 진리값을 갖는 점 δ가 존재하며, 이는 새로운 GCIs 위반으로 이어지고 온톨로지의 만족 가능성을 해친다.
• φ가 해를 가지 않는다면, 모든 점에서 ¬(V↔W) > 0 이고, 이 값이 A를 초과하므로 ¬(V↔W) ⊔ ¬A의 진리값이 1이 되어 모든 새로운 GCIs를 만족시킨다.
• 이중조건 관계를 확립: φ가 해를 가진다 ↔ 확장된 온톨로지 O′_φ가 만족 가능하지 않다. 이는 RPCP를 Ł-ALC에 GCIs가 있는 만족 가능성 문제로 감소시키는 것이다.

실험 결과

연구 질문

• RQ1 Łukasiewicz t-노름 하에서 일반 개념 포함(GCIs)을 갖는 흐린 기술 논리 Ł-ALC에서 지식 기반의 만족 가능성은 결정 가능한가?
• RQ2 Ł-ALC에 GCIs가 존재할 때 유한 모델 성질의 실패는 만족 가능성의 결정 불가능성을 암시하는가?
• RQ3 제품 논리에서의 만족 가능성의 결정 불가능성이 GCIs 존재 조건 하에서 Łukasiewicz 논리로 확장될 수 있는가?
• RQ4 결정 불가능한 제한된 Post의 대응 문제(RPCP)에서 Ł-ALC에 GCIs가 있는 만족 가능성 문제로의 감소가 가능한가?
• RQ5 Łukasiewicz 논리의 의미 체계 특성을 활용하여, RPCP의 해 존재 여부에 따라 특정 GCIs를 만족하거나 위반하는 증거 모델을 구성할 수 있는가?

주요 결과

• Łukasiewicz t-노름 하에서 GCIs를 갖는 Ł-ALC에서 지식 기반의 만족 가능성은 결정 불가능하며, GCIs를 갖는 흐린 DL의 결정 불가능성 분석을 완성한다.
• 결정 불가능성 결과는 결정 불가능한 제한된 Post의 대응 문제(RPCP)에서 Ł-ALC에 GCIs가 있는 만족 가능성 문제로의 감소를 통해 확립된다.
• RPCP 인스턴스 φ가 해를 가진다면, 새로운 GCIs를 포함하는 확장된 온톨로지 O′_φ는 만족 가능하지 않으며, 이는 ¬(V↔W) ⊔ ¬A 위반으로 인해 발생한다.
• φ가 해를 가지 않는다면, 모든 모델 Iφ의 점에서 ¬(V↔W) > A 이며, 이는 ¬(V↔W) ⊔ ¬A의 진리값이 1이 되게 하여 모든 새로운 GCIs를 만족시키고, 따라서 O′_φ가 만족 가능하게 한다.
• 이중조건 관계가 성립: φ가 해를 가진다 ↔ O′_φ가 만족 가능하지 않다. 이는 Ł-ALC에 GCIs가 있는 만족 가능성 문제의 결정 불가능성을 증명한다.
• 결과적으로, Ł-ALC에 GCIs가 존재할 때는 모델가 유한 도메인을 필요로 하지 않아도 되는 경우가 있으며, 이는 논리의 의미 체계적 제약 조건을 만족시키기 위해 무한 도메인이 필요할 수 있음을 보여주며, 따라서 유한 모델 성질이 실패함을 시사한다.