软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2014年
6期
1255-1272
,共18页
模糊知识%矛盾否定%对立否定%中介否定%模糊命题逻辑
模糊知識%矛盾否定%對立否定%中介否定%模糊命題邏輯
모호지식%모순부정%대립부정%중개부정%모호명제라집
fuzzy knowledge%contradictory negation%opposite negation%medium negation%fuzzy propositional logic
在模糊知识表示与推理中,否定信息扮演了一个重要角色.从概念层面上区分了模糊知识中存在的3种否定关系,即矛盾否定关系、对立否定关系和中介否定关系.为了建立能够完全描述这些不同否定关系的逻辑基础,提出一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统 FLCOM.讨论了 FLCOM 特有的性质与意义,给出了 FLCOM 的一种语义解释,并证明了可靠性定理.为了表明 FLCOM 处理实际问题的适用性,进一步研究了FLCOM在一个模糊决策实例中的应用.具体地,基于FLCOM讨论了决策规则中的模糊命题及其不同否定的区分与形式表示,给出一种确定模糊命题及其不同否定的真值及其真值范围阈值的方法,并采用模糊产生式规则讨论了实例中的模糊推理与决策.从而表明,运用FLCOM处理具有模糊性并且存在不同否定的实际问题是有效的.
在模糊知識錶示與推理中,否定信息扮縯瞭一箇重要角色.從概唸層麵上區分瞭模糊知識中存在的3種否定關繫,即矛盾否定關繫、對立否定關繫和中介否定關繫.為瞭建立能夠完全描述這些不同否定關繫的邏輯基礎,提齣一種區分矛盾否定、對立否定和中介否定的模糊命題邏輯形式繫統 FLCOM.討論瞭 FLCOM 特有的性質與意義,給齣瞭 FLCOM 的一種語義解釋,併證明瞭可靠性定理.為瞭錶明 FLCOM 處理實際問題的適用性,進一步研究瞭FLCOM在一箇模糊決策實例中的應用.具體地,基于FLCOM討論瞭決策規則中的模糊命題及其不同否定的區分與形式錶示,給齣一種確定模糊命題及其不同否定的真值及其真值範圍閾值的方法,併採用模糊產生式規則討論瞭實例中的模糊推理與決策.從而錶明,運用FLCOM處理具有模糊性併且存在不同否定的實際問題是有效的.
재모호지식표시여추리중,부정신식분연료일개중요각색.종개념층면상구분료모호지식중존재적3충부정관계,즉모순부정관계、대립부정관계화중개부정관계.위료건립능구완전묘술저사불동부정관계적라집기출,제출일충구분모순부정、대립부정화중개부정적모호명제라집형식계통 FLCOM.토론료 FLCOM 특유적성질여의의,급출료 FLCOM 적일충어의해석,병증명료가고성정리.위료표명 FLCOM 처리실제문제적괄용성,진일보연구료FLCOM재일개모호결책실례중적응용.구체지,기우FLCOM토론료결책규칙중적모호명제급기불동부정적구분여형식표시,급출일충학정모호명제급기불동부정적진치급기진치범위역치적방법,병채용모호산생식규칙토론료실례중적모호추리여결책.종이표명,운용FLCOM처리구유모호성병차존재불동부정적실제문제시유효적.
Negative information plays an important role in fuzzy knowledge representation and reasoning. This paper distinguishes between contradictory negative relation and opposite negative relation in fuzzy concept, and discovers a characteristic of fuzzy concept that if a pair of opposite concepts are fuzzy concepts, then there must exists a“medium”fuzzy concept between them;conversely, if there is a medium fuzzy concept between the two opposite concepts, then opposite concepts must be fuzzy concepts. Thus, negation of fuzzy concept is considered to include contradictory negation, opposite negation and medium negation. In order to provide a base of logic for the three kinds of negations, this paper proposes a fuzzy propositional logic, FLCOM, with contradictory negation, opposite negation and medium negation, discusses operations and interesting properties as well as characteristics of FLCOM, presents a semantic interpretation of FLCOM, and proves reliability theorem. In order to show that FLCOM is applicable for dealing with fuzzy proposition and its different negations in practical problem, the paper studies applications of FLCOM to fuzzy decision making in an example. Based on FLCOM, the study discusses formal representation of fuzzy proposition and different negations in decision rules, presents an approach to measure truth value of fuzzy proposition and threshold of truth value, and describes reasoning and realization of fuzzy decision making in the example based on fuzzy production rules.