I've been studying the field of knowledge representation (KR) and everything I've come across is focused on building knowledge systems for machine processing. I wonder why nobody seems to have applied these ideas to make digital KR systems for human beings to use as tool for active inquiry or personal knowledge management. Reading this stuff, I get the sense that it mostly about encoding a lot of boring facts rather than helping us with the edge of discovery.
Two off-the-cuff hypotheses:
1. Lack of economic incentives to develop high-quality general user facing software for KR. These tools are too hard to use effectively in their current state to have any kind of widespread adoption outside of profit-driven business interests.
2. Inability of existing KR systems to ergonomically conform to human patterns of learning and reasoning. If so, this might be due to a lack of sufficient understanding how to transition between informal natural language based reasoning and formalized reasoning, or it may simply be that the chosen formalisms are not the best ones for empowering human thought.
On the other hand, I might be dead wrong. Maybe there has been some brilliant use of this stuff for human discovery that I am unaware of. If so, I would love to know about it.
Third hypothesis: knowledge representation isn't actually a good paradigm for either human or machine learning. Neural networks don't have to be initialized with a structure, they infer the structure from the data, just like humans do.
"Infer the structure from the data" still implies that the NN has some internal representation of knowledge. Whether the structure is initialized or learned isn't necessarily central to the question - what matters is that there is some structure, and we want to know how to represent that structure in an intelligible manner. The interesting question is then: are the structures used by "knowledge representation" researchers isomorphic to the structures learned by humans and/or NNs?
I haven't read much on KR, but my passing impres... (read more)