변수 망각을 통한 지식 추론

초록

이 논문은 지식 구조라는 단순 모델 안에서 변수 망각을 이용해 에이전트의 지식과 공통 지식을 형식화한다. 관측 변수와 최약 충분조건 개념을 핵심으로 삼아, 배경 지식과 결합해 에이전트가 어떤 명제를 안다는 것을 정의하고, 공공 발표 연산자와의 연계도 제시한다. 복잡도 분석을 통해 일반 경우는 PSPACE‑hard이지만 특정 경우는 co‑NP 수준으로 낮아진다.

상세 분석

논문은 먼저 기존의 다중 에이전트 S5 Kripke 구조가 표현력은 충분하지만 상태 수가 급격히 늘어나는 단점을 지적한다. 이를 보완하기 위해 ‘지식 구조(knowledge structure)’라는 새로운 프레임워크를 도입한다. 지식 구조는 (i) 전역 배경 지식 베이스 Γ, (ii) 각 에이전트 i가 관찰할 수 있는 변수 집합 O_i 로 정의된다. 핵심 연산은 변수 망각(forgetting)이며, 이는 논리식 φ에서 특정 변수 집합 V를 제거하면서 φ와 동등한 정보를 유지하는 가장 약한 논리식 ψ를 생성한다. 이 ψ는 ‘최약 충분조건(weakest sufficient condition, WSC)’이라고 불린다.

에이전트 i가 명제 α를 안다는 표현 K_i α는 Γ 아래에서 O_i에 대한 WSC 로서 정의된다. 즉, Γ∪WSC(O_i,α) ⊨ α 를 만족하는 가장 약한 ψ가 존재한다면 K_i α가 성립한다. 이 정의는 직관적으로 “i가 관찰할 수 있는 변수만을 가지고 α를 확신한다”는 의미를 담는다. 공통 지식 C_G α (G는 에이전트 집합)는 각 에이전트의 관측 변수 집합을 모두 합친 O_G에 대해 반복적인 WSC 적용을 통해 일반화된 WSC로 기술된다.

공공 발표 연산자