전이표 없이 시간 추론하기: S‑언어 모델의 혁신

초록

본 논문은 질적 시간 정보를 ‘선행(precedence)’과 ‘동시(simultaneity)’ 두 관계만으로 표현하는 S‑언어(S‑languages) 체계를 제안한다. 기존의 Allen·Vilain 등에서 사용되는 전이표(transitive tables)나 추론 규칙 없이, 형식 언어의 교집합·셔플·투사 연산을 이용해 이진 관계의 합성 및 일관성 검증을 수행한다. 논문은 형식 언어 이론와 Delannoy 경로를 활용한 수학적 기반을 제시하고, Allen의 불가능한 폐쇄망과 Manna‑Pnuelli 자원 할당 문제 두 사례를 통해 모델의 실용성을 입증한다.

상세 분석

이 논문은 질적 시간 추론에서 가장 큰 병목 중 하나인 전이표의 구축·관리 문제를 근본적으로 회피한다는 점에서 학술적·실용적 의의가 크다. 먼저 저자는 전통적인 점‑기반·구간‑기반 알제브라가 ‘이진 관계 집합’을 제시하고, 이 관계들의 조합을 전이표에 의해 사전 계산한다는 사실을 지적한다. 전이표는 관계 수가 늘어날수록 차원 폭발을 일으키며, 불완전·불확정 지식이 포함될 때는 표의 완전성을 보장하기 어렵다.

S‑언어는 알파벳 X 위에 2^X−∅ 로 구성된 S‑알파벳을 도입함으로써 ‘동시’를 하나의 문자(예: {a,b})로 표현한다. S‑단어는 이러한 S‑문자들의 순열이며, 각 문자 내부의 원소 집합은 동시에 발생하는 사건을 의미한다. 핵심 연산은 세 가지이다.

1. 교집합(Intersection) – 두 S‑언어가 동시에 만족해야 하는 제약을 표현한다.
2. 셔플(Shuffle, 여기서는 S‑셔플) – 두 사건 흐름을 시간축 상에서 가능한 모든 interleaving을 생성한다. 정의에 따라 각 위치에 최대 하나의 원소만 배치하되, 동시에 발생하는 사건은 같은 S‑문자에 포함시켜 ‘동시’를 보존한다.
3. 투사(Projection) – 특정 사건 집합을 제외하거나 집중하기 위해 S‑문자에서 원소를 제거한다. 이는 전통적 언어 이론의 모노이드 사상으로 구현된다.

이 세 연산은 전이표가 수행하던 ‘관계 합성’ 역할을 완전히 대체한다. 예를 들어, A precedes B와 B simultaneous C 라는 제약은 S‑언어 L1 = {a}{b} 와 L2 = {{b,c}} 로 표현하고, L = L1 ∩