全局數(shù)據(jù)庫又稱事實庫，是產(chǎn)生式系統(tǒng)的數(shù)據(jù)結(jié)構(gòu)中心，用以存放初始事實，中間事實和最后結(jié)果。

知識的表示方法給出的知識表示形式稱為知識表示模式，知識表示模式分為外部表示模式和內(nèi)部表示模式兩個層次。