[논문 리뷰] Joint Tabling of Logic Program Abductions and Updates

Ari Saptawijaya, Luı́s Moniz Pereira|arXiv (Cornell University)|2014. 05. 08.

Semantic Web and Ontologies참고 문헌 24인용 수 5

한 줄 요약

이 논문은 XSB Prolog의 테이블링 기능을 활용하여 추론 논리 프로그래밍과 논리 프로그램 업데이트를 새로운 방식으로 통합함으로써, 유연한 업데이트의 질의 기반 전파를 효율적으로 가능하게 하면서도 다양한 맥락에서 추론 해답을 재사용할 수 있도록 한다. 주요 기여는 점진적 테이블링과 테이블링을 통한 추론을 함께 활용하는 통합 프로그램 변환 및 예약된 술어의 라이브러리를 제공함으로써 변화 상황 하에서 맥락적이고 일관되며 재사용 가능한 추론을 가능하게 한다.

ABSTRACT

Abductive logic programs offer a formalism to declaratively represent and reason about problems in a variety of areas: diagnosis, decision making, hypothetical reasoning, etc. On the other hand, logic program updates allow us to express knowledge changes, be they internal (or self) and external (or world) changes. Abductive logic programs and logic program updates thus naturally coexist in problems that are susceptible to hypothetical reasoning about change. Taking this as a motivation, in this paper we integrate abductive logic programs and logic program updates by jointly exploiting tabling features of logic programming. The integration is based on and benefits from the two implementation techniques we separately devised previously, viz., tabled abduction and incremental tabling for query-driven propagation of logic program updates. A prototype of the integrated system is implemented in XSB Prolog.

연구 동기 및 목표

• 가설적 추론(추론)과 지식 업데이트가 동시에 존재하는 동적 환경에서 맥락적이고 일관된 추론이 요구됨을 해결하기 위해.
• 기존 논리 프로그램에서 추론 해답을 다시 계산하고 업데이트를 별도로 전파하는 데서 비효율성이 발생하는 문제를 해결하기 위해.
• 기존의 두 기법—테이블링을 통한 추론과 업데이트를 위한 점진적 테이블링—을 하나의 상호보완적인 프레임워크로 통합하기 위해.
• 질의 기반의 시스템 수준 업데이트 전파를 가능하게 하면서도 다양한 맥락에서 추론 해답을 재사용할 수 있도록 하기 위해.
• 실시간 추론이 요구되는 지식 변화를 겪는 에이전트 시스템에 적용 가능한 실용적이고 확장 가능한 XSB Prolog 기반의 구현을 제공하기 위해.

제안 방법

• 기존 시스템의 이중 목적을 통합하기 위해 새로운 프로그램 변환 기법을 설계함: 부정된 목표 하에서 필요에 따라 추론을 내림차순으로 수행하고, 이중 보완 유연성의 상향식 점진적 전파를 가능하게 함.
• 예약된 술어의 라이브러리를 사용함: compute/6은 타임스탬프와 함께 유연성의 진리값을 질의하기 위한 것이고, verify_holds/4는 시간과 상태 기반으로 진리값을 검증하기 위한 것임.
• 테이블링을 통한 추론을 활용해 추론 해답을 캐시하고 재사용함으로써, 동일한 하위목표가 다시 나타날 경우 재계산을 방지함.
• 점진적 테이블링을 통해 유연성의 업데이트가 필요할 때만 상향식으로 전파되도록 보장함. 이는 최상위 질의에 의해 트리거됨.
• XSB Pro로그의 답변 포함 및 점진적 업데이트 지원 기능을 활용해 일관성을 유지하고 중복 계산을 최소화함.
• 필요에 따라 트라이 데이터 구조를 사용한 이중 규칙 구축 메커니즘을 도입하여 추론 맥락을 효율적으로 관리함. 이는 Tabdual와 유사함.

실험 결과

연구 질문

• RQ1 어떻게 추론 논리 프로그램과 논리 프로그램 업데이트를 효과적으로 통합하여 변화 상황 하에서의 추론을 지원할 수 있는가?
• RQ2 테이블링 메커니즘을 함께 활용해 추론과 업데이트 전파의 효율성을 향상시킬 수 있는가?
• RQ3 업데이트 발생 시 다양한 맥락 간에 추론 해답을 얼마나 효과적으로 재사용할 수 있는가?
• RQ4 모든 가능한 상태를 사전에 계산하지 않고도 질의 기반의 점진적 업데이트 전파를 어떻게 달성할 수 있는가?
• RQ5 테이블링을 통한 추론과 점진적 업데이트를 동시에 지원할 수 있는 통합 프로그램 변환 및 술어 라이브러리를 하나의 시스템에서 설계할 수 있는가?

주요 결과

• 테이블링을 통한 추론과 점진적 테이블링을 통한 업데이트를 성공적으로 통합하여 변화가 있는 지식 환경에서 효율적이고 맥락 민감한 추론이 가능해짐.
• 다양한 질의 간에 추론 해답이 재사용되어 중복 계산이 감소하고, 다중 질의 환경에서 성능 향상이 이루어짐.
• 유연성의 업데이트가 필요에 따라만 전파되며, 이는 시스템 수준의 효율성과 일관성을 보장함.
• 단일 프로그램 변환과 공유된 예약 술어 라이브러리를 사용함으로써 구현이 단순화되고 모듈성이 향상됨.
• 시스템 테이블 검사를 통해 최신 유연성의 진리값과 타임스탬프에 직접 접근할 수 있어 정밀한 시간 기반 추론이 가능함.
• XSB Prolog 기반의 프로토타입 구현은 실현 가능성을 입증하였으며, 가설적, 반가정적, 윤리적 추론이 요구되는 에이전트 시스템에의 도입을 위한 길을 열어줌.