-
题名基于中介逻辑的模糊知识表示及应用
被引量：8
- 1
-
-
作者
王岑
潘正华
-
机构
江南大学理学院
-
出处
《计算机工程与科学》
CSCD
2008年第11期80-82,108,共4页
-
基金
国家自然科学基金资助项目(60575038)
-
文摘
本文基于中介逻辑理论,在知识描述中区分知识的"矛盾"与"对立",肯定对立的模糊概念之间存在中介对象(中介概念),将矛盾否定与对立否定运用于知识表示中;并以一金融决策实际问题为例,采用距离比率函数为模糊谓词表达式赋予属于[0,1]区间的真值,结合中介谓词逻辑的无穷值语义模型与具体情形,给出了模型中变量(取值的一种确定方法及其意义,最后通过一具体实例讨论了模糊知识推理。
-
关键词
模糊知识表示
中介逻辑
无穷值模型
真值程度
-
Keywords
fuzzy knowledge representation
medium logic
infinite-valued model
truth value
-
分类号
O159
[理学—数学]
-
-
题名中介命题逻辑一种新的无穷值语义模型及意义
被引量：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
- 3
-
-
作者
潘正华
-
机构
江南大学理学院数理研究所
-
出处
《计算机研究与发展》
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
[自动化与计算机技术—控制理论与控制工程]
-
-
题名中介命题逻辑一种改进的无穷值语义模型
- 4
-
-
作者
张胜礼
-
机构
兴义民族师范学院
-
出处
《兴义民族师范学院学报》
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
[自动化与计算机技术—计算机科学与技术]
-
-
题名具有两种否定的描述逻辑系统MALC
被引量：1
- 5
-
-
作者
程天笑
潘正华
-
机构
江南大学理学院
-
出处
《计算机工程与科学》
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
[理学—数学]
-
