模糊逻辑的紧致性与模糊理论相容度.pdfVIP

第 29卷第 5期 世间辽宁工程技术大学学报 (自然科学版 ) 2010年 10月 V01．29 NO．5 JournalofLiaoningTechnicalUniversity(NaturalScience) Oct． 2010 文章编号：1008．0562(2010)05．0755-04 模糊逻辑的紧致性与模糊理论相容度 任 燕 ，王洪丽 ，鲁忠良 (1．河南理工大学 数学与信息科学学院，河南 焦作 454000． 2．河南理工大学 安全科学与工程学院，河南 焦作 454000) 摘 要：为了得到一般理论的相容度函数，利用不同的模糊系统的共同性质——模糊系统的紧致性，基于相容、 不相容和全发散理论的性质 以及发散度的概念，主要在二值逻辑系统和 L+命题逻辑来讨论理论的相容度 问题， 对有限命题集的相容度函数给出自然的推广，得到一般的命题集的相容度函数，并讨论了相容度函数的性质。 关键词：模糊逻辑：紧致性；模糊理论：相容度 中图分类号：O141．1 文献标识码：A Compactnessoffuzzylogicsandconsistencydegreesofufzzytheories REN Yan ．W ANG Hongli，LU Zhongliang (1．CollegeofMathematicsInformationScience，HenanPolytechnicUniversity,Jiaozuo54000，China； 2．SchoolofSafetyScienceandEngineering，，HenanPolytechnicUniversiyt,Jiaozuo454000，China) Abstract：Inordertoobtainanew membershipfunction ，basedon theanalysisofrelationshipsamongthe propertiesofconsistent，inconsistentandfullydivergenttheories，thepresentpaperproposesanew membership ufnctionforreflectingtheconsistencydegreesofgeneraltheoriesinthezero·o·nelogicsystem andtheR0-·ufzzy system bymeansoftheconceptofdivergencedegreesandcompactnessoffuzzylogic． Keywords：ufzyz logic；compactness；fuzyz theories；consistencydegrees 引 言 的基础上引入 了一种新的衡量理论相容与否的极 指标jR(r)．文献[11】完全抛开 了发散度 ，它基于演绎 紧致性是模糊逻辑的一个重要性质I1J，所谓紧 定理和完备性建立 了继承度 的概念，继而较 自然而 致性是指一组逻辑公式之集 (称为理论)有模型当且 合理地引入了相容度 的概念 。本文将在前人工作的 仅当它的每个有限子理论有模型。文献[2．6】分别证 基础上，在二值命题逻辑系统和 L命题逻辑系统利 明了Lukasiewicz命题逻辑 ，Godel命题逻辑和乘积 用紧致性所带来的方便，定义了理论的相容度，给 命题逻辑 以及 L命题逻辑和NMG命题逻辑都是紧 出了相对简单的相容度函数，从而对有限理论的相 致的。在任何逻辑系统中，理论的相容性都是一个