张寅生
- 作品数：5 被引量：5H指数：2
- 供职机构：中国科学技术信息研究所更多>>
- 发文基金：国家社会科学基金更多>>
- 相关领域：哲学宗教医药卫生理学更多>>
- 脑的逻辑功能的核磁共振成像及其哲学意义被引量：3
- 2008年
- 国际上关于逻辑对应的脑物理特征的功能核磁共振成像(fMRI)研究的主要成就在于:建立了高级精神活动和低级神经活动的关联关系的试验方法;提出了高级精神活动的(判断和推理)神经计算模型建立方法。这些研究的实验结果表明,逻辑与神经活动具有确定性的对应关系,它证明了强人工智能的观点:导致意识的可验证的实体(或者称为"意识关联物")就是意识本身。意识的运行方式是可计算的,思维的本质可以还原为机械性的操作步骤,人工智能和人的天然智能在本质上并无二致。
- 张寅生
- 关键词：核磁共振成像
- 智能可计算性思想的发展
- 2017年
- 本文从各种"智能"定义中所陈述的共同特征中归纳出智能的根本特征:智能是脑和神经系统通过选择达到系统目标(功能)的能力,人工智能或机器智能则是对生命智能的模仿或特征功能的复制。基于这一定义,本文讨论和总结了智能可计算性思想的发展脉络,包括哥德尔定义的"广义递归函数";"选择"的计算活动;递归函数与图灵机;智能可计算的数学表达;智能可计算的核心性质;计算主义与强人工智能等。本文最后引出一些结论。
- 张寅生蔡曙山
- 关键词：图灵机可计算性递归函数
- 认知科学对人工科学的引领趋势被引量：2
- 2015年
- 总结了认知科学对人工科学的引领趋势,包括:人的高维度认知能力的揭示;产品和服务的认知能力的强化和泛化;人机交互和融合的深化。突出体现认知引领作用的人工科学领域包括:人体及其功能特征识别、生命体征和健康状态模式识别,脑机接口,感知复位和感知替代,感性工学、丰心工学和情感计算,传感技术,有意识机器人,智能硬件及嵌入式认知系统,实时动态控制,认知通信网络和认知成像技术,机器学习,自动推理,类脑计算,空间认知,智能制造。在全球范围内,企业创新要素已经大量融入与认知相关的思想和技术。在科学技术领域,认知科学正在构建一个科学技术发展范式,使得科学技术也在模仿认知功能。
- 张寅生
- 关键词：脑机接口人机交互科学范式
- 生命或机器意识的数学模型
- 2015年
- 本文将皮亚杰的心理同构模型扩展为生命体以及机器都可拥有的意识模型,主张意识的本质特征是神经元等信息处理单元或语言符号与客体对象的同构。运用这一模型可以解释心理学、哲学以及人工智能领域里的一些重大问题,如中文房间中的译者或翻译机器究竟是否懂中文等等问题,这些关于人或机器等系统是否具有意识问题的答案取决于信息处理单元集合与单元所映射的外界对象集合是否存在群同构。
- 张寅生
- 关键词：人工智能同构
- 传统逻辑协调化、经典化和自动化的实现被引量：1
- 2016年
- 传统逻辑主要指亚里士多德的三段论,它能否被一阶语言表达并被自动证明,长期以来是不清楚的。通过研究证明传统逻辑经典化(一阶语言表达和数理化)的障碍在于它的不协调性,进而消除了传统逻辑的不协调性,建立了改进的三段论推理的数学模型,同时改进了一阶逻辑,使之能够表达改进后的三段论。这些工作使得传统逻辑完全实现了协调化、经典化和自动化。
- 张寅生
- 关键词：三段论一阶逻辑一致性
