Implementing Derivations of Definite Logic Programs with Self-Attention Networks

Phan Thi Thanh Thuy, Akihiro Yamamoto

In this paper we propose that a restricted version of logical inference can be implemented with self-attention networks. We are aiming at showing that LLMs (Large Language Models)…