[논문 리뷰] A Splitting Set Theorem for Epistemic Specifications

Richard Watson|ArXiv.org|2000. 03. 08.

Logic, Reasoning, and Knowledge참고 문헌 7인용 수 14

한 줄 요약

이 논문은 확장된 분할 집합 정리(extended splitting set theorem)를 확장된 분할 논리 프로그램에서 지식론적 사양(epistemic specifications)으로 확장하며, 지식론적 논리 프로그램에 적용 가능한 새로운 분할 집합 정의를 도입한다. 이는 세계 시각(world views)의 모듈화된 계산을 가능하게 하는 정리와 함께, 안전하고 계층화된 지식론적 논리 프로그램의 유일하고 일관된 세계 시각을 계산하는 알고리즘적 방법을 제공한다.

ABSTRACT

Over the past decade a considerable amount of research has been done to expand logic programming languages to handle incomplete information. One such language is the language of epistemic specifications. As is usual with logic programming languages, the problem of answering queries is intractable in the general case. For extended disjunctive logic programs, an idea that has proven useful in simplifying the investigation of answer sets is the use of splitting sets. In this paper we will present an extended definition of splitting sets that will be applicable to epistemic specifications. Furthermore, an extension of the splitting set theorem will be presented. Also, a characterization of stratified epistemic specifications will be given in terms of splitting sets. This characterization leads us to an algorithmic method of computing world views of a subclass of epistemic logic programs.

연구 동기 및 목표

• 지식론적 논리 프로그램에서 쿼리 답변의 비효율성 문제를 해결하기 위해 계산이 용이한 부분집합을 규명한다.
• 기존의 논리 프로그래밍이 다중 믿음 집합을 표현하는 데에 한계를 보이는 점을 극복한다.
• 지식론적 사양에서 분할 집합을 위한 공식적 프레임워크를 개발하여 세계 시각 계산을 단순화한다.
• 분할 집합을 활용해 계층화된 지식론적 논리 프로그램을 특성화하여 알고리즘적 세계 시각 계산을 가능하게 한다.
• 분할 집합과 제한된 재귀를 활용한 모듈화된 분해 기반으로 지식론적 논리 프로그램의 부분집합에 대한 세계 시각 계산을 체계적으로 제공한다.

제안 방법

• 지식론적 논리 프로그램에 특화된 분할 집합의 확장된 정의를 도입하여 객관적 및 주관적 리터럴을 모두 포함한다.
• 지식론적 사양에 대한 분할 집합 정리를 제안하여 프로그램을 더 작은, 다룰 수 있는 구성 요소로 분해할 수 있도록 한다.
• 지식론적 논리 프로그램의 계층화를 규칙 내의 의존성 제약 조건에 기반해 리터럴을 계층으로 분할하는 것으로 정의한다.
• 계층화로부터 $U_0, \dots, U_z$의 분할 집합 시퀀스를 구성하며, 각 $U_i$는 수준 $i$까지의 계층의 합집합에 해당한다.
• 가장 낮은 계층에서 시작하여 각 계층에서 분할 집합 정리를 반복 적용함으로써 세계 시각을 점진적으로 계산하는 알고리즘을 개발한다.
• 각 단계에서 제한된 재귀와 확장된 분할 논리 프로그램(EDLPs)의 믿음 집합 계산을 활용하며, 기존의 답변 집합 솔버(DLV)와의 통합을 가능하게 한다.

실험 결과

연구 질문

• RQ1 분할 집합 개념을 지식론적 논리 프로그램으로 어떻게 확장하여 모듈화된 추론을 지원할 수 있는가?
• RQ2 계층화된 지식론적 논리 프로그램이 유일하고 일관된 세계 시각을 갖기 위한 조건은 무엇인가?
• RQ3 분할 집합 정리는 지식론적 사양에 적응시켜 효율적인 세계 시각 계산을 가능하게 할 수 있는가?
• RQ4 계층화는 지식론적 논리 프로그램에서 분할 집합과 어떻게 관련되어 있으며, 어떤 구조적 성질을 강제하는가?
• RQ5 분할 집합과 제한된 재귀를 활용해 지식론적 논리 프로그램의 부분집합에 대한 세계 시각 계산을 위한 알고리즘적 접근은 무엇인가?

주요 결과

• 논문은 객관적 리터럴과 주관적 리터럴을 모두 고려한 지식론적 사양을 위한 새로운 분할 집합 정의를 도입한다.
• 확장된 분할 집합 정리가 증명되었으며, 이는 지식론적 논리 프로그램을 더 작은 구성 요소로 분해하여 모듈화된 세계 시각 계산을 가능하게 한다.
• 계층화된 지식론적 논리 프로그램은 $U_i = \bigcup_{j=0}^i \pi_j$의 집합이 유효한 분할 집합을 이룰 때 성립한다.
• 안전하고 계층화된 지식론적 논리 프로그램의 세계 시각을 점진적으로 계산하기 위한 단계별 알고리즘을 개발하였다.
• 프로그램이 빈 집합과 모든 분할 집합에 대해 안전할 경우, 이러한 프로그램의 세계 시각은 반드시 유일하고 일관되게 보장된다.
• 이 방법은 세계 시각 계산을 확장된 분할 논리 프로그램(EDLPs)의 믿음 집합 계산으로 환원하여, 기존의 답변 집합 솔버(DLV)와의 통합을 가능하게 한다.