国家自然科学基金(60273087)
- 作品数:78 被引量:310H指数:11
- 相关作者:何华灿罗敏霞陈志成毛明毅王万森更多>>
- 相关机构:西北工业大学首都师范大学清华大学更多>>
- 发文基金:国家自然科学基金北京市自然科学基金国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术理学文化科学哲学宗教更多>>
- 泛逻辑学的蕴涵性质被引量:2
- 2005年
- 蕴涵算子是逻辑学研究中的重点和难点。本文首先给出泛逻辑中的一级命题连接词完整簇的非、交、并和蕴涵运算模型,证明了泛蕴涵的正则性、单调性以及它和泛“交”的伴随性,这对于进一步研究泛逻辑的形式系统和代数结构以及完备性,都具有重要的理论价值。
- 薛占熬何华灿
- 关键词:泛逻辑学蕴涵算子伴随对正则性单调性
- 一个包含案例Agent的产品包装设计方案生成系统被引量:3
- 2007年
- 在分析传统的产品包装设计方案生成系统不足的基础上,提出了一个包含包装案例Agent的新系统——GSPS。包装案例Agent可以自动感知系统中的包装设计需求,并根据需求情况与用户进行进一步的交互。它还可以根据已知条件在本身所具有的多种检索策略中自主选择最适用的检索方法。此外,包装案例Agent还可以与GSPS外的装潢设计Agent、结构设计Agent协同工作完成全部的产品包装设计工作。
- 王征何华灿
- 关键词:基于案例推理
- 泛逻辑控制模型研究被引量:2
- 2007年
- 提出了一种基于泛逻辑学中零级泛组合模型的泛逻辑控制器,并根据输入变量数目的不同,设计了一维到四维泛逻辑控制模型结构。由于考虑到输入量之间的广义相关性,泛逻辑控制模型具有较强的通用性和适应能力,针对不同被控对象无须单独设计,是一种具有柔性潜质的智能控制模型。对典型线性和非线性系统的控制实验,证明了模型的有效性和优越性。
- 刘丽何华灿贾澎涛
- 基于幂零泛与运算模型的命题模糊逻辑被引量:4
- 2004年
- 本文讨论了泛与运算模型 T(x,y,h)(h∈(0,0.75))的一些性质;证明了泛与运算模型 T(x,y,h)(h∈(0,0.75))是一个幂零三角范数;而且泛与运算模型 T(x,y,h)(h∈(0,0.75))与泛蕴涵运算模型 I(x,y,h)(h∈(0,0.75))是一个伴随对;进一步证明了([0,1],∨,∧,*,→,0,1)作成一个 MV-代数。给出了基于幂零泛与运算模型 T(x,y,h)(h∈(0,0.75))的模糊命题演算系统 PC(T),证明了此命题演算系统与 Lukasiewicz 逻辑命题演算系统是等价的。
- 罗敏霞何华灿
- 关键词:伴随对数理逻辑
- 基于泛逻辑学的模糊推理规则被引量:3
- 2004年
- 本文首次提出了基于泛逻辑学的模糊推理,给出一般 FMP 推理、模糊条件语句推理以及多段模糊推理的泛逻辑学推理规则。
- 马盈仓何华灿
- 关键词:泛逻辑学模糊推理规则
- 重新找回人工智能的可解释性被引量:33
- 2019年
- 针对深度神经网络 AI研究的可解释性瓶颈,指出刚性逻辑(数理形式逻辑)和二值神经元等价,二值神经网络可转换成逻辑表达式,有强可解释性。深度神经网络一味增加中间层数来拟合大数据,没有适时通过抽象把最小粒度的数据(原子)变成粒度较大的知识(分子),再把较小粒度的知识变成较大粒度的知识,把原有的强可解释性淹没在中间层次的汪洋大海中。要支持多粒度的知识处理,需把刚性逻辑扩张为柔性命题逻辑(命题级数理辩证逻辑),把二值神经元扩张为柔性神经元,才能保持强可解释性。本文详细介绍了从刚性逻辑到柔性逻辑的扩张过程和成果,最后介绍了它们在 AI研究中的应用,这是重新找回 AI研究强可解释性的最佳途径。
- 何华灿
- 关键词:人工智能可解释性泛逻辑学数理辩证逻辑
- 正态分布参量的广义自相关性被引量:1
- 2004年
- 在随机系统中,许多参数都服从正态分布。文章在泛逻辑N范数和广义自相关性概念的基础上,研究了正态分布参量的广义自相关性,给出了正态分布参量的N范数、N性生成元,建立了分布函数F(x)与广义自相关性系数k之间的重要关系式,通过实例说明了k值的求解过程,这有助于加速泛逻辑在不确定性推理中的应用。
- 毛明毅何华灿陈志成
- 关键词:范数参量生成元分布函数泛逻辑
- 基于人工情绪的智能情感网络教学系统研究被引量:12
- 2006年
- 针对传统智能网络教学系统在情感教学方面的缺陷,基于人工情绪技术提出了一种Web环境下的智能情感网络教学系统结构.该系统由学习情绪模型、情绪教学模型、认知教学模型和学生模型等主要模块所构成,可以获取和识别每个学生的学习表情,并能够根据不同学生的学习情绪和学习效果,实现认知和情感相互协调的个性化教学.
- 王万森温绍洁郭凤英
- 关键词:面部表情识别
- GB18030汉字的分形相关性研究被引量:1
- 2007年
- GB18030是国家标准局新近颁布的最重要的汉字编码标准。本文从分形信息学的角度对GB18030汉字库中的27538个汉字的分形特性进行了研究。基于格分维理论,给出了汉字格测度的选取原则和格分维的计算方法。计算与统计表明:96.6846%的汉字的分形维数在[1.00,1.50]之间,98.9469%汉字的分形相关性系数R^2值在[0. 95,1.00]之间,这表明汉字具有显著的分形特性。
- 毛明毅陈志成李文正何华灿
- 关键词:GB18030汉字
- 理想状态下泛逻辑的形式演绎系统β被引量:1
- 2004年
- 本文提出泛逻辑学在理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下的形式演绎系统。讨论了商代数[F]的性质。进一步证明了形式演绎系统与文[11]的基本形式演绎系统UL(h=k=0.5)是等价的。
- 罗敏霞何华灿
- 关键词:人工智能专家系统模糊推理模糊逻辑泛逻辑形式演绎系统