throwing down the glove

I am proposing a challenge.
To show that:(1)  KR as a high level field of mathematics can reconcile mathematics and logic, theoretical physics, neuroscience and reasoning inspired by biological structures of brains and similar neural structures; 
(2) show that there are bounds to what current ML can do in terms of computability, and(3) that explainable and trustworthy AI cannot exist without a high level KR at its core setting boundaries and criteria
My conjecture for (3) is that this is NOT POSSIBLE without a firm mathematical grounding of ontological and epistemological issues on this subject currently brought forward by computer scientists and philosophers.
Relying on natural language and continuously tweaking ML algorithms currently used especially derived from neural networks are leading us to a dead end.

Milton Ponson
GSM: +297 747 8280
PO Box 1154, Oranjestad
Aruba, Dutch Caribbean
Project Paradigm: Bringing the ICT tools for sustainable development to all stakeholders worldwide through collaborative research on applied mathematics, advanced modeling, software and standards development