柔性逻辑零级运算模型的健全性

发布时间：2017-07-05 08:10

  本文关键词：柔性逻辑零级运算模型的健全性

  更多相关文章： 健全逻辑系统 泛与运算模型 泛或运算模型 排中律

【摘要】：当广义相关系数在0～0.5时,证明了基于零级运算模型的逻辑系统PC(T)是健全逻辑系统;当广义相关系数在0.5～0.75时,构建了基于零级运算模型的健全逻辑系统PC(T);当广义相关系数在0.75～1时,进一步证明了基于泛逻辑零级运算模型的逻辑系统PC(T),当命题P等于0和1时是一个健全逻辑系统;当命题P不等于0和1时,构建了基于泛逻辑零级运算模型的健全逻辑系统PC(T).
【作者单位】： 北京邮电大学计算机学院;中国计量学院数学系;
【关键词】： 健全逻辑系统 泛与运算模型 泛或运算模型 排中律
【基金】：北京市高等学校人才强教计划资助项目(PHR201008428)
【分类号】：O141.1
【正文快照】： 当前影响人工智能深入发展的理论难题是机器学习、专家经验知识和常识推理,它们都存在不确定性和演化,需要能包容各种不确定性和演化的柔性逻辑学作为理论基础.何华灿教授为了探索逻辑的一般规律,提出了泛逻辑学理论[1].2008年,何华灿教授从实际信息传输和使用角度出发,为了

【相似文献】

中国期刊全文数据库 前2条

1 罗敏霞;何华灿;;泛逻辑的零级泛运算模型的代数性质[J];模糊系统与数学;2005年04期

2 罗敏霞;;零级泛与运算模型的单调性[J];模糊系统与数学;2008年05期

，

本文编号：521128