格值模糊描述逻辑L-ALCN的Duquenne-Guigues基

描述逻辑和形式概念分析都是以概念为基础的形式系统,在处理信息方面它们各有优缺点,近年来,研究者们将两者结合在一起,取长补短.本文将形式概念分析的方法引入描述逻辑,研究了格值模糊描述逻辑系统L-ALCN模型的Duquenne-Guigues基问题.首先介绍了L-ALCN的语法、语义和形式概念分析的基本知识,根据L-ALCN的特点,重新定义了描述背景下内涵、伪内涵及有穷基底的理论框架,证明了L-ALCN系统中Duquenne-Guigues基底的存在性,给出了相应的算法并指出了L-ALCN中Duquenne-Guigues基底是可靠的、完备的和非冗余的.