Neural-Symbolic Cognitive Reasoning | SpringerLink @AvilaGarcez https://t.co/L931UHJTxU
3,627 followers
1,612 followers
This is a main goal of neurosymbolic AI: propositional reasoning can be done entirely in neural nets, relational reasoning with variables is much harder on a fixed-size net and without external (i.e. symbolic) correction. https://t.co/pRXsOjM0at
1,461 followers
RT @luislamb: First attempt to build a neural lambda calculus. W/@FlachMarcos This builds upon an idea from our paper on Connetionism & int…
225 followers
RT @luislamb: First attempt to build a neural lambda calculus. W/@FlachMarcos This builds upon an idea from our paper on Connetionism & int…