循環(huán)描述邏輯系統(tǒng)FL 0 最大不動點模型的有窮基
發(fā)布時間：2024-07-09 00:22
描述邏輯和形式概念格都是以概念為基礎的形式系統(tǒng),它們都有各自的優(yōu)缺點,近年來人們開始將兩者結合起來,取長補短。文中將形式概念分析的方法引入描述邏輯,研究了循環(huán)描述邏輯系統(tǒng)FL0在最大不動點語義下有限模型的有窮基。在形式概念分析中,屬性有限的形式背景都存在Duguenne-Guigues基,文章將循環(huán)FL0的最大不動點模型作為描述背景,將FL0概念作為屬性,定義了描述背景下的屬性蘊含,證明了循環(huán)描述邏輯系統(tǒng)FL0的最大不動點模型也存在有窮基底。
【文章頁數(shù)】：5 頁
【文章目錄】：
1 引言
2 預備知識
3 描述邏輯系統(tǒng)FL0的有窮基
本文編號：4004103
【文章頁數(shù)】：5 頁
【文章目錄】：
1 引言
2 預備知識
3 描述邏輯系統(tǒng)FL0的有窮基
本文編號：4004103
本文鏈接：http://lk138.cn/kejilunwen/yysx/4004103.html
上一篇：高等代數(shù)課程案例庫建設研究——以“線性方程組”教學案例為例
下一篇：沒有了
下一篇：沒有了
最近更新
教材專著
