[논문 리뷰] Theoretical Foundations of Defeasible Description Logics

Katarina Britz, Giovanni Casini외 4명|arXiv (Cornell University)|2019. 04. 16.

Logic, Reasoning, and Knowledge참고 문헌 50인용 수 5

한 줄 요약

이 논문은 기각 가능 서술 논리학(DLs)의 이론적 기초를 구축하며, 기각 가능 하위집합 관계에 대한 새로운이고 직관적인 의미 이론을 제안함으로써 KLM 스타일의 선호성 및 합리성 성질과 표현 정리들을 통해 연결한다. 비단조화적 추론을 고전적 추론 검사로 환원하는 합리적 추론 프레임워크를 제안하여, 기초가 되는 ALC 논리의 계산 복잡도를 유지하면서 효율적이고 실행 가능한 추론을 가능하게 한다. Protégé 플러그인을 통해 실현 가능하다.

ABSTRACT

We extend description logics (DLs) with non-monotonic reasoning features. We start by investigating a notion of defeasible subsumption in the spirit of defeasible conditionals as studied by Kraus, Lehmann and Magidor in the propositional case. In particular, we consider a natural and intuitive semantics for defeasible subsumption, and investigate KLM-style syntactic properties for both preferential and rational subsumption. Our contribution includes two representation results linking our semantic constructions to the set of preferential and rational properties considered. Besides showing that our semantics is appropriate, these results pave the way for more effective decision procedures for defeasible reasoning in DLs. Indeed, we also analyse the problem of non-monotonic reasoning in DLs at the level of entailment and present an algorithm for the computation of rational closure of a defeasible ontology. Importantly, our algorithm relies completely on classical entailment and shows that the computational complexity of reasoning over defeasible ontologies is no worse than that of reasoning in the underlying classical DL ALC.

연구 동기 및 목표

• 서술 논리학 내에서 일반성과 예외를 반영하는 기각 가능 하위집합 관계에 대한 일반적이고 직관적인 의미 이론을 개발하기 위해.
• 제안된 의미 이론과 KLM 스타일의 선호성 및 합리성 성질을 연결하는 표현 정리들을 확립하여 논리적 일관성과 표현 능력을 보장하기 위해.
• 기존 접근 방식(예: 선호성 및 모듈러 추론)의 한계를 해결하기 위해 기각 가능 DL 내에서 적절한 추론의 개념을 식별하고 형식화하기 위해.
• 고전적 추론만을 사용하여 합리적 폐쇄를 계산하는 의사결정 절차를 제시하여 계산 효율성과 실행 가능성을 보장하기 위해.
• 미래 연구를 위한 기초를 마련하기 위해, 기각 가능 추론을 ABox와 역할 기반 기각 가능성으로 확장하기 위해.

제안 방법

• 해석에 대한 선호성 순서를 기반으로 '일반적으로 C는 D를 함의한다'는 직관적 아이디어를 활용하여 기각 가능 하위집합 관계를 위한 의미 이론을 도입한다.
• 반사성, 컷, 신중한 단조성 등의 KLM 스타일의 문법적 성질을 기반으로 선호성 및 합리적 하위집합 관계를 정의한다.
• 합리적 추론을 적절한 함의 관계로 제안하며, 핵심 비단조화적 성질을 만족하고 합리적 폐쇄와 일치함을 보여준다.
• 고전적 추론 검사만을 사용하여 합리적 폐쇄를 계산하는 알고리즘을 개발하며, 복잡도를 유지한다.
• 기각 가능 온톨로지에서의 추론 복잡도가 고전적 ALC 추론의 복잡도 이상으로 악화되지 않음을 입증한다.
• 합리적 추론, 합리적 폐쇄(Lehmann와 Magidor에 의해 정의됨) 및 Casini와 Straccia의 알고리즘 간의 형식적 연결을 제공한다.

실험 결과

연구 질문

• RQ1 서술 논리학 내에서 일반성과 예외를 모델링하기 위해, 일반적이고 직관적인 의미 이론을 어떻게 정의할 수 있는가?
• RQ2 제안된 의미 이론이 만족하는 KLM 스타일의 문법적 성질(예: 반사성, 컷, 신중한 단조성)은 무엇이며, 표현 정리들을 통해 의미 이론과 어떻게 형식적으로 연결될 수 있는가?
• RQ3 왜 선호성 및 모듈러 추론은 기각 가능 DL에 부적절한가? 적절한 추론 관계가 가져야 할 성질은 무엇인가?
• RQ4 합리적 추론은 고전적 추론을 초과하는 계산 복잡도 없이 기각 가능 DL에서 효과적으로 계산될 수 있는가?
• RQ5 합리적 폐쇄는 어떻게 고전적 추론 검사만을 사용하여 계산할 수 있으며, 그 결과로 발생하는 복잡도는 무엇인가?

주요 결과

• 제안된 기각 가능 하위집합 관계의 의미 이론은 표현 정리들을 통해 선호성 및 합리적 하위집합 관계와 형식적으로 연결되어 있으며, 그 적합성과 표현 능력을 검증한다.
• 합리적 추론은 기각 가능 DL 내에서 적절한 함의 관계로 식별되며, 핵심 비단조화적 성질을 만족하고 이전의 함의 개념의 단점을 피한다.
• 합리적 폐쇄를 계산하는 알고리즘은 고전적 추론 검사에만 의존하여, 기각 가능 온톨로지에서의 추론이 고전적 ALC 추론과 동일한 계산 복잡도를 유지함을 보장한다.
• 이 프레임워크는 실행 가능하며, Protégé 플러그인을 통해 실용적 확장성과 성능을 입증한다.
• 합리적 추론, 합리적 폐쇄, Casini–Straccia 알고리즘 간의 형식적 연결이 확립되어 효율적이고 타당한 추론을 가능하게 한다.
• 결과들은 향후 ABox 추론, 역할 기반 기각 가능성, 그리고 DL 내 믿음 재구성으로의 확장을 위한 견고한 기초를 마련한다.