即使知識表示語言是一階的，在定理證明中通用的搜索策略對實(shí)際系統(tǒng)而言也常常效率很差。然而，將推理看做定理證明，這樣帶來的理論上的簡潔性，仍舊具有很多有吸引力的特點(diǎn)。綜合的知識表示系統(tǒng)試圖在保持定理證明系統(tǒng)的理論框架的同時，在一些任務(wù)上，還獲得程序性推理在高效率方面的優(yōu)勢。

在開始時，合一和反證法的思想可以應(yīng)用于很多系統(tǒng)。但是，一個綜合的系統(tǒng)并不能完全依賴于這些技術(shù)。相反，特定形式的推理可以用更有效的專用技術(shù)來實(shí)現(xiàn)。例如，分析一個知識表示系統(tǒng)中類型層次結(jié)構(gòu)的實(shí)現(xiàn)。我們先前看到的類型層次結(jié)構(gòu)可以表示為公理[例如，Vx.DOG(x)>MAMMAL(x)]、圖或者語義網(wǎng)絡(luò)。這些技術(shù)形式上可能是等價的，但實(shí)際上會產(chǎn)生完全不同的計(jì)算性質(zhì)。

將這些技術(shù)綜合在一起的一種方法是，假定一種受限量詞邏輯相似的類型化邏輯。類型層次結(jié)構(gòu)可用語義網(wǎng)絡(luò)結(jié)構(gòu)預(yù)先定義。其中，“DOG”是“MAMMAL”的子類型，而后者又是“ANIMAL”的子類型，而“Fidol”預(yù)先定義成集合“DOG”的一個成員。已知這些知識，該知識庫表示斷言“All animals have a mother”的結(jié)果如下：

(MOTHER(?x:ANIMAL, Sk1(?x)) <-)

其中，符號？x:ANIMAL表示一個類型為“ANIMAL”的變量。通過擴(kuò)展合一算法，可以推出這種表達(dá)式。這樣，只要兩個項(xiàng)類型兼容，它們就可以合一。也就是說，只要“Fidol”是集合“ANIMAL”的成員，?x:ANIMAL與“Fido1”就可以合一。這個條件可以用圖1所示的語義網(wǎng)絡(luò)一步一步來檢查。這樣，對于查詢“Whether Fido has a mother”(Fido是否有媽媽）[即MOTHER（Fi-dol，?y）]，只用一個合一步驟就可以得到證明。

圖1 一個小型的層次體系

程序性的方法使我們可以寫出高度優(yōu)化的程序，這些程序比用公理的方法完成相同的工作要快得多。綜合的表示方法可以用類型信息的語義網(wǎng)絡(luò)對信息進(jìn)行更直覺的表示，并允許其他非演繹算法在語義網(wǎng)絡(luò)上執(zhí)行。