基于Pi演算的人工神经网络模型

摘要：

人工神经网络是一种重要的人工智能实现方法,但是目前人工神经网络缺乏通用的数学模型,用来模拟各种结构的神经网络.然而形式化方法对于建模和验证系统是一种有效的方法,所以对人工神经网络的形式化描述和验证是一个重要的研究方向.Pi演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模,因此Pi演算和人工神经网络的基础都是并发计算.在这个基础上,首先通过Pi演算建模人工神经网络,证明了它们之间的等价性,然后设计了基于Pi演算的人工神经网络分类器.最后,讨论了这个模型的优越性。

关键词： 人工神经网络 Pi演算 模式识别 人工智能 数学模型 形式化描述

作者: 陈宁 冯博琴

作者单位: 西安交通大学,计算机教学实验中心,陕西,西安,710049

会议类型: 国内会议

会议名称: 第十六届中国神经网络大会(CNNC2006)暨首届中国人工免疫系统专题会议(CAISC06)

会议地点: 哈尔滨

会议语种:中文

页码: 71-73

在线出版日期: 2006-08-05（万方平台首次上网日期，不代表论文的发表时间）