Jun, 2024

神经逻辑程序与神经网络

TL;DR神经符号一体化试图将连接主义子符号方法与逻辑符号方法相结合以实现人工智能。本文首先定义了(布尔)神经网络的答案集语义,然后从第一原则介绍了一类神经逻辑程序,并证明了网络和程序的等价性。