Revisiting direct neuralisation of first-order logic

Gunn, Ian and Windridge, David ORCID: https://orcid.org/0000-0001-5507-8516 (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]

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

Abstract

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
URI: https://eprints.mdx.ac.uk/id/eprint/28084

Actions (login required)

View Item View Item

Statistics

Downloads
Activity Overview
14Downloads
147Hits

Additional statistics are available via IRStats2.