Show simple item record

dc.contributor.advisorRobins, Anthony
dc.contributor.advisorLabuschagne, Willem
dc.contributor.advisorWeber , Zach
dc.contributor.advisorMcCane, Brendan
dc.contributor.authorBlanchette, Glenn Clifford
dc.date.available2018-09-02T22:54:04Z
dc.date.copyright2018
dc.identifier.citationBlanchette, 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/8312en
dc.identifier.urihttp://hdl.handle.net/10523/8312
dc.description.abstractThis 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.
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.publisherUniversity of Otago
dc.rightsAll items in OUR Archive are provided for private study and research purposes and are protected by copyright with all rights reserved unless otherwise indicated.
dc.subjectBoltzmann machine
dc.subjectsupra-classical non-monotonic logic
dc.subjectknowledge representation
dc.subjecttypicality
dc.subjectbelief revision
dc.subjectcognition
dc.subjectpredictive inference
dc.subjectneural networks
dc.subjectHebbian learning
dc.subjectsimulated annealing
dc.titleThe Boltzmann Machine: a Connectionist Model for Supra-Classical Logic
dc.typeThesis
dc.date.updated2018-09-01T23:15:42Z
dc.language.rfc3066en
thesis.degree.disciplineComputer Science
thesis.degree.nameDoctor of Philosophy
thesis.degree.grantorUniversity of Otago
thesis.degree.levelDoctoral
otago.openaccessOpen
otago.evidence.presentYes
 Find in your library

Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record