Re: throwing down the glove

I proposed this challenge because I think it is high time we accept that knowledge representation is not only a domain of discourse in computer science, but also in physics, philosophy and the humanities, linguistics, neuro and cognitive science and psychology, and of course in mathematics and logic.

It would be nice to have a cook book with recipes for the many flavors, or better yet one standard manual or bible as Paolo calls it, to address the many forms KR can take in a wide spectrum of fields and how in each of these fields which KR kernels can be used for AI development.

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 

    On Thursday, November 3, 2022 at 12:41:19 PM AST, Dave Raggett <dsr@w3.org> wrote:  
 
 

On 3 Nov 2022, at 14:25, ProjectParadigm-ICT-Program <metadataportals@yahoo.com> wrote:
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; 


That sounds like wishful thinking to me, as I don’t think knowledge representation can do that in general.  For instance, how would RDF or PKN suffice?

(2) show that there are bounds to what current ML can do in terms of computability, 

Why limit yourself to current ML?  I am interested in how to extend ML to mimic human learning using causal reasoning based upon prior knowledge.

and(3) that explainable and trustworthy AI cannot exist without a high level KR at its core setting boundaries and criteria

Given that humans don’t embody a high level KR in the sense you seem to be using, it would imply that humans can’t be trustworthy and can’t explain themselves, which may be true for some but not all humans.
p.s. what about discussing some real examples of KR for a change, given that this is supposed to be a list devoted to KR?  
Best regards,
Dave Raggett <dsr@w3.org>