RefereeToolbox 0.0.1 출시 증거 융합을 위한 범용 자바 라이브러리

RefereeToolbox 0.0.1은 증거 이론(또는 Dempster‑Shafer 이론)에서 사용되는 다양한 결합 연산자를 자바 환경에서 활용할 수 있도록 만든 오픈소스 라이브러리이다. 패키지는 세 가지 주요 구성 요소로 나뉜다. 첫 번째는 **논리적 표현 클래스**이며, 이는 GΘ 라는 완전 분배 격자 위에 정의된 파워셋, 자유 Boolean 대수, 슈퍼파워셋, 개방/폐쇄 하이퍼파워셋 등 다양한 집합 구조를 제네릭하게 구현한다. 이러한 구조는 `ArrayLattice`, `ArrayBoolean` 등 저수준 비트 배열 기반 구현을 통해 고속 집합 연산을 가능하게 한다. 사용자는 “make yours!” 라는 주석이 달린 부분을 참고해 자신만의 격자 구조를 추가할 수 있다. 두 번째는 **레프리 함수 클래스**이다. 레프리 함수는 s‑ary 함수 F(X | Y₁:ₛ; γ) 로 정의되며, 결합 규칙을 조건부 확률 가중치 형태로 표현한다. 현재 구현된 레프리 함수에는 Dempster‑Shafer, Disjunctive, Dubois‑Prade, PCR6, PCR# 등이 포함된다. 각 함수는 `F_DST`, `F_DISJ`, `F_DUB` 등 이름으로 구현돼 있으며, 새로운 결합 규칙을 정의하고 싶을 때는 동일 인터페이스에 맞춰 함수만 추가하면 된다. 세 번째는 **Basic Belief Assignment (BBA) 클래스**이며, 두 가지 결합 방법을 제공한다. 첫 번째는 **정확한 접근**으로, 모든 초점 원소를 열거하고 조합을 완전 탐색한다. 조합 수가 급증하는 경우를 대비해 “relaxation of focal elements” 기법을 도입해 초점 원소를 압축하거나 근사화한다. 두 번째는 **샘플링 기반 접근**으로, 확률적 샘플을 추출해 근사 결합을 수행한다. 이는 대규모 문제에서 메모리와 시간 요구량을 크게 낮춘다. 구현 세부 사항을 살펴보면, `ArrayBoolean` 은 `long