Re: throwing down the glove

> 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>