zlacker

>>mdszy+(OP)
Is it possible that the inherent context dependent ambiguities of human language make knowledge-based inference so difficult since most current knowledge is stored in human language ?

tangential question: is there a standard language for "knowledge", like how we describe math for "computation" ?

Are a part of our brains essentially compilers from human language to an internal definition of "knowledge" that leads to consciousness ?

>>vsskan+iu
There are a bunch of "standards" for representing knowledge. E.g. https://en.wikipedia.org/wiki/Semantic_Web

[Edit] Here's a wider overview: https://en.wikipedia.org/wiki/Knowledge_representation_and_r...

>>sp332+vv
Thanks for the link. It seems to talk about a knowledge graph type links between entities. It is however in a human language (here, english). I am interested in knowing if there's something analogous to "math" to represent knowledge.

>>vsskan+bw
Most of human knowledge are represented in logic. Semantic web is designed from description logic. A less powerful logic than first order logic.