[논문 리뷰] Parametric Connectives in Disjunctive Logic Programming

Simona Perri, Nicola Leone|arXiv (Cornell University)|2003. 11. 07.

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

한 줄 요약

이 논문은 N-Coloring 문제와 같이 사전에 크기가 알려져 있지 않은 합성 및 논리합의 크기를 다룰 수 있도록, Disjunctive Logic Programming (DLP)을 개선한다. 이를 위해 매개변수화된 연결사(매개변수화된 OR 및 AND)를 도입하여 더 컴act하고 유연한 지식 표현을 가능하게 하며, 의미론적으로 엄밀하게 기반을 두어 지식 기반 추론 작업에서의 유용성을 입증한다.

ABSTRACT

this paper, we single out some limitations of DLP for KRR, which cannot naturally express problems where the size of the disjunction is not known "a priori" (like N-Coloring), but it is part of the input. To overcome these limitations, we further enhance the knowledge modelling abilities of DLP, by extending this language by Parametric Connectives (OR and AND). These connectives allow us to represent compactly the disjunction/conjunction of a set of atoms having a given property. We formally define the semantics of the new language, named DLP and we show the usefulness of the new constructs on relevant knowledge-based problems. We address implementation issues and discuss related works

연구 동기 및 목표

• Disjunctive Logic Programming (DLP)에서 논리합의 크기가 사전에 알려져 있어야 하는 한계를 해결한다.
• 해당 요소의 수가 입력의 일부인 지식 기반 문제의 자연스럽고 컴팩트한 표현을 가능하게 한다.
• 매개변수화된 연결사를 포함한 확장된 언어의 의미론을 공식적으로 정의하여 논리적 일관성을 확보한다.
• N-Coloring과 같은 대표적인 지식 표현 문제에서 확장의 실용적 유용성을 입증한다.
• 구현 고려사항을 다루고 기존 지식 표현 및 논리 프로그래밍 분야의 작업과 연관지어 제시한다.

제안 방법

• 매개변수화된 연결사인 매개변수화된 OR 및 AND를 도입하여, 공통된 성질을 공유하는 원자 집합을 대상으로 작동한다.
• 표준 DLP 의미론을 확장하여 매개변수화된 구조를 다룰 수 있도록 신규 언어의 의미론을 정의한다.
• DLP의 논리적 성질을 유지하면서도 가변 크기의 논리합 및 논리곱을 동적으로 처리할 수 있도록 의미론을 보장한다.
• 예를 들어 '그래프를 N개의 색으로 칠할 수 있는 색칠이 존재한다'와 같은 문장을 N이 변수일 때도 컴팩트하게 표현할 수 있도록 매개변수화된 연결사를 활용한다.
• 확장된 의미론에 기반한 추론을 위한 공식적 프레임워크를 제공하여 타당성과 완전성을 보장한다.
• 기존 DLP 실행 엔진에 이러한 구조를 통합하기 위한 구현 전략을 논의한다.

실험 결과

연구 질문

• RQ1 디자인 시점에 고정되어 있지 않은 논리합 또는 논리곱 요소의 수를 가진 문제를 DLP가 자연스럽게 표현할 수 있도록 어떻게 확장할 수 있는가?
• RQ2 DLP에서 매개변수화된 연결사를 위한 어떤 공식적 의미론을 정의할 수 있으며, 논리적 통일성과 추론 능력을 유지할 수 있는가?
• RQ3 매개변수화된 연결사는 DLP의 지식 표현에서 컴팩트성과 표현력에 얼마나 기여하는가?
• RQ4 새로운 구조는 N-Coloring과 같은 실제 지식 기반 문제에서 어떻게 성능을 발휘하는가?
• RQ5 기존 DLP 시스템에 매개변수화된 연결사를 통합할 때 실용적 영향과 구현 과제는 무엇인가?

주요 결과

• 매개변수화된 연결사의 도입으로, N-Coloring과 같이 크기가 동적으로 변하는 논리합 및 논리곱을 자연스럽고 컴팩트하게 표현할 수 있게 되었다.
• 확장된 언어의 공식적 의미론은 추론이 표준 DLP 원칙과 논리적으로 타당하고 일관되게 유지됨을 보장한다.
• 새로운 구조는 변수 크기의 제약 조건을 포함하는 지식 기반 문제에 대한 DLP의 표현력을 크게 향상시킨다.
• 이론적 확장 이상의 실용적 유용성을 입증하기 위해 관련 지식 기반 문제에서 효과적이며, 실용적 적용 가능성을 입증하였다.
• 구현 고려사항이 다뤄져, 기존 DLP 실행 프레임워크에 통합하는 것이 실현 가능하다는 것이 확인되었다.