| 格值模糊描述逻辑L-ALCN的Duquenne-Guigues基 |
| |
| 引用本文： | 张维,;李佳,;聂登国. 格值模糊描述逻辑L-ALCN的Duquenne-Guigues基[J]. 毕节师范高等专科学校学报, 2014, 0(4): 13-22 |
| |
| 作者姓名： | 张维, 李佳, 聂登国 |
| |
| 作者单位： | [1]黔南民族师范学院,贵州558000; [2]北京大学南宁实验中学,广西530000; [3]毕节学院,贵州551700 |
| |
| 基金项目： | 贵州省教育厅自然科学基金资助项目“含循环术语集描述逻辑系统的推理机制研究”成果之一,项目编号：黔教科20090047;贵州省科学技术自然科学基金资助项目“带循环定义描述逻辑系统推理机制及其有限模型的有穷基”成果之一,项目编号：黔科合J字[2012]2310;贵州省科技厅联合基金项目“量子自动机的状态复杂性”成果之一,项目编号：黔科合J字LKB[2012]10号;贵州省2013年度贵州省科技厅、毕节市科技局、毕节学院科技联合基金计划项目“轻量级描述逻辑的保守扩充”成果之一,项目编号：黔科合J字LKB[2013123号. |
| |
| 摘 要： | 描述逻辑和形式概念分析都是以概念为基础的形式系统,在处理信息方面它们各有优缺点,近年来,研究者们将两者结合在一起,取长补短.本文将形式概念分析的方法引入描述逻辑,研究了格值模糊描述逻辑系统L-ALCN模型的Duquenne-Guigues基问题.首先介绍了L-ALCN的语法、语义和形式概念分析的基本知识,根据L-ALCN的特点,重新定义了描述背景下内涵、伪内涵及有穷基底的理论框架,证明了L-ALCN系统中Duquenne-Guigues基底的存在性,给出了相应的算法并指出了L-ALCN中Duquenne-Guigues基底是可靠的、完备的和非冗余的.
|
| 关 键 词： | 描述背景 伪内涵 属性蕴涵 基底 |
Duquenne-Guigues Bases of Lattice-Valued Fuzzy Descriptive Logic L-ALCN |
| |
| Affiliation: | ZHANGWei, LI Jia, NIE Deng-guo (1.Qiannan Normal College for Nationalities, Duyun, Guizhou558000, China; 2.Guangxi Nanning Experimental Middle School of Peking University, Nanning, Guangxi530000, China; 3. School of Science, Bijie University,Bijie, Guizhou551700,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 等数据库收录！ |
|
