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. .

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 Aug 2020 13:52

Actions (login required)

Edit Item Edit Item

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year