Re: knowledge misrepresentation and category theory

Dear Paola,

You seem to be hell bent on picking fights, and you apparently want to go down the same road on this category theory issue as with the very heated Dagstuhl debate about the knowledge graphs, which got quite a few people upset.
I am very careful about what I put online, and yes you will not find any publications yet.

You claim to be partly inspired by Buddhist philosophy and I may hope Buddhist logic, and if you are well versed in the general theories of logic you must be aware of the implications of the Godel Skolem theorems and the theorems of computability about the limitations of Turing machines.

We must strive for consistency instead of completeness.

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 Tuesday, January 14, 2020, 8:37:12 PM AST, Paola Di Maio <paoladimaio10@gmail.com> wrote:  
 
 Hi Milton

You are getting yourself onto hot and turbulent waters by putting the blame and faults with category theory. 

, I am not putting any blame on anything - again your statement is a distortion (misinterpretation, misrepresentation) of mine.Omissions and Distortions are problems cause by misrepresentationHowever I think (and wrote in my post) that Miscategorization  is a problem with category theory. Its a known problem and has many causes and manifestations, I d like to think that better KR can help reducemiscategorization. 
The problem resides with the notion of what constitutes knowledge.
 based on my research, the problem resides in knowledge misrepresentation :-) 


I am working on a set of related papers inspired by seemingly unrelated applications of category theory in cognitive science studies of the brain, ontology alignment, the notion of perception and the philosophical debate about concepts, cognitive and conceptual structures,the mathematical underpinnings of grand unified theories and theories of everything, and mathematics to reconcile the Godel Skolem theorems, string theory and quantum reality.

great. curious to read some of what your write but could not find articles on google scholardo you have a list of publications somewhere 
Again, category theory stresses consistency, and shows us systems for comparison of well thought and proven knowledge representation frameworks, not with the creation of those frameworks.
yes, because our logical models are incomplete and imperfect, the appliication of category theory can result in fallacies.I think some fuzzyness can solve at least in part thathttps://arxiv.org/abs/1410.1478  


Therefore IMHO the points you bring up are at the level of nuts and bolts construction of KR systems itself.

 Yes,  I think so. 
but in terms of logical consistency, the statement above does not followwhat you said earlier 
ADVERBYou use therefore to introduce a logical result or conclusion.https://www.collinsdictionary.com/dictionary/english/therefore  

Your conclusion does not seem to follow your earlier assertions:-)
 

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 Monday, January 13, 2020, 9:14:24 PM AST, Paola Di Maio <paola.dimaio@gmail.com> wrote:  
 
 I ll soon be sharing a paper where I mention various errors and flaws caused by poor knowledge mis- representation,in brief -1. omissions (where the knowledge is not represented)2. distortions (where the knowledge is twisted to represent something not intended)3. miscategorization (this problem is one of the challenges of category theory, not particularly well researched afaik)
I wonder if KR can help address the miscategorization problem  
  

Received on Wednesday, 15 January 2020 07:12:57 UTC