시간 기반 설명 논리를 이용한 행동과 계획 추론

초록

본 논문은 구간 기반의 시간 논리와 설명 논리(Description Logic)를 결합한 TL‑F 언어를 제안하고, 행동·계획을 시간적 관계로 표현한다. TL‑F의 포함 관계(서브섬션) 문제는 NP‑complete임을 증명하고, 더 강력한 TLU‑FU와 TL‑ALCF 확장에 대해서도 결정 가능성을 보이며 완전한 추론 절차를 제공한다.

상세 분석

이 논문은 전통적인 상태 변화 모델이 갖는 순간성 한계를 극복하기 위해, 행동을 ‘구간’ 위에서 발생하는 현상으로 모델링한다. 이를 위해 Allen의 구간 대수에 기반한 TL(Temporal Logic)과, 개념·특징·역할을 다루는 비시간적 DL인 F(Feature DL)를 결합한 TL‑F를 정의한다. TL‑F의 구문은 시간 변수와 구간 관계(전후, 겹침 등)를 이용해 “at”, “sometime”, “alltime” 같은 시간 한정자를 제공하며, 비시간적 부분은 ALC‑F와 유사하게 개념, 기능적 특징, 역할을 조합한다. 의미론은 두 층을 독립적으로 해석한 뒤, 시간 변수에 대한 제약을 만족시키는 구간 할당을 통해 전체 모델을 구성한다. 핵심 추론 과제는 서브섬션(포함) 판단이며, 저자는 이를 구간 네트워크의 일관성 검사와 DL 서브섬션 검사로 분해한다. 구간 네트워크는 다항 시간에 해결 가능한 CSP 형태이지만, 비시간적 DL 부분이 NP‑hard인 ALC‑F와 결합되면서 전체 문제는 NP‑complete가 된다. 논문은 이 복합 문제에 대한 완전하고 사운드한 판정 알고리즘을 제시하고, 복잡도 상한을 NP‑complete로 정확히 규정한다. 확장 언어인 TLU‑FU는 시간·비시간 양쪽에 논리합(∨)을 도입해 표현력을 높이며, TL‑ALCF는 역할(집합값 특징)과 완전한 명제 연산자를 추가한다. 두 확장 모두 결정 가능성을 유지하지만, 복잡도는 여전히 NP‑hard 수준이며, 저자는 각각에 맞는 변형된 서브섬션 계산 절차를 설계한다. 또한 동질성(homogeneity)과 지속성(persistence) 연산자를 도입해 ‘프레임 문제’를 부분적으로 해결하고, 행동의 부수 효과를 명시적으로 기술한다. 전체적으로 이 연구는 시간과 행동을 통합적으로 다루는 형식 논리 체계를 제시함으로써, 계획 인식·검색 시스템에 적용 가능한 이론적 기반을 제공한다.