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