-
题名一种改进的具有三种否定的新模糊集及其应用
被引量：13
- 1
-
-
作者
张胜礼
潘正华
-
机构
兴义民族师范学院计算机科学系
江南大学理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第23期34-38,共5页
-
基金
国家自然科学基金No.60973156
兴义民族师范学院科研基金资助项目(No.11XYYZ07
No.11XYYZ08)~~
-
文摘
对于模糊知识及其否定关系,潘指出应该明确地分为矛盾否定关系、对立否定关系和中介否定关系,并建立了一种具有矛盾否定、对立否定和中介否定的新模糊集FScom。在此基础上,对模糊知识及其各种否定的集合基础进一步研究,提出了一种改进的具有三种否定的模糊集IFScom,并讨论了它的特征、运算及相关性质。应用实例表明改进的模糊集IFScom在模糊知识的"否定"的区分、表示以及推理上是有效性的。
-
关键词
模糊知识
否定
模糊集
中介逻辑
-
Keywords
fuzzy knowledge
negations
fuzzy set
medium logic
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名中介命题逻辑一种新的无穷值语义模型及意义
被引量：5
- 2
-
-
作者
张胜礼
潘正华
-
机构
兴义民族师范学院计算机科学系
江南大学理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2010年第31期45-49,71,共6页
-
基金
国家自然科学基金No.60973156~~
-
文摘
中介逻辑ML(Medium Logic),自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种无穷值语义模型,并证明了中介命题逻辑在此模型下具有可靠性与完备性。在此基础上,给出一种真值域为[0λ)(λ1](λ?(0.51))的无穷值语义模型,研究了它的性质,证明了中介命题逻辑在该模型下也具有可靠性与完备性。新模型的存在进一步表明,认定中介逻辑是一种三值逻辑的理由是不充分的。新模型不仅反映了中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了基础。
-
关键词
中介命题逻辑
三值模型
无穷值模型
完备性
可靠性
-
Keywords
medium proposition logic
three-valued model
infinite-valued model
completeness
soundness
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名中介谓词逻辑一种改进的语义解释及λ-归结
- 3
-
-
作者
张胜礼
潘正华
-
机构
兴义民族师范学院计算机科学系
江南大学理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2011年第22期41-43,56,共4页
-
基金
国家自然科学基金No.60973156
兴义民族师范学院科研基金资助项目研究成果(No.11XYYZ07)~~
-
文摘
潘给出的中介谓词逻辑系统MF的无穷值语义解释,不同于MF的其他任何语义解释。但在该无穷值语义解释下,"当Afuz时～A真"这种情况并未得到反映,并且该解释在模糊知识推理中必须作适当的修改才能更符合客观思维。给出了中介谓词逻辑系统MF一种真值域为(0,1-λ)∪(1-λ,λ)∪(λ,1)(λ∈(0.5,1))的无穷值语义解释,重新定义了MF的文字,提出了一种新的MF的λ-归结原理,证明了其完备性。该解释进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的。
-
关键词
中介谓词逻辑
语义解释
λ-解释
Λ-归结
-
Keywords
medium predicate logic
semantic interpretation
λ-interpretation
λ-resolution
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
-
-
题名一种基于模糊集IFScom*的模糊综合评判及应用
- 4
-
-
作者
吴晓刚
张胜礼
-
机构
兴义民族师范学院计算机科学系
-
出处
《计算机应用与软件》
CSCD
2015年第2期85-88,共4页
-
基金
贵州省科学技术基金项目(黔科合J字[2012]2324号)
兴义民族师范学院科研基金项目(12XYYZ01)
-
文摘
模糊集FScom提出知识中的否定关系可分为矛盾否定关系、对立否定关系和中介否定关系。针对模糊集IFScom在处理多重λ-中介否定问题时会产生较大偏差,对其中介否定算子作了改进。改进的新模糊集IFScom*具有的性质更利于解决实际问题。在此基础上提出一种基于IFScom*的模糊综合评判方法,通过对地震自然灾害等级评判的应用,结果表明该方法是合理有效的。
-
关键词
IFScom
λ-中介否定集
模糊综合评判
-
Keywords
IFScom^＊
λ-medium negative set
Fuzzy comprehensive evaluation
-
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
-
-
题名模糊知识中不同否定的一种新集合基础
- 5
-
-
作者
彭芳策
张胜礼
潘正华
-
机构
兴义民族师范学院计算机科学系
江南大学理学院
-
出处
《计算机应用与软件》
CSCD
北大核心
2014年第6期142-146,共5页
-
基金
国家自然科学基金项目(60973156)
贵州省科学技术基金项目(黔科合J字[2012]2324号)
+1 种基金
贵州省黔西南州科技计划(2013-36)
兴义民族师范学院科研基金项目(11XYYZ07)
-
文摘
对于模糊知识及其否定关系,潘建立了一种具有三种否定的模糊集FScom;张给出一种改进的模糊集IFScom。然而,模糊集FScom及其改进模糊集IFScom存在着不足。基于此认识,提出一种基于FScom、IFScom改进的模糊集MScom,并讨论它的特征及相关的性质。MScom克服了新模糊集FScom及IFScom的缺陷。
-
关键词
模糊知识的表示与推理
矛盾否定
对立否定
中介否定
模糊集
-
Keywords
Fuzzy knowledge representation and reasoning Contradictory negation Opposite negation Medium negation Fuzzy set
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
