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.
Good hypothesis, here is why I don't think it's likely to be true.
It seems to me that when humans make explicit arguments with written language, we are doing a natural language form of knowledge representation. In science and philosophy the process of making conceptual models explicit is very useful for theory formulation and evaluation. i.e., In conceptual domains, human thinkers don't learn like today's neural nets, we don't just immerse ourselves in a sea of raw numbers and absorb the correlations. We might do something like that on the perceptual level, but with scientific and philosophical thought, we are able to abstract over experience and explicitly formulate hypotheses, theories, and arguments. We name patterns to form concepts, and then we reason about these concepts. We make arguments to contextualize and interpret the significance of observations.
All of these operations of human thinking involve a natural language version of knowledge representation. But natural language is imprecise and it doesn't scale well. It is transmitted through books and articles that pile up as information silos. I'm not saying we can or should eliminate natural language from intellectual inquiry, it will always have a role, but my question is why haven't we supplemented it with a formal knowledge representation system designed for human thinkers.