即使說話者和聽者都沒有看見這輛車或者沒有確認它，這句話的意思也是很容易理解的。這種不定指性描述詞“acar”證實車的存在，代詞“it”用來增加這輛車的信息。這一語句很好理解，即使誰都不知道這輛車的情況。那么，當(dāng)不知道要指代的對象時，在知識庫中應(yīng)怎樣表示這個常數(shù)呢？面對這樣的問題，一些研究人員討論了完全不同層次的表示篇章實體的方法。不過在這里，我們采用了一種簡單方法，也就是使用Skolem函數(shù)來表示篇章實體。需要記住的是，Skolem函數(shù)（或Skolem常量）只是引入到表示語言中的一個新的術(shù)語。在可能的情況下，我們將邏輯形式中引入的篇章標(biāo)記作為新的Skolem常量。這樣，如果“a car”的邏輯形式為<A c1 CAR>，那么產(chǎn)生的Skolem常數(shù)就是C1。共指用等式來表示。這樣，如果一個代詞“it”的邏輯形式為（PRO i1 IT1），那么，它與C1之間是共指關(guān)系這個事實就表示為（I1=C1）。

1. 生成篇章實體

與子句的解釋類似，通常，每一個名詞短語都要生成一個篇章實體。不同的名詞短語對各自生成的篇章實體賦予不同的約束。一個不定指性名詞短語往往生成一個新的篇章實體，在知識庫中不需要進一步標(biāo)識。而一個專有名稱通常描述一個已經(jīng)在知識庫中定義的與該名稱相關(guān)的對象。一個定指性名詞短語(包括代詞)一般指一個篇章中已經(jīng)涉及的一個對象，通常是局部上下文中的篇章實體。復(fù)數(shù)名詞短語產(chǎn)生一系列對象。一個包含連詞的復(fù)雜名詞短語引發(fā)一個包含所有并列成分的集合。例如，名詞短語“John and Mary”引發(fā)三個篇章實體：John1, Mary1和集合｛John1, Mary1}。

這類短語非常重要，因為不定指性名詞短語引入了很多新的篇章實體，并且提供了處理定指性指代的更多背景。為了計算出篇章實體的集合，我們首先將邏輯表達式轉(zhuǎn)換為12.4節(jié)中的量詞表示形式，使用明確的集合，將所有自然語言的量詞化簡為全稱和存在量化表示形式。對于這個簡單的例子來說，我們假定所有的專有名稱和定指性名詞短語都已經(jīng)用知識庫中表示所指代對象的常量替換掉了。

對于復(fù)數(shù)名詞短語，無論是解釋為一個整體，還是解釋為多個個體，都要引發(fā)同一個集合。解釋為一個整體時，這個集合直接在命題中用做一個參數(shù)；而解釋為多個個體時，這個集合作為全稱量詞所指的范圍。要定義這個集合，修飾語的轉(zhuǎn)換相應(yīng)地也必須分為兩類，分別是對整個集合的約束（SR）和對集合中每一個個體的約束（IR）。例如，下面句子中的名詞短語“Three boys”的轉(zhuǎn)換：

9. Three boys lifted Fido.(三個男孩抬起了Fido。)

將引入一個SR，表示這個集合有三個元素，以及一個IR，斷言其中每一個元素都是一個孩子。圖1 對一些不定指性名詞短語的轉(zhuǎn)換進行了總結(jié)。

圖1 不定指性名詞短語的轉(zhuǎn)換

2. 全稱量詞轄域內(nèi)的不定指性名詞短語

當(dāng)一個不定指性名詞短語出現(xiàn)在一個表示個體的全稱量詞的轄域內(nèi)時，問題就復(fù)雜了。例如，在一個全稱量詞轄域內(nèi)的單個不定指性名詞短語引發(fā)的是一個集合而不是一個個體。比如下面的例子：

10a. Three boysi each bought a pizaj.(三個男孩每人買了一張比薩。）

10b. Theyi ate themj in the park.(他們在公園中吃掉了它們。）

值得注意的是，“Theyi ate itj in the park”不是句子10a的合理延續(xù)句。需要用什么屬性來定義句子10a中的“a pizza”所生成的篇章實體呢?集合{x|Piza(x)}太籠統(tǒng)，句子10b中的“themj”也不能指所有比薩的集合。較好的辦法是，“a pizza”為一個新的篇章實體P1，表示{xlPizza (x)}的子集?；谶@一解釋，句子10b中的“themj”指上一個句子中提到的比薩的集合。但是這一方法也會丟失P1內(nèi)容的信息，即P1由是句子10a中提到的男孩所買的比薩組成的集合。P1的表達可以從句子10a的最初形式中推理得到：

? b:b∈ B1.

       ヨp: Pizza(p). Buy(b, p) where I B1 l =3 & B1 ?{xI Boy(x)}

Skolem化的形式為：

? b:b∈ B1. Pizza(sk4(b)) & Buy1 (b, sk4(b))

其中，sk4(b)是新函數(shù)，用于產(chǎn)生每個男孩所買的比薩。這樣，集合P1可以定義為由這個新函數(shù)產(chǎn)生的比薩的集合：

P1={x| Pizza(x)& ヨy:y∈B1.x=sk4(y)}

這個公式準(zhǔn)確表示了這些男孩買的那些比薩。這個句子的完整分析過程如圖2所示。

圖2 由句子“Three boys each bought a pirzza”所生成的篇章實體

責(zé)任編輯：admin