出版社：University of Malaya * Faculty of Computer Science and Information Technology
摘要：Logic programming is carried out on a neural network. A higherorder Hopfield neural network is used to minimise logical inconsistency in interpretations of logic clauses or programs. The connection strengths are defined from the logic program; the network relaxes to neural states corresponding to a valid (or nearvalid) interpretation. 'Creativity' can be thought of as the crossing of configurational energy barriers to arrive at alternative interpretations. The formalism allows the incorporation of nonmonotonicity; nonintegral degrees of truth in rules; and nonHorn clauses. Hebbian learning in an environment with some underlying logical rules governing events is equivalent to hardwiring the network with these rules.
