發(fā)布時間：2024-07-09 00:22

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

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

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



本文編號：4004103