[논문 리뷰] Distributed First Order Logic

Chiara Ghidini, Luciano Serafini|arXiv (Cornell University)|2015. 07. 28.

Semantic Web and Ontologies인용 수 5

한 줄 요약

이 논문은 분산 제1차 논리(Logic, DFOL)의 개선 및 확장된 버전을 제시하며, 화살표 변수를 사용한 다수의 다국적 지식 기반 간의 의미적 이질성과 분산 지식 체계를 표현하고 추론하기 위한 일반적인 프레임워크를 제안한다. 주요 기여는 이러한 브릿지 규칙에 대해 타당성과 완전성이 보장된 자연연역 계산법을 제공함으로써 의미적으로 엄밀한 기반을 지닌 이질적 도메인 간의 공식적 추론을 가능하게 한다.

ABSTRACT

Distributed First Order Logic (DFOL) has been introduced more than ten years ago with the purpose of formalising distributed knowledge-based systems, where knowledge about heterogeneous domains is scattered into a set of interconnected modules. DFOL formalises the knowledge contained in each module by means of first-order theories, and the interconnections between modules by means of special inference rules called bridge rules. Despite their restricted form in the original DFOL formulation, bridge rules have influenced several works in the areas of heterogeneous knowledge integration, modular knowledge representation, and schema/ontology matching. This, in turn, has fostered extensions and modifications of the original DFOL that have never been systematically described and published. This paper tackles the lack of a comprehensive description of DFOL by providing a systematic account of a completely revised and extended version of the logic, together with a sound and complete axiomatisation of a general form of bridge rules based on Natural Deduction. The resulting DFOL framework is then proposed as a clear formal tool for the representation of and reasoning about distributed knowledge and bridge rules.

연구 동기 및 목표

• 제1차 논리에 기반한 의미적으로 엄밀한 기반을 지닌 분산적이고 이질적인 지식 체계를 표현하고 추론하기 위한 종합적이고 공식적인 프레임워크가 부족한 문제를 해결하기 위해.
• 기존 DFOL이 지식 기반 간 상호 연결을 제한된 형태의 브릿지 규칙에 국한시켜 제약을 가졌다는 점을 극복하기 위해.
• 다양하고 이질적인 도메인 간의 복잡한 의미 관계를 모델링할 수 있는 확장된 DFOL 공식화에 대해 체계적이고 엄밀한 기술을 제공하기 위해.
• 일반적인 브릿지 규칙을 위한 타당성과 완전성이 보장된 자연연역 계산법을 개발하여 분산 지식 기반에서 추론과 일致성 검사를 가능하게 하기 위해.

제안 방법

• 지역 지식 기반 간의 일반적인 의미 관계를 표현하기 위해 화살표 변수를 도입하여, 더 유연하고 표현력 있는 브릿지 규칙을 가능하게 한다.
• 방향성 있는 도메인 관계를 기반으로 한 일반적인 브릿지 규칙 양식을 제안하여, 복잡한 다국적 언어 간 추론을 가능하게 한다.
• 브릿지 규칙의 의미론에 대해 타당성과 완전성이 보장된 DFOL에 대한 자연연역 계산법을 개발한다.
• 포화된 공식 집합과 존재 기호 및 화살표 변수에 대한 동치류를 사용하여 완전성을 증명하기 위한 표준 모델 구성법을 정의한다.
• 모델 존재성과 타당성을 확보하기 위해 일관성과 포화를 기반으로 한 단계적 증명 전략을 활용한다.
• 논리적 닫힘과 일관성 검사를 통해 추론 과정에서 만족 불가능한 분산 지식 기반을 탐지한다.

실험 결과

연구 질문

• RQ1 제1차 논리에 기반하여 이질적인 도메인을 가진 분산 지식 체계를 표현하고 추론하기 위한 일반적이고 공식적인 프레임워크는 어떻게 설계할 수 있는가?
• RQ2 분산 환경에서 지역 지식 기반 간의 임의의 의미 관계를 표현할 수 있는 브릿지 규칙의 적절한 공식화는 무엇인가?
• RQ3 이러한 일반화된 브릿지 규칙을 위한 타당성과 완전성이 보장된 계산법은 어떻게 개발할 수 있는가?
• RQ4 확장된 DFOL 프레임워크의 주요 모델 이론적 성질은 무엇이며, 이를 표준 모델을 통해 어떻게 증명할 수 있는가?
• RQ5 이 프레임워크는 다수의 시각 관점 추론과 이질적인 소스 간의 정보 통합과 같은 실제 문제에 어떻게 적용될 수 있는가?

주요 결과

• 확장된 DFOL 프레임워크는 화살표 변수를 사용한 일반적인 브릿지 규칙을 지원하여 원래의 제약보다 훨씬 높은 표현력을 확보한다.
• 일반화된 브릿지 규칙을 위한 타당성과 완전성이 보장된 자연연역 계산법이 확립되어 있어, 분산 지식 기반에서 공식적 추론과 일치성 검사를 가능하게 한다.
• 표준 모델 구성법을 통해 모든 일관된 공식 집합이 모든 브릿지 규칙을 만족하는 모델를 가짐을 보여줌으로써 계산법의 완전성을 증명한다.
• 계산법 내에서 논리적 일관성 검사를 통해 만족 불가능한 분산 지식 기반의 탐지가 가능해진다.
• 실제 시나리오인 다수의 시각 관점에서의 추론과 이질적인 소스 간의 정보 통합과 같은 복잡한 의미 관계를 효과적으로 모델링할 수 있다.
• 온톨로지, 데이터베이스, 피어 투 피어 시스템과 같은 다양한 지식 표현 체계를 통합하기 위한 견고한 이론적 기반을 제공한다.