During the mid – 1960’s knowledge representation slowly emerged as a separate area of study. Several different approaches to knowledge representation began to manifest themselves and have resulted in the various formalisms in use today. The most important current approaches are sementic network, first-order logic, frames, and production systems.