全局數(shù)據庫又稱事實庫,是產生式系統(tǒng)的數(shù)據結構中心,用以存放初始事實,中間事實和最后結果。
以產生式規(guī)則作為過程性知識的系統(tǒng)稱為產生式系統(tǒng)。