7 citations · 32 across the 24 of their papers we have counts for
24 papers
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…
Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
Zoran Majkic
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 kno…
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…
Category Theory: Symmetry Group of Comma-propagation Transformations
Zoran Majkic
In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. The arrow categories are more simpl…