Logic Programming In Neural Networks

Malaysian Journal of Computer Science

Wan Ahmad Tajuddin bin Wan Abdullah¹ 

关键词: Hopfield neural network;    Higher-order connections;    Logic programming;    Combinatorial optimisation;    Hebbian learning;   

DOI  :  

学科分类：社会科学、人文和艺术（综合）

来源: University of Malaya * Faculty of Computer Science and Information Technology

【 摘 要 】

Logic programming is carried out on a neural network. A higher-order 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 near-valid) interpretation. 'Creativity' can be thought of as the crossing of configurational energy barriers to arrive at alternative interpretations. The formalism allows the incorporation of non-monotonicity; non-integral degrees of truth in rules; and non-Horn clauses. Hebbian learning in an environment with some underlying logical rules governing events is equivalent to hardwiring the network with these rules.

【 授权许可】

Unknown