外界事物 -> 程式語言物件
->電腦物理及記憶體表示

抽象化的三個層次

--KR 與 Process and Entity
知識庫 -> 推理機 <- 外部事物
-> 計算結果