The Boltzmann Machine: a Connectionist Model for Supra-Classical Logic
Blanchette, Glenn Clifford

View/ Open
Cite this item:
Blanchette, G. C. (2018). The Boltzmann Machine: a Connectionist Model for Supra-Classical Logic (Thesis, Doctor of Philosophy). University of Otago. Retrieved from http://hdl.handle.net/10523/8312
Permanent link to OUR Archive version:
http://hdl.handle.net/10523/8312
Abstract:
This thesis moves towards reconciliation of two of the major paradigms of artificial intelligence: by exploring the representation of symbolic logic in an artificial neural network. Previous attempts at the machine representation of classical logic are reviewed. We however, consider the requirements of inference in the broader realm of supra-classical, non-monotonic logic. This logic is concerned with the tolerance of exceptions, thought to be associated with common-sense reasoning. Biological plausibility extends these requirements in the context of human cognition.
The thesis identifies the requirements of supra-classical, non-monotonic logic in relation to the properties of candidate neural networks. Previous research has theoretically identified the Boltzmann machine as a potential candidate. We provide experimental evidence supporting a version of the Boltzmann machine as a practical representation of this logic.
The theme is pursued by looking at the benefits of utilising the relationship between the logic and the Boltzmann machine in two areas. We report adaptations to the machine architecture which select for different information distributions. These distributions correspond to state preference in traditional logic versus the concept of atomic typicality in contemporary approaches to logic. We also show that the learning algorithm of the Boltzmann machine can be adapted to implement pseudo-rehearsal during retraining. The results of machine retraining are then utilised to consider the plausibility of some current theories of belief revision in logic. Furthermore, we propose an alternative approach to belief revision based on the experimental results of retraining the Boltzmann machine.
Date:
2018
Advisor:
Robins, Anthony; Labuschagne, Willem; Weber , Zach; McCane, Brendan
Degree Name:
Doctor of Philosophy
Degree Discipline:
Computer Science
Publisher:
University of Otago
Keywords:
Boltzmann machine; supra-classical non-monotonic logic; knowledge representation; typicality; belief revision; cognition; predictive inference; neural networks; Hebbian learning; simulated annealing
Research Type:
Thesis
Languages:
English
Collections
- Computer Science [73]
- Thesis - Doctoral [2735]