Revisiting direct neuralisation of first-order logic

Gunn, Ian and Windridge, David ORCID: (2018) Revisiting direct neuralisation of first-order logic. In: NeSy 2018 : Thirteenth International Workshop on Neural-Symbolic Learning and Reasoning, 23-24 Aug 2018, Prague, Czech Republic. . [Conference or Workshop Item]

PDF - Final accepted version (with author's formatting)
Download (142kB) | Preview


There is a long history of direct translation of propositional Horn-clause logic programs into neural networks. The possibility of translating first-order logical syntax in the same way has been largely overlooked, perhaps due to a “propositional fixation” fixation! We briefly revise the possibility and advantage of translating existentially and universally quantified clauses into
a neural form that follows the first-order syntax in a natural way

Item Type: Conference or Workshop Item (Paper)
Research Areas: A. > School of Science and Technology > Computer Science
Item ID: 28084
Notes on copyright: This author's accepted manuscript version is made available with permission.
Useful Links:
Depositing User: David Windridge
Date Deposited: 11 Nov 2019 10:12
Last Modified: 10 Jun 2021 03:50

Actions (login required)

View Item View Item


Activity Overview

Additional statistics are available via IRStats2.