-
题名对几种处理不确定性信息的理论的比较研究
被引量：10
- 1
-
-
作者
王小晟
吴顺祥
-
机构
厦门大学自动化系
南京航空航天大学经济与管理学院
-
出处
《计算机工程与应用》
CSCD
北大核心
2005年第12期51-55,共5页
-
基金
福建省教育委员会科技项目(编号:JA022239)
厦门市重点科技项目(编号:3502Z20031056)资助课题
-
文摘
文章概述了概率与数理统计、模糊数学、粗糙集、非经典逻辑及灰色系统等几种处理不确定性信息理论的特点,对它们彼此之间的相似和不同之处进行了比较和分析,并探讨了相互之间进行优势互补以更有效地对不确定性信息进行处理的可能性。
-
关键词
概率与数理统计
模糊数学
粗糙集
非经典逻辑
灰色系统
-
Keywords
probability and mathematical statistics,fuzzy mathematics,rough sets,nonclassical logic,grey systems
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名一种避免“蕴涵怪论”的可行方法
被引量：3
- 2
-
-
作者
霍书全
-
机构
河南大学哲学系
-
出处
《自然辩证法研究》
CSSCI
北大核心
2007年第7期31-34,共4页
-
基金
河南大学人文社科重点项目(05ZDRW005)
-
文摘
"实质蕴涵怪论"问题是困扰经典逻辑的语义问题,在解决它的过程中产生了严格蕴涵和相干蕴涵,出现了模态逻辑和相干逻辑。模态逻辑中仍然有"严格蕴涵怪论"。相干逻辑避免了"蕴涵怪论",但把一些有效的推理形式排除在外,还具有不可判定性。"蕴涵怪论"是由于对推理关系进行形式化(数学化)引起的,因此,我们可以抛开形式系统来寻找一种方法避免"怪论"。本文将给出一个消除"蕴涵怪论"的可行方法———欧拉图解方法。
-
关键词
“实质蕴涵怪论”
经典逻辑
非经典逻辑
形式化系统
推理
-
Keywords
the paradox of material implication
classical logic
nonclassical logic
formal system
inference
-
分类号
N031
[自然科学总论—科学技术哲学]
-
-
题名推理关系形式化产生的问题及哲学思考
- 3
-
-
作者
霍书全
-
机构
中山大学
-
出处
《广东广播电视大学学报》
2006年第4期29-32,49,共5页
-
文摘
推理关系的形式化带来了“实质蕴涵怪论”问题,本文对推理关系形式化引起的歧义和“实质蕴涵怪论”的产生进行了分析。通过分析认为,推理是逻辑的研究对象,而逻辑又必须应用推理,推理的这种双重角色决定了对推理进行形式化就会产生“怪论”。虽然“怪论”难以消除,但在一定条件下也是可以消除的。既然推理如此特殊,我们只能通过扩充逻辑种类的方法间接完成对推理的刻画,应该抛弃狭义的逻辑观,使数理逻辑的优势发扬光大。
-
关键词
“实质蕴涵怪论”
经典逻辑
非经典逻辑
形式化系统
推理
-
Keywords
material implication
classical logic
nonclassical logic
formal system
reasoning
-
分类号
O141.3
[理学—数学]
-
