循环描述逻辑系统FL0最大不动点模型的有穷基
描述逻辑和形式概念格都是以概念为基础的形式系统,它们都有各自的优缺点,近年来人们开始将两者结合起来,取长补短.文中将形式概念分析的方法引入描述逻辑,研究了循环描述逻辑系统FL0在最大不动点语义下有限模型的有穷基.在形式概念分析中,属性有限的形式背景都存在Duguenne-Guigues基,文章将循环FL0的最大不动点模型作为描述背景,将FL0概念作为属性,定义了描述背景下的属性蕴含,证明了循环描述逻辑系统FL0的最大不动点模型也存在有穷基底.
描述逻辑、形式概念分析、属性探测、有穷基
47
TP181(自动化基础理论)
贵州省教育厅自然科学基金项目;贵州省科学技术基金资助项目;黔南民族师范学院一般项目
2020-12-03(万方平台首次上网日期,不代表论文的发表时间)
共5页
92-96