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

摘要：

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

关键词：描述逻辑、形式概念分析、属性探测、有穷基

所属期刊栏目：47

分类号：TP181(自动化基础理论)

资助基金：贵州省教育厅自然科学基金项目;贵州省科学技术基金资助项目;黔南民族师范学院一般项目

在线出版日期：2020-12-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：92-96