See introduction to Building large knowledge-based systems by Lenat and Guha (Addison-Wesley 1990; PSY KH:L 054).