神经网络的函数型规格说明

？定义人工神经网络为具有二重属性的一阶对象。当用于活动模型时作为函数；当着重内部状态时视为结构。这种定义除了其良好的结构之外，还具有重要的优点，便于神经网络的合成；易于集成进行推理。本项研究的一个主要目的是开发与传统符号推理相适应的定义方法，以及应用神经网络的环境