循环描述逻辑系统FL 0 最大不动点模型的有穷基

发布时间：2024-07-09 00:22

　　描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短。文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻辑系统FL₀在最大不动点语义下有限模型的有穷基。在形式概念分析中,属性有限的形式背景都存在Duguenne-Guigues基,文章将循环FL₀的最大不动点模型作为描述背景,将FL₀概念作为属性,定义了描述背景下的属性蕴含,证明了循环描述逻辑系统FL₀的最大不动点模型也存在有穷基底。

【文章页数】：5 页

【文章目录】：
1 引言
2 预备知识
3 描述逻辑系统FL0的有穷基



本文编号：4004103