비그라운드 논리 프로그램을 자동인식 논리로 임베딩하여 지식베이스 결합

초록

본 논문은 비그라운드(변수 포함) 정상 및 이분 논리 프로그램을 일차 자동인식 논리(FO‑AEL)로 임베딩하는 여섯 가지 방법을 제시하고, 각 임베딩이 안정적 모델과 목표 원자 집합에 대해 동일한 의미를 유지함을 증명한다. 그러나 비원자식 공식이나 일차 이론과 결합했을 때는 차이가 발생한다. 저자는 이러한 차이를 정량적으로 분석하고, 어떤 상황에서 어떤 임베딩을 선택해야 하는지 가이드라인을 제공한다.

상세 분석

논문은 먼저 시맨틱 웹에서 온톨로지(FO 이론)와 규칙 기반(논리 프로그램)의 통합 필요성을 강조한다. 기존의 조합 방식은 규칙을 FO 로 변환하거나 상호작용을 제한하는데, 자동인식 논리(AEL)는 비단일 모드 연산자 ‘L’을 도입해 비단조적 추론을 자연스럽게 표현한다는 점에서 매력적이다. 저자는 기존 연구가 주로 명제 수준에 머물렀던 것을 확장하여, 변수와 함수 기호를 포함하는 비그라운드 프로그램을 FO‑AEL에 삽입하는 세 가지 정상 프로그램 임베딩(τ_HP, τ_EB, τ_EH)과 세 가지 이분 프로그램 임베딩(τ_∨HP, τ_∨EB, τ_∨EH)을 정의한다.

각 임베딩은 프로그램 규칙을 ‘L’ 연산자를 이용해 “가능성” 혹은 “필요성” 형태로 재작성한다. 예를 들어, 정상 규칙 a ← b, not c는 τ_HP에서는 L b → a ∧ ¬L c → a와 같이 변환된다. 이때 ‘L’은 “이 공식이 믿음(확신)으로 받아들여진다”는 의미이며, 비단조적 부정은 ‘not’을 ‘¬L’으로 대체한다.

핵심 정리는 모든 임베딩이 객관적(ground) 원자에 대해서는 동일한 안정적 모델 집합을 생성한다는 것이다(정리 5.3). 즉, 원자 수준에서는 변환이 의미론적으로 보존된다. 그러나 비원자식 복합식(예: L a ∨ b, ¬L (p ∧ q))에 대해서는 임베딩마다 결과가 달라진다. 이는 특히 FO 이론과 결합할 때 중요한데, 어떤 임베딩은 이론의 추론에 더 강하게 영향을 주고, 어떤 임베딩은 보다 보수적으로 동작한다.

논문은 세 가지 프로그램 클래스(그라운드, 안전(safe), 임의(arbitrary))에 대해 임베딩 간 포함 관계와 동등성을 체계적으로 조사한다. 정리 5.14‑5.15는 예를 들어 τ_HP와 τ_EB가 안전 프로그램에 대해 동일한 비원자식 결과를 제공하지만, 일반적인 임의 프로그램에서는 τ_EH가 더 강한 추론을 허용한다는 것을 보여준다.

다음으로, FO 이론과의 결합을 다루며, 이론의 형태(Horn, universal, 일반 Horn)와 프로그램의 형태에 따라 임베딩 간 동등성 조건을 제시한다. 주요 결과인 정리 6.2는 “Horn 이론 + 안전 프로그램” 경우 τ_HP와 τ_EB가 완전히 동등하고, “일반 Horn 이론 + 임의 프로그램”에서는 τ_EH만이 완전한 결합 의미를 제공한다는 것을 밝힌다.

실제 시맨틱 웹 사례를 통해, RDF/OWL 온톨로지와 비단조 규칙을 결합할 때 어떤 임베딩을 선택해야 하는지 구체적인 지침을 제시한다. 예컨대, 온톨로지에 존재하는 부정적 사실을 규칙이 활용하도록 하려면 ‘L’ 연산자를 명시적으로 포함하는 τ_EH가 적합하고, 반대로 온톨로지와 규칙을 독립적으로 유지하고 싶다면 τ_HP가 더 안전하다.

전반적으로 논문은 비그라운드 논리 프로그램을 FO‑AEL에 삽입하는 체계적 방법론을 제공하고, 각 방법의 논리적 강점과 약점을 정량적으로 분석함으로써, 지식베이스 결합 설계 시 올바른 임베딩 선택을 지원한다.