邏輯符號的知識表示形式可以追溯到1959年的通用問題求解器（General Problem Solver, GPS）。

20世紀70年代，專家系統(tǒng)一度成為研究熱點，基于知識推理和問題求解器的MYCIN系統(tǒng)是當時最著名的基于規(guī)則的醫(yī)學診斷專家系統(tǒng)之一，該專家系統(tǒng)知識庫擁有約600條醫(yī)學規(guī)則。

此后，20世紀80年代早期，知識表征經歷了Frame-based Languages、KL-ONE Frame Language的混合發(fā)展時期。