描述邏輯和形式概念格都是以概念為基礎(chǔ)的形式系統(tǒng),它們都有各自的優(yōu)缺點(diǎn),近年來人們開始將兩者結(jié)合起來,取長補(bǔ)短。文中將形式概念分析的方法引入描述邏輯,研究了循環(huán)描述邏輯系統(tǒng)FL₀在最大不動(dòng)點(diǎn)語義下有限模型的有窮基。在形式概念分析中,屬性有限的形式背景都存在Duguenne-Guigues基,文章將循環(huán)FL₀的最大不動(dòng)點(diǎn)模型作為描述背景,將FL₀概念作為屬性,定義了描述背景下的屬性蘊(yùn)含,證明了循環(huán)描述邏輯系統(tǒng)FL₀的最大不動(dòng)點(diǎn)模型也存在有窮基底。

【文章頁數(shù)】：5 頁

【文章目錄】：
1 引言
2 預(yù)備知識(shí)
3 描述邏輯系統(tǒng)FL0的有窮基



本文編號(hào)：4004103