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.
"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 impression is that the structures they use do not correspond very well to the structures actually used internally by humans/NNs. That would be my guess as to why KR tools aren't used more widely.
On the other hand, there are representations of certain kinds of knowledge which do seem very similar to the way humans represent knowledge - causal graphs/Bayes nets are an example which jumps to mind. And those have seen pretty wide adoption.