대체가능성 강화 파라콘시스턴트 신념 수정과 인식적 고착도

초록

본 논문은 기존 LFI 기반 파라콘시스턴트 신념 수정(Paraconsistent Belief Revision)에서 결여되던 ‘대체가능성(replacement)’ 속성을 보완하기 위해 Cbr 논리를 체계화하고, 이를 확장한 RCbr을 제안한다. RCbr은 자기‑외연(self‑extensional) 특성을 갖추어 논리적 동등식이 모든 문맥에서 교체 가능하도록 하며, 이를 통해 일관성 연산자 ◦와 부정 연산자 ¬가 논리적 동등성을 보존한다. 이러한 논리적 기반 위에 인식적 고착도(epistemic entrenchment)를 정의하고, 고착도 기반 신념 수용·수정 연산자를 구축함으로써 파라콘시스턴트 환경에서도 AGM‑style 신념 수정 메커니즘을 완전하게 구현한다.

상세 분석

논문은 먼저 파라콘시스턴트 신념 수정(PBR)의 핵심 문제를 짚는다. 기존 LFI(Logic of Formal Inconsistency)들은 일관성 연산자 ◦를 도입해 모순을 국소화하고 비트리비얼하게 유지하지만, 대부분이 ‘대체가능성(replacement)’을 만족하지 못한다. 대체가능성은 “동등한 두 공식은 어떤 문맥에서도 서로 교체해도 추론 결과가 변하지 않는다”는 메타논리적 성질로, AGM 이론에서 요구되는 신념의 순위화와 고착도 정의에 필수적이다.

이를 해결하기 위해 저자들은 먼저 Cbr 논리를 재정의한다. Cbr은 기존 mbC(최소 LFI)와 동일한 기본 공리들을 갖지만, 일관성 연산자에 대한 특별한 공리(Ax 12)와 그 변형(Ax 15)을 통해 ◦α와 ◦¬α가 동등함을 보장한다. 또한 α≡β 및 ¬α≡¬β이면 ◦α≡◦β가 성립하도록 설계돼, 일관성 연산자가 논리적 동등성을 보존한다는 중요한 성질을 갖는다. 이러한 성질은 ‘강한 수용(strong acceptance)’과 ‘강한 거부(strong rejection)’라는 두 가지 새로운 인식적 태도를 정의하는데 직접 활용된다.

다음 단계에서는 Cbr에 ‘대체가능성’을 부여한 RCbr을 제시한다. RCbr은 자기‑외연(self‑extensional) 논리로, 모든 공식 φ(p₁,…,pₙ)와 동등한 전제 집합을 교체해도 φ의 의미가 변하지 않는다(R 규칙). 이를 위해 전역 추론 규칙(E ¬)와(E ◦)를 도입하는데, Cbr에서는 (E ◦)가 (E ¬)로부터 유도되므로 실제로는 (E ¬)만 추가하면 된다. 결과적으로 RCbr은 BALFI(Boolean Algebra with LFI operators)라는 대수적 구조 위에서 완전성·음성성을 보이며, ◦와 ¬가 각각 부정 연산자와 일관성 연산자로서 대체가능성을 만족한다.

RCbr 위에서 인식적 고착도는 전통적인 AGM 고착도와 유사하게 정의된다. 고착도는 ‘신념이 얼마나 변하기 어려운가’를 순위화하는 관계이며, RCbr의 대체가능성 덕분에 고착도 기반 연산자(수용, 수축, 확장, 수정)가 논리적 동등식에 대해 불변성을 유지한다. 즉, 동등한 전제 집합을 가진 두 신념 체계는 동일한 고착도 구조를 공유한다. 이를 통해 저자들은 파라콘시스턴트 환경에서도 ‘강한 수용’과 ‘강한 거부’가 고착도에 의해 보호되는 AGM‑style 신념 수정 메커니즘을 정형화한다.

기술적 기여는 크게 네 가지로 요약된다. 첫째, Cbr의 공리 체계와 N‑matrix 의미론을 상세히 제시하고, 완전성·음성성을 증명한다. 둘째, Cbr에서 ◦α≡◦¬α 및 ◦α≡◦β(α≡β, ¬α≡¬β)라는 두 핵심 대칭성을 입증한다. 셋째, RCbr을 통해 대체가능성을 확보하고, 이를 BALFI 대수적 모델에 매핑함으로써 자기‑외연성을 보장한다. 넷째, 이러한 논리적 기반 위에 인식적 고착도와 고착도 기반 신념 수정 연산자를 정의하여, 파라콘시스턴트 논리에서도 AGM 이론의 핵심 메커니즘을 완전하게 구현한다.

전체적으로 논문은 파라콘시스턴트 신념 수정 분야에서 ‘대체가능성’이라는 구조적 결함을 메우고, 고착도 기반 순위화와 AGM‑style 연산자를 제공함으로써 이론적·실용적 확장을 가능하게 만든다. 이는 모순을 허용하면서도 신념 체계의 안정성을 유지하려는 인공지능, 다중 에이전트 시스템, 법률·윤리적 추론 등 다양한 응용 분야에 중요한 토대를 제공한다.