-
题名区分3种否定的模糊命题逻辑系统及其应用
被引量：4
- 1
-
-
作者
潘正华
-
机构
江南大学理学院
-
出处
《软件学报》
EI
CSCD
北大核心
2014年第6期1255-1272,共18页
-
基金
国家自然科学基金(61375004
60973156)
中央高校基本科研业务费专项资金(JUSRP51317B)
-
文摘
在模糊知识表示与推理中,否定信息扮演了一个重要角色.从概念层面上区分了模糊知识中存在的3种否定关系,即矛盾否定关系、对立否定关系和中介否定关系.为了建立能够完全描述这些不同否定关系的逻辑基础,提出一种区分矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FLCOM.讨论了FLCOM特有的性质与意义,给出了FLCOM的一种语义解释,并证明了可靠性定理.为了表明FLCOM处理实际问题的适用性,进一步研究了FLCOM在一个模糊决策实例中的应用.具体地,基于FLCOM讨论了决策规则中的模糊命题及其不同否定的区分与形式表示,给出一种确定模糊命题及其不同否定的真值及其真值范围阈值的方法,并采用模糊产生式规则讨论了实例中的模糊推理与决策.从而表明,运用FLCOM处理具有模糊性并且存在不同否定的实际问题是有效的.
-
关键词
模糊知识
矛盾否定
对立否定
中介否定
模糊命题逻辑
-
Keywords
fuzzy knowledge
contradictory negation
opposite negation
medium negation
fuzzy propositional logic
-
分类号
TP181
[自动化与计算机技术—控制理论与控制工程]
-
-
题名不完全三值逻辑在语言表达上的相互比较
被引量：2
- 2
-
-
作者
顾红芳
肖奚安
朱梧槚
-
机构
中国人民解放军理工大学理学院
南京大学计算机软件新技术国家级重点实验室
-
出处
《模糊系统与数学》
CSCD
2001年第1期28-33,共6页
-
文摘
深入讨论各种命题联结词含量不完全的三值逻辑的语言表达能力 ,完全弄明白了三值系统 L3、L△3 、B3、B△3 、K3、K△3 、MP的语言表达能力的等效或不等效关系。特别应当指出的一个结论是 :中介命题逻辑 MP作为一种命题联结词含量不完全的三值系统而言 ,它和其他命题联结词含量不完全的三值逻辑 L3、L△3 、B3、B△3 、K3、K△3 的语言表达能力都不等效 ,从而也由此体现出
-
关键词
三值逻辑
中介逻辑命题
命题联结词
语言表达能力
逻辑系统
-
Keywords
Three Valued logic
medium propositional logic
propositional Connective
Linguistic Expressive Power
-
分类号
O141.1
[理学—数学]
-
-
题名一类具有3种否定的模糊模态命题逻辑
- 3
-
-
作者
陈成
潘正华
吕永席
-
机构
江南大学理学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第4期263-268,共6页
-
基金
国家自然科学基金(60973156
61375004)
中央高校基本科研业务费专项资金(JUSRP51317B)资助
-
文摘
对不同否定知识的认知、区分、表达、推理及计算是模糊知识研究处理的一个基础。具有矛盾否定、对立否定和中介否定的模糊命题逻辑形式系统FL_(COM)是一种能够完整描述模糊知识中的不同否定及其关系与规律的理论。基于FL_(COM)和中介模态命题逻辑MK,提出一类具有3种否定的模糊模态命题逻辑MK_(COM)及其扩充系统MT_(COM),MS_(4COM)和MS_(5COM);讨论了MK_(COM)的语义和语法解释,并证明了MK_(COM)的可靠性定理和完备性定理。
-
关键词
模糊命题逻辑形式系统
中介模态逻辑
模糊模态命题逻辑
-
Keywords
Fuzzy propositional logic formal system
medium modal propositional logic
Fuzzy modal propositional logic
-
分类号
O142
[理学—数学]
-
-
题名中介命题逻辑一种新的无穷值语义模型及意义
被引量：5
- 4
-
-
作者
张胜礼
潘正华
-
机构
兴义民族师范学院计算机科学系
江南大学理学院
-
出处
《计算机工程与应用》
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
- 5
-
-
作者
潘正华
-
机构
江南大学理学院数理研究所
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2008年第z1期158-164,共7页
-
基金
国家自然科学基金项目(60575038)
-
文摘
中介逻辑(medium logic,ML)自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑.对于中介逻辑核心理论的中介命题逻辑系统,给出一种真值域为[0,1]的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在此模型下具有可靠性与完备性.此模型的存在表明,认定中介逻辑是一种三值逻辑的理由是不充分的.该模型更适合反映中介逻辑的基本思想,而且为中介逻辑在其他领域的应用提供了一个基础.
-
关键词
中介命题逻辑
三值模型
有穷和无穷值模型
完备性
可靠性
-
Keywords
medium proposition logic
three-valued model
infinite-valued model
completeness
reliability
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名中介命题逻辑一种改进的无穷值语义模型
- 6
-
-
作者
张胜礼
-
机构
兴义民族师范学院
-
出处
《兴义民族师范学院学报》
2011年第1期101-105,109,共6页
-
文摘
中介逻辑ML（Medium Logic）,自建立了它的三值语义模型后,ML就被许多学者认定为三值逻辑。对于中介逻辑核心理论的中介命题逻辑系统,潘给出了一种真值域为[0,1]无穷值语义模型,张给出了一种真值域为[0,λ]∪（λ,1]（λ∈（0.5,1））的新无穷值语义模型,并分别证明了中介命题逻辑在无穷值模型下具有可靠性与完备性。在此基础上,进一步研究得到了中介命题逻辑的一种改进的无穷值语义模型,研究了它的性质,并证明了中介命题逻辑在该模型下也具有可靠性与完备性。该模型不仅较好的表达了＂当Afuz时~A真＂的情形,而且其λ值的确定,可根据一定的实例知识计算出来,具有客观性。该模型进一步表明用中介逻辑作为模糊知识的表示与推理的工具是可行的、可靠的。
-
关键词
中介命题逻辑
三值模型
无穷值模型
-
Keywords
medium proposition logic
three-valued model
infinite-valued model
-
分类号
TP301.6
[自动化与计算机技术—计算机系统结构]
O141.4
[自动化与计算机技术—计算机科学与技术]
-
-
题名中介逻辑演算系统MP^N及MF^N
被引量：1
- 7
-
-
作者
毛宇光
朱剑英
顾红芳
-
机构
南京航空航天大学计算机科学与工程系
南京通信工程学院数学教研室
南京大学计算机软件新技术国家重点实验室
-
出处
《模糊系统与数学》
CSCD
1999年第2期45-51,共7页
-
文摘
为满足不完全信息系统应用的需要，本文构造了基于命题联结词∧、∨、→、ヲ、～和～的中介逻辑命题演算系统ＭＰＮ和中介逻辑谓词演算系统ＭＦＮ，并证明了ＭＰＮ与ＭＰ＊、ＭＦＮ与ＭＦ＊的表达能力等价。
-
关键词
中介逻辑
命题演算
谓词演算
表达能力
三值逻辑
-
Keywords
medium logic
medium logic propositional Calculus
medium logic Predicate Calculus System
Expressive Power
Incomplete Information
-
分类号
O141.3
[理学—数学]
-
-
题名具有两种否定的描述逻辑系统MALC
被引量：1
- 8
-
-
作者
程天笑
潘正华
-
机构
江南大学理学院
-
出处
《计算机工程与科学》
CSCD
2008年第11期65-67,91,共4页
-
基金
国家自然科学基金资助项目(60575038)
-
文摘
否定信息在知识表示和推理中具有非常重要的作用。随着信息科学的发展,大量的事实表明:信息科学的许多领域需要区分概念的矛盾否定和对立否定。描述逻辑作为一阶谓词逻辑的可判定子集,并没有区分概念的矛盾否定与对立否定。本文将模糊否定词～和对立否定词?引入描述逻辑ALC,建立了一个扩展的描述逻辑系统MALC,使其具有处理模糊知识的能力。同时,文章给出了基于中介无穷值语义模型的语义解释;在推理机制上,给出了可满足性的定义和可满足性的Tableau算法。
-
关键词
描述逻辑ALC
中介逻辑
中介无穷值语义模型
-
Keywords
description logic ALC medium logic
infinite valued model of medium proposition logic
-
分类号
O159
[理学—数学]
-
