Recently there have been a number of threads in the religion/theology forum about knowledge.
In particular, there have been multiple threads claiming that there is ONLY ONE TRVE type of knowledge.
These threads follow the "No true Scotsman" logical fallacy, endless fallacious arguments that any knowledge which doesn't fit certain biases and preconceptions isn't "true" knowledge.
However, computer scientists have spent decades studying how to get computers to approximate human knowledge and reasoning, and they've concluded that there are many different types of knowledge (as well as many different kinds of logic and reasoning).
Here's some snippets from a Wikipedia article on Knowledge Engineering:
http://en.wikipedia.org/wiki/Knowledge_engineeringKnowledge engineering (KE) was defined in 1983 by Edward Feigenbaum, and Pamela McCorduck as follows:
"KE is an engineering discipline that involves integrating knowledge into computer systems in order to solve complex problems normally requiring a high level of human expertise."
<snip>
Being still more art than engineering, KE is not as neat as the above list in practice.
<snip>
Since the mid-1980s, knowledge engineers have developed a number of principles, methods and tools to improve the knowledge acquisition and ordering. Some of the key principles are:
- There are different:
- types of knowledge each requiring its own approach and technique.
- types of experts and expertise, such that methods should be chosen appropriately.
- ways of representing knowledge, which can aid the acquisition, validation and re-use of knowledge.
- ways of using knowledge, so that the acquisition process can be guided by the project aims (goal-oriented).
- Structured methods increase the efficiency of the acquisition process.
- Knowledge Engineering is the process of eliciting Knowledge for any purpose be it Expert system or AI development
<snip>