您的位置： 专家智库 > >

刘楚

作品数：1 被引量：0H指数：0
供职机构：厦门大学更多>>
发文基金：国家教育部博士点基金国家自然科学基金福建省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇消解
  • 1篇联结主义
  • 1篇核方法
  • 1篇符号逻辑

机构

  • 1篇厦门大学

作者

  • 1篇江敏
  • 1篇周昌乐
  • 1篇刘楚

传媒

  • 1篇心智与计算

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
带消解的联结主义计算模型
2012年
神经-符号系统建立是为了将符号逻辑系统和联结主义系统进行统一,以实现符号运算和数值计算之间的对应和转化,因此构造出相应的联结主义系统以适应符号逻辑系统的推理规则具有十分重要的意义。本文以联结主义系统中的核方法(Core Method)为基础,定义了一组网络结构转化规则,通过神经网络自适应结构调整的方法来使核方法满足命题逻辑中归结原理这一经典的符号推理方法。改进的核方法在不仅在数值上与命题逻辑具有对应关系而且在网络结构上也有相似的规则。文章最后提出了关于核方法的神经网络中输入层和输出层的数值迭代规律的猜想,希望能够通过观察变量指派在实数空间的收敛情况来发现该网络对应在符号逻辑系统中的规律。?
刘楚江敏周昌乐张俊松
关键词：核方法符号逻辑
全选 清除 导出
共1页<1>
聚类工具0