将离散符号操作与连续神经网络表示结合，是当前神经符号研究的核心挑战。