Revisiting direct neuralisation of first-order logic
Conference paper
Gunn, I. and Windridge, D. 2018. Revisiting direct neuralisation of first-order logic. NeSy 2018 : Thirteenth International Workshop on Neural-Symbolic Learning and Reasoning. Prague, Czech Republic 23 - 24 Aug 2018
| Type | Conference paper |
|---|---|
| Title | Revisiting direct neuralisation of first-order logic |
| Authors | Gunn, I. and Windridge, D. |
| 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 |
| Conference | NeSy 2018 : Thirteenth International Workshop on Neural-Symbolic Learning and Reasoning |
| Publication process dates | |
| Deposited | 11 Nov 2019 |
| Accepted | 20 Jul 2018 |
| Output status | Published |
| Accepted author manuscript | |
| Copyright Statement | This author's accepted manuscript version is made available with permission. |
| Language | English |
Permalink -
https://repository.mdx.ac.uk/item/88915
Download files
144
total views40
total downloads1
views this month2
downloads this month