First order logic in neuro-symbolic integration

MaRDI QIDQ4648372zbMATH OpenFDO

Authors Saratha Sathasivam

Publication date 9 November 2012

Full work available at URL http://www.pphmj.com/abstract/6465.htm

zbMATH Keywords

propositional logiclogic programmingHopfield networkfirst order logicPinkasWan Abdullah

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Logic in artificial intelligence (68T27)

Recommendations

• Upgrading logic programming in Hopfield network
• Higher order logic programming in radial basis function neural network
• scientific article; zbMATH DE number 1875386
• First-Order Logical Neural Networks
• Logic learning in Hopfield networks

Cited in

(6)

• Logic learning in Hopfield networks
• Higher order logic programming in radial basis function neural network
• Upgrading logic programming in Hopfield network
• scientific article; zbMATH DE number 1875386 (Why is no real title available?)
• Performance comparison between pseudo inverse rule and sign constraint method
• Normal form representation in doing logic programming in Hopfield network

This page was built for publication: First order logic in neuro-symbolic integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4648372)