Default reasoning and neural networks

Default reasoning and neural networks

Show other versions (1)

In this dissertation a formalisation of nonmonotonic reasoning, namely Default logic, is discussed. A proof theory for default logic and a variant of Default logic - Prioritised Default logic - is presented. We also pursue an investigation into the relationship between default reasoning and making i...

Full description

Bibliographic Details
Main Author: Govender, I. (Irene)
Other Authors: Rosenblatt, Johanna Heléne
Format: Others
Language:en
Published: 2015
Subjects:
Default logic
Normal default theories
Resolution theorem proving
Neural networks
Penalty logic
Hopfield network
training algorithm
Nonmonotonic inferences
Expectations
Connectionist
Inference mechanism
Conflict resolution strategies
006.32
Non-monotonic logic
Neural networks (Computer science)
Nonmonotonic reasoning
Online Access:http://hdl.handle.net/10500/16865

Internet

http://hdl.handle.net/10500/16865

Similar Items