Horn 논리에서 부분교차·커널·인프라 수축의 연계와 적용

초록

본 논문은 Horn 논리에서 기존의 부분교차 수축이 과도하게 강력함을 보이고, 이를 보완하기 위해 인프라 수축이라는 새로운 기본 수축 방식을 제안한다. 인프라 수축은 완전 명제 논리의 볼록성 성질을 차용하여 정의되며, Horn 논리의 신념 집합에 적용했을 때 Hansson의 커널 수축과 동등함을 증명한다. 또한 신념 기반(베이스) 차원에서의 동일성 결과를 통해 Horn 신념 변화가 신념 집합 변화와 신념 기반 변화의 혼합 형태임을 뒷받침한다. 최종적으로 핵심 유지(postulate) 변형을 포함하는 Horn 신념 집합 수축에 대한 표현 정리를 제공한다.

상세 분석

이 연구는 Horn 논리라는 제한된 표현력의 논리체계에서 신념 수축 연산을 재검토한다. 기존의 부분교차(partial‑meet) 수축은 전통적인 전제(전제 집합이 완전 명제 논리를 포함) 하에서 강력한 일관성 보장을 제공하지만, Horn 논리에서는 이 방식이 지나치게 제한적이라는 점을 논증한다. 구체적으로, Horn 절의 구조적 특성(전제와 결론이 모두 양성 리터럴로 구성) 때문에 부분교차가 생성하는 잔여 집합(remainder set)이 충분히 다양하지 않아, 기대되는 수축 결과를 모두 포착하지 못한다. Delgrande가 제시한 “orderly maxichoice”가 Horn 논리에 적합하다는 가설은 이러한 제한을 극복하려는 시도였으나, 저자들은 실제로는 더욱 일반적인 “infra contraction”이 필요함을 보인다.

Infra contraction은 완전 명제 논리에서 나타나는 볼록성(convexity) 속성을 Horn 논리에도 적용한 개념이다. 볼록성은 두 잔여 집합 사이에 포함 관계가 성립하면 그 사이의 모든 집합도 잔여 집합에 포함된다는 성질을 말한다. 이를 기반으로 정의된 인프라 잔여 집합(infra remainder set)은 기존 부분교차 잔여 집합의 상위(또는 하위) 집합을 허용함으로써, Horn 논리의 제한된 구조에서도 충분히 풍부한 수축 결과를 생성한다.

핵심적인 기여는 두 단계의 동등성 증명이다. 첫째, Horn 신념 집합에 대한 인프라 수축이 Hansson의 커널 수축(kernel contraction)과 정확히 일치함을 보인다. 여기서 커널 수축은 신념 집합의 최소 불일치 핵심(핵심 집합, kernel)을 찾아 이를 제거하는 방식이며, 전통적으로 전제 논리에서만 논의되었다. 둘째, 신념 기반(belief base) 차원에서 인프라 수축과 커널 수축이 동일한 결과를 낸다는 점을 증명한다. 이 과정에서 신념 기반이 부분교차보다 더 유연하게 작동함을 활용해, Horn 논리에서의 수축이 “하이브리드” 형태—즉, 신념 집합과 신념 기반의 장점을 모두 취한다는 가설을 실증한다.

또한, 이 동등성 결과를 이용해 Horn 신념 집합 수축에 대한 새로운 표현 정리를 제시한다. 기존의 핵심 유지(postulate)인 “Core‑retainment”를 Horn 논리에 맞게 변형한 형태가 도입되며, 이는 인프라 잔여 집합이 핵심을 보존하면서도 불필요한 신념을 최소화한다는 요구를 충족한다. 전체적으로 이 논문은 Horn 논리에서 신념 변화 이론을 확장하고, 기존의 수축 방법론이 갖는 한계를 명확히 드러내며, 보다 일반적이고 실용적인 수축 연산을 제시한다는 점에서 학술적·실용적 의의가 크다.