本文主要包含以下內容:
引入抽象CI框架的概念,以及與之相關的基本代數運算,如複製、邊際化等。對於閉合於交集運算的CI框架,相應的CI模型族形成一個有限格。
介紹格理論和形式概念分析的相關概念,包括不可約元素、偽閉包、蘊含關係等,並說明如何利用這些工具來描述CI模型族。
定義相對於CI框架的自抽附性概念,並引入相應的自抽附性算子。這個算子可以從一個CI框架導出一個更緊湊的外近似框架。
提出了一種基於組合方法的計算方法,可以克服基於多面體幾何的軟件包在內存和空間方面的限制,特別是利用SAT求解器。
對4個變量的一些基本CI模型族進行了特徵描述,並將方法應用於5個變量的信息熵區域劃分問題。
總的來說,本文提出了一種新的抽象代數方法來研究CI模型,並展示了其在計算方面的優勢。
翻译成其他语言
从原文生成
arxiv.org
更深入的查询