절차와 오라클을 결합한 정보 행동 모델링을 위한 TAPO 구조 설명 논리

초록

TAPO‑DL은 전통적인 T‑Box/A‑Box에 절차적 프로그램(P‑Box)과 외부 정보 연동(O‑Box)을 추가하고, 이를 부분 순서 집합 위의 쉐이프 이론으로 해석한다. 정보는 지역 섹션들의 일관된 결합으로 나타나며, 반복적인 상호작용을 통해 안정된 전역 섹션이 “진리”가 된다.

상세 분석

본 논문은 기존 설명 논리(DL)의 정적 한계를 극복하고, 정보 행동이라는 동적·상호작용적 현상을 형식화하기 위해 네 개의 레이어(T‑Box, A‑Box, P‑Box, O‑Box)를 도입한다.

1. 시그니처와 개념 언어는 ALC 기반이며, 컨텍스트 집합 U 를 추가해 각 개념이 특정 상황에서 어떻게 적용되는지를 명시한다. 이는 전통적인 전역 의미론과 달리, “@U” 표기법을 통해 지역적 진리를 표현한다.

2. P‑Box는 최소한의 명령형 언어를 제공한다. guard φ는 개념·관계·포함 관계에 대한 원자식으로 구성되고, 프로그램 구문은 skip, add β, del β, 순차, 조건, 반복을 포함한다. 빅스텝 의미론은 상태 Σ = (T, A)에서 명령 실행 후 새로운 A‑Box를 생성하는 방식으로 정의되며, while‑문이 비결정적(무한 루프 가능)인 점은 실제 정보 탐색의 개방성을 반영한다.

3. O‑Box는 외부 오라클과의 상호작용을 관계 J ⊆(T×A)×(T×A) 로 모델링한다. 여기서 전이의 정당성은 내부 추론이 아니라 API 응답, 인간 판단, 센서 데이터 등 외부 근거에 의해 보장된다. 이는 정보 시스템이 환경에 “열려 있음”을 형식적으로 나타낸다.

4. 쉐이프‑이론적 의미론은 컨텍스트를 부분 순서 집합 (U, ⊆) 위의 사이트로 보고, 각 개념 C를 그 위의 쉐이프로 해석한다. 제한 사상 ρ_UV는 컨텍스트가 좁아질수록 정보가 보존된다는 단조성을 보장한다. 지역 섹션들의 일관된 결합(글루잉)이 전역 섹션을 형성하고, 이를 “정보적 안정성”이라 정의한다.

5. 정보적 진리는 반복적인 에이전트‑구조 상호작용을 통해 동일한 전역 섹션이 지속적으로 재생성되는 현상으로 본다. 이는 전통적 진리(고정된 세계와의 일치)와 달리, 에이전트‑의존적이면서도 구조적 제약에 의해 임의성을 억제한다.

6. 예시는 센서 네트워크를 통해 설명된다. 원시 신호는 잠재적 구조 P에 존재하고, 에이전트가 반복적으로 패턴을 인식·삭제·추가하면서 “장애물 감지”와 같은 전역 섹션이 형성된다. 분산 센서들의 지역 섹션이 겹치는 부분에서 일치하면 글루잉이 가능하고, 이는 정보의 공동 존재와 진리를 의미한다.

핵심 기여는 (1) 설명 논리에 절차적·오라클 기반 동적 레이어를 체계적으로 통합, (2) 쉐이프 이론을 이용해 지역‑전역 정보 흐름을 수학적으로 모델링, (3) 정보 행동을 “공동 생성(co‑generative)” 과정으로 재해석함으로써, 불확실성과 맥락 의존성을 정형화한 점이다. 또한, P‑Box와 O‑Box의 형식적 정의는 기존 DL 시스템에 프로그래밍·외부 데이터 연동을 자연스럽게 삽입할 수 있는 기반을 제공한다. 향후 연구에서는 완전한 쉐이프‑이론 기반 구현, 복합 오라클 조합, 그리고 실시간 분산 시스템에의 적용이 제시된다.