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

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

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