Neural-symbolic integration aims to combine the connectionist subsymbolic with the logical symbolic approach to artificial intelligence. In this paper, we first define the answer set semantics of (boolean) neural nets and then introduce from first principles a class of neural logic programs and show that nets and programs are equivalent.

翻译：神经符号集成旨在将人工智能中的连接主义亚符号方法与逻辑符号方法相结合。本文首先定义了（布尔）神经网络的答案集语义，随后从基本原理出发引入了一类神经逻辑程序，并证明网络与程序具有等价性。