知識(shí)表示系統(tǒng)中有兩種推理技術(shù)，程序性推理和描述性推理。大部分系統(tǒng)把這兩種方法在某種程度上結(jié)合起來(lái)，這些做法從完全的描述性表示逐步過(guò)渡到完全的程序性表示，從而具有連續(xù)統(tǒng)一性。這種連續(xù)統(tǒng)一的描述性一端是基于邏輯的定理證明器。在這一推理方法中，知識(shí)庫(kù)是一個(gè)公理的集合，而推理過(guò)程通過(guò)演繹性的定理證明算法來(lái)實(shí)現(xiàn)。在一個(gè)嚴(yán)格的描述性推理系統(tǒng)中，重點(diǎn)是給知識(shí)表示中的表達(dá)式賦予某種形式的語(yǔ)義，而這些表達(dá)式是獨(dú)立于推理模塊的。

另一方面，程序性推理系統(tǒng)強(qiáng)調(diào)的是表示的推理方面，在極端情況下，知識(shí)庫(kù)中的表達(dá)式?jīng)]有被賦予任何其他意義，完全獨(dú)立于程序是操作這些表達(dá)式的方式?；诔绦蛐缘谋硎鞠到y(tǒng)的一個(gè)例子可以是這樣的系統(tǒng)：沒(méi)有任何關(guān)于數(shù)學(xué)知識(shí)的外在表示(如Peano算術(shù)公理）的情況下，利用計(jì)算機(jī)內(nèi)嵌的算術(shù)函數(shù)來(lái)計(jì)算算術(shù)表達(dá)式的值。實(shí)際上，程序性系統(tǒng)在定義完備的領(lǐng)域的特定推理任務(wù)中是非常有效的。但更多的情況是，由于形式化的缺乏，導(dǎo)致很難對(duì)其進(jìn)行分析。

考慮這樣的例子。這一推理過(guò)程可以是程序性的或描述性的。一個(gè)完全的描述性推理方法中，將關(guān)于子類(lèi)型和角色的事實(shí)刻畫(huà)為公理，通過(guò)標(biāo)準(zhǔn)的演繹推理得到繼承的屬性。比如，給定圖1中的簡(jiǎn)單網(wǎng)絡(luò)，下面的一階謂詞演算公理可以表示這一信息：

1. ? x. ACTION(x) ? 彐a. AGENT(x, a) & ANIMATE(a)

2. ? a 彐 x. ACTION(x) & AGENT(x, a) ? ANIMATE(a)

3. ? x. OBJ/ACTION(x) ?ACTION(x)

4. ? x. OBJ/ACTION(x) ? 彐o. THEME(x, o) & PHYSOBJ(o)

5. ? o 彐 x. OBJ/ACTION(x) & THEME(x, o) ? PHYSOBJ(o)

利用這些公理，可以證明類(lèi)OBJ/ACTION繼承了AGENT的角色。換言之，對(duì)于任何對(duì)象A，如果OBJ/ACTION（A）為真，則可以證明A具有agent的功能；即根據(jù)公理1和公理3可以得到：

彐 a. AGENT(A, a) & ANIMATE(a)

上面例子的一個(gè)程序性版本是這樣一個(gè)程序：從指定的節(jié)點(diǎn)OBJ/ACTION開(kāi)始，尋找該節(jié)點(diǎn)的所有角色，然后順著S邊到達(dá)父類(lèi)ACTION，再找到附屬于它的角色。這一過(guò)程得到的所有角色的集合就是答案。這樣，任何OBJ/ACTION都具有AGENT角色，此功能是從類(lèi)ACTION繼承來(lái)的。

圖1 簡(jiǎn)單繼承的例子

雖然這兩種技術(shù)得到相同的結(jié)果，但是前者利用的是演繹技術(shù)，而后者利用的是遍歷整幅圖的方法。前者具有較嚴(yán)格的定義，而后者可能執(zhí)行效率更高。類(lèi)似于這個(gè)例子，在可以證明這兩種技術(shù)能夠得到相同結(jié)果的情況下，可以采用這兩種方法的長(zhǎng)處，即嚴(yán)格定義的語(yǔ)義和高效的推理過(guò)程。

責(zé)任編輯：admin