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