毕节学院学报
畢節學院學報
필절학원학보
JOURNAL OF BIJIE UNIVERSITY
2014年
4期
13-22
,共10页
描述背景%伪内涵%属性蕴涵%基底
描述揹景%偽內涵%屬性蘊涵%基底
묘술배경%위내함%속성온함%기저
描述逻辑和形式概念分析都是以概念为基础的形式系统,在处理信息方面它们各有优缺点,近年来,研究者们将两者结合在一起,取长补短.本文将形式概念分析的方法引入描述逻辑,研究了格值模糊描述逻辑系统L-ALCN模型的Duquenne-Guigues基问题.首先介绍了L-ALCN的语法、语义和形式概念分析的基本知识,根据L-ALCN的特点,重新定义了描述背景下内涵、伪内涵及有穷基底的理论框架,证明了L-ALCN系统中Duquenne-Guigues基底的存在性,给出了相应的算法并指出了L-ALCN中Duquenne-Guigues基底是可靠的、完备的和非冗余的.
描述邏輯和形式概唸分析都是以概唸為基礎的形式繫統,在處理信息方麵它們各有優缺點,近年來,研究者們將兩者結閤在一起,取長補短.本文將形式概唸分析的方法引入描述邏輯,研究瞭格值模糊描述邏輯繫統L-ALCN模型的Duquenne-Guigues基問題.首先介紹瞭L-ALCN的語法、語義和形式概唸分析的基本知識,根據L-ALCN的特點,重新定義瞭描述揹景下內涵、偽內涵及有窮基底的理論框架,證明瞭L-ALCN繫統中Duquenne-Guigues基底的存在性,給齣瞭相應的算法併指齣瞭L-ALCN中Duquenne-Guigues基底是可靠的、完備的和非冗餘的.
묘술라집화형식개념분석도시이개념위기출적형식계통,재처리신식방면타문각유우결점,근년래,연구자문장량자결합재일기,취장보단.본문장형식개념분석적방법인입묘술라집,연구료격치모호묘술라집계통L-ALCN모형적Duquenne-Guigues기문제.수선개소료L-ALCN적어법、어의화형식개념분석적기본지식,근거L-ALCN적특점,중신정의료묘술배경하내함、위내함급유궁기저적이론광가,증명료L-ALCN계통중Duquenne-Guigues기저적존재성,급출료상응적산법병지출료L-ALCN중Duquenne-Guigues기저시가고적、완비적화비용여적.