Knowledge-Based Expert Systems: Concept
Separation of knowledge and program (Isolation, unwinding)
Dynamic generation of solution paths (Deduction, inference)
Adaptation of knowledge organisation to human thinking (Emulation)
Adaptation of knowledge formalisms to human language (Abstraction)