AINeutralarXiv – CS AI · 14h ago6/10
🧠
Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
This academic paper proposes a neuro-symbolic approach for AGI robots combining neural networks with formal logic reasoning using Belnap's 4-valued logic system. The framework enables robots to handle unknown information, inconsistencies, and paradoxes while maintaining controlled security through axiom-based logic inference.