首页> 外文OA文献 >Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking
【2h】

Formal Modeling of Connectionism using Concurrency Theory, an Approach Based on Automata and Model Checking

机译:基于并发理论的连接主义形式化建模,一种基于自动机和模型检查的方法

代理获取
本网站仅为用户提供外文OA文献查询和代理获取服务,本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文,但由于OA文献来源多样且变更频繁,仍可能出现获取不到、文献不完整或与标题不符等情况,如果获取不到我们将提供退款服务。请知悉。

摘要

This paper illustrates a framework for applying formal methods techniques, which are symbolic in nature, to specifying and verifying neural networks, which are sub-symbolic in nature. The paper describes a communicating automata [Bowman & Gomez, 2006] model of neural networks. We also implement the model using timed automata [Alur & Dill, 1994] and then undertake a verification of these models using the model checker Uppaal [Pettersson, 2000] in order to evaluate the performance of learning algorithms. This paper also presents discussion of a number of broad issues concerning cognitive neuroscience and the debate as to whether symbolic processing or connectionism is a suitable representation of cognitive systems. Additionally, the issue of integrating symbolic techniques, such as formal methods, with complex neural networks is discussed. We then argue that symbolic verifications may give theoretically well-founded ways to evaluate and justify neural learning systems in the field of both theoretical research and real world applications.
机译:本文说明了一个框架,该框架将本质上具有象征意义的形式化方法技术应用于指定和验证本质上属于亚符号的神经网络。该论文描述了一种神经网络的通信自动机模型[Bowman&Gomez,2006]。我们还使用定时自动机来实现模型[Alur&Dill,1994],然后使用模型检查器Uppaal [Pettersson,2000]对这些模型进行验证,以评估学习算法的性能。本文还提出了有关认知神经科学的许多广泛问题的讨论,以及关于符号加工或连接主义是否适合认知系统的争论。此外,还讨论了将符号技术(例如形式方法)与复杂的神经网络集成的问题。然后,我们认为符号验证可以为理论研究和现实应用领域中的神经学习系统提供理论上有充分依据的评估和证明方法。

著录项

  • 作者

    Su Li; Bowman Howard; Wyble Brad;

  • 作者单位
  • 年度 2006
  • 总页数
  • 原文格式 PDF
  • 正文语种 {"code":"en","name":"English","id":9}
  • 中图分类

相似文献

  • 外文文献
  • 中文文献
  • 专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号