지식베이스 동등성 검증을 위한 대수적 모델 접근

초록

본 논문은 Plotkin 부부가 제시한 형식적 지식베이스 정의를 기반으로, 유한 모델 위에 정의된 지식베이스들의 정보적 동등성을 검증하는 알고리즘을 제시한다. 자동동형(automorphic) 동등성 개념을 확장하여 다중모델(multi‑model)까지 일반화하고, 동등성 판정 기준을 정리한다.

상세 분석

이 연구는 지식베이스(KB)의 동등성 검증이라는 실용적 문제를 대수적 모델 이론에 정착시킨 점에서 학문적 의의가 크다. 기존의 KB는 비형식적 정의에 머물러 알고리즘적 비교가 불가능했으나, Plotkin B·T.가 제시한 ‘알고리즘적 지식베이스(algorithmic knowledge base)’ 정의를 채택함으로써 모델‑이론적 구조를 명시한다. 논문은 먼저 모델 M=(D, F, R)와 그 위에 정의된 서술 집합 Σ를 통해 KB를 (M, Σ) 형태로 표현한다. 여기서 D는 도메인, F는 함수 기호 집합, R은 관계 기호 집합이며, Σ는 일차 논리식들의 유한 집합이다.

핵심 개념인 자동동형(automorphic) 동등성은 두 모델 M₁, M₂ 사이에 전단사 φ:D₁→D₂가 존재하여 φ가 모든 함수와 관계를 보존하고, 동시에 Σ₁과 Σ₂가 φ에 의해 일대일 대응함을 의미한다. 이는 전통적인 동형(isomorphism) 개념에 ‘서술 보존’이라는 추가 제약을 부여한 형태이며, 정보적 동등성(informational equivalence)의 충분조건이 된다. 논문은 이 자동동형 관계를 다중모델(multi‑model)로 확장한다. 다중모델은 동일한 도메인 위에 여러 개의 서술 집합 {Σᵢ}₍ᵢ∈I₎를 두어, 각 서술 집합이 서로 다른 관점이나 애플리케이션 레이어를 나타낸다. 다중모델 간 자동동형은 모든 인덱스 i에 대해 φ가 Σᵢ와 대응되는 Σ′ᵢ를 보존하도록 요구한다.

유한 모델에 한정했을 때, 자동동형 검증은 전산적으로 구현 가능함을 보인다. 구체적으로, 도메인 크기 n이 주어지면 모든 전단사 φ∈Sₙ를 열거하고, 각 φ에 대해 함수·관계 보존 여부와 서술 집합 매핑을 O(n·|F|+n²·|R|+|Σ|) 시간 안에 검사한다. 이를 기반으로 제시된 알고리즘은 다음 단계로 구성된다: (1) 입력 모델과 서술 집합 파싱, (2) 후보 전단사 생성, (3) 구조 보존 검사, (4) 서술 보존 검사, (5) 성공 시 동등성 판정, (6) 실패 시 부정 판정. 시간 복잡도는 최악의 경우 O(n!·poly(n))이지만, 실제 데이터베이스나 온톨로지에서는 도메인 크기가 제한적이므로 실용적이다.

또한 논문은 자동동형 동등성이 ‘정보적 동등성’의 필요충분조건임을 정리하고, 동등성 판정 기준을 정리한다. 두 KB가 자동동형이면, 어느 하나를 다른 것으로 완전히 대체할 수 있음을 보이며, 이는 지식 통합, 마이그레이션, 버전 관리 등에 직접 적용 가능하다. 마지막으로, 다중모델에 대한 일반화는 복합 지식 시스템(예: 멀티‑모달 데이터베이스, 다중 온톨로지)에서 부분적 동등성 검증을 가능하게 하며, 향후 연구 방향으로 자동동형 탐색을 히스토그램 기반 근사나 SAT/SMT 솔버와 결합하는 방법을 제시한다.