-
题名基于柔性神经元的煤矿安全风险预警模型研究
被引量:7
- 1
-
-
作者
陈佳林
付恩三
-
机构
应急管理部信息研究院
-
出处
《煤炭工程》
北大核心
2021年第7期187-191,共5页
-
基金
国家重点研发计划项目课题(2018YFC0808306)。
-
文摘
煤矿安全风险预警模型是实现煤矿安全风险超前预测预警的重要手段,为了进一步提升煤矿安全风险预警模型自动评估的准确性,结合各类煤矿基础数据、动态监测数据,基于连续值逻辑柔性神经网络模型,建立指标体系指标因子属性特征的关系网络、指标权重因子和柔性关系算子库,构建基于柔性神经元网络的决策树风险预警模型。通过对内蒙古小鱼沟煤矿安全生产数据的检验分析,对比传统的决策树和层次分析预测预警分析方法,该方法可自动获得更高的预测预警准确率,有助于降低煤矿安全生产事故的发生率。
-
关键词
煤矿安全
风险预警
柔性神经元
算子库
决策树
-
Keywords
coal mine safety
risk precaution
flexible neuron
operator library
decision tree
-
分类号
TD77
[矿业工程—矿井通风与安全]
-
-
题名重新找回人工智能的可解释性
被引量:32
- 2
-
-
作者
何华灿
-
机构
西北工业大学计算机学院
-
出处
《智能系统学报》
CSCD
北大核心
2019年第3期393-412,共20页
-
基金
国家自然科学基金面上项目(60273087)
西北工业大学基础研究基金重点项目(W18101)
-
文摘
针对深度神经网络 AI研究的可解释性瓶颈,指出刚性逻辑(数理形式逻辑)和二值神经元等价,二值神经网络可转换成逻辑表达式,有强可解释性。深度神经网络一味增加中间层数来拟合大数据,没有适时通过抽象把最小粒度的数据(原子)变成粒度较大的知识(分子),再把较小粒度的知识变成较大粒度的知识,把原有的强可解释性淹没在中间层次的汪洋大海中。要支持多粒度的知识处理,需把刚性逻辑扩张为柔性命题逻辑(命题级数理辩证逻辑),把二值神经元扩张为柔性神经元,才能保持强可解释性。本文详细介绍了从刚性逻辑到柔性逻辑的扩张过程和成果,最后介绍了它们在 AI研究中的应用,这是重新找回 AI研究强可解释性的最佳途径。
-
关键词
人工智能
可解释性
演化
不确定性
泛逻辑学
柔性命题逻辑
柔性神经元
数理辩证逻辑
-
Keywords
artificial intelligence
interpretability
evolution
uncertainty
universal logic
flexible propositional logic
flexible neurons
mathematical dialectic logic
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-
-
题名泛逻辑学理论——机制主义人工智能理论的逻辑基础
被引量:24
- 3
-
-
作者
何华灿
-
机构
西北工业大学计算机学院
-
出处
《智能系统学报》
CSCD
北大核心
2018年第1期19-36,共18页
-
基金
国家自然科学基金面上项目(60273087)
西北工业大学基础研究基金重点项目(W18101)
-
文摘
当前,世界各主要大国都把人工智能作为它们的国家战略。人工智能的发展正在快速改变着人类的生活方式和思想观念。在中国,有一小批研究者20多年来一直在基于辩证唯物主义潜心研究具有普适性的人工智能基础理论,包括智能的形成机制、逻辑基础、数学基础、协调机理、矛盾转化等。终于,他们各自建立了机制主义人工智能理论、泛逻辑学理论、因素空间理论、协调学、可拓学、集对分析等。其中,机制主义人工智能理论是基于智能形成机制的通用理论,它能把现有的结构主义、功能主义和行为主义三大流派有机地统一起来,使意识、情感、理智成为三位一体的关系;因素空间理论是机制主义人工智能理论的数学基础;泛逻辑学理论是机制主义人工智能理论的逻辑基础。本文介绍了泛逻辑学理论的基本思想、理论基础和应用方法,阐明它的理论意义和应用价值。特别需要指出的是,在广义概率论基础上建立的命题泛逻辑(包括刚性逻辑和柔性逻辑),可看成一个完整的命题级智能信息处理算子库,库中完整地包含了全部18种柔性信息处理模式(包括16种布尔信息处理模式),可用类型编码<a,b,e>来严格区分,用它可寻找到适合自己的信息处理算子完整簇来使用。在每一个信息处理模式中,各种不确定性的组合状态由不确定性程度属性编码<k,h,β,e>来严格区分,用它可在本信息处理模式的算子完整簇中精确选择具体的算子来使用。这表明柔性信息处理本质上是一把密码锁,它需要专门的密码<a,b,e>+<k,h,β,e>才能正常打开,不能乱点鸳鸯谱。通过只有18种模式,每种模式可以从最大算子连续变化到最小算子,已经证明了没有一个命题算子被遗漏。
-
关键词
泛逻辑学
机制主义人工智能
不确定性
柔性神经元
智能信息处理算子库
-
Keywords
universal logic
mechanism-based artificial intelligence theory
uncertainty
flexible logic
intelligent in-formation processing operator library
-
分类号
TP18
[自动化与计算机技术—控制理论与控制工程]
-