From the 1 of 7 linked papers with an AI index.
7 papers
Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
Zoran Majkic
The paper proposes a neuro‑symbolic framework for strong‑AI robots that combines neural learning with logical deduction using Belnap's four‑valued bilattice, introducing a Closed K…
Probabilistic Extension of Neuro-Symbolic AGI Robots based on Belnap's Typed Intensional FOL
Zoran Majkic
Neuro-symbolic AI based on is a way to combine neural learning and symbolic reasoning to overcome limitations of purely neural systems (like lack of interpretability and l…
General Categorial Geometry and Algebraic Topology
Zoran Majkic
In Categorial Topology, given a category (as a "geometric object") we can consider its properties preserved under continuous action (a "deformation") of a comma-propagation operati…
Internal Symmetry Group in Categorial Topology
Zoran Majkic
The interdefinability of the universal concepts of category theory has been introduced by Lawvere. The perfect interdefinability between the objects and arrows of some category, de…
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
Zoran Majkic
AGI (Strong AI) aims to create intelligent robots that are quasi indistinguishable from the human mind. Like a child, the AGI robot would have to learn through input and experience…
Intensional FOL: Many-Sorted Extension
Zoran Majkic
The concepts used in IFOL have associated to them a list of sorted attributes, and the sorts are the intensional concepts as well. The requirement to extend the unsorted IFOL (Inte…