Strong-AI Autoepistemic Robots Build on Intensional First Order Logic

Zoran Majkic

Neuro-symbolic AI attempts to integrate neural and symbolic architectures in a manner that addresses strengths and weaknesses of each, in a complementary fashion, in order to suppo…