Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions

arXiv:2604.09567v1 Announce Type: cross Abstract: Knowledge representation formalisms are aimed to represent general conceptual information and are typically used in the construction of the knowledge base of reasoning agent. A knowledge base can be thought of as representing the beliefs of such an agent. Like a child, a strong-AI (AGI) robot would have to learn through input and experiences, constantly progressing and advancing its abilities over time. Both with statistical AI generated by neura