격자 위의 신념 함수 일반화

본 논문은 신념 함수(belief function)의 정의와 주요 성질을 전통적인 부울 격자(2^Ω)에서 벗어나, 임의의 유한 격자 L 위로 일반화한다. 서론에서는 부울 격자 외에도 사건 집합이 완전한 격자를 형성하지 못하는 경우—예를 들어 관측 불가능한 사건, 비클래식 논리의 명제, 협동 게임에서 형성 불가능한 연합, 개념 분석에서 도출되는 격자 등—를 제시하며, 이러한 상황에서 신념 함수를 정의할 필요성을 강조한다. 2절에서는 격자 이론의 기본 개념을 정리한다. 부분순서(poset), 격자(L), 조인(j∨)·미트(j∧) 연산, 자동이중(auto‑dual) 격자, 조인·미트 불변원소(j∈J(L), m∈M(L)) 등을 정의하고, 하위분포와 상위분포, 원자(atom)와 코원자(co‑atom) 개념을 설명한다. 특히 하위분포가 존재하는 경우 원소는 조인 불변원소들의 최소(중복 없는) 합으로 유일하게 표현될 수 있음을 강조한다(Birkhöff 정리). 3절에서 핵심 개념인 De Morgan형 격자를 도입한다. 정의에 따르면, 전단사 n:L→L가 존재하여 n(x∨y)=n(x)∧n(y)와 n(⊤)=⊥를 만족하면 L은 De Morgan형이라 부른다. 이는 전통적인 보완 연산이 없더라도 ‘∨‑부정’이라는 형태의 대칭을 제공한다. Lemma 1을 통해 n은 또한 ∧‑부정을 정의하고, 조인 불변원소와 미트 불변원소를 서로 대응시킨다. Proposition 1은 De Morgan형 격자는 자동이중 격자와 동치임을 증명한다. 따라서 격자가 자동이중이면 Hasse 다이어그램을 뒤집어 얻는 대칭을 보완 연산으로 사용할 수 있다. 그 다음, 용량(capacity) 함수 v:L→