在圖1的層級體系中，3rd是agr的子類型，3-sg是3rd和sg的子類型。在類型層級體系中類型可以進行合一，任意兩個類型的合一的結果是更具體的類型，比輸入的兩個類型更加具體。因此，有：

沒有定義的合一項的兩個類型進行合一，其結果是不確定的，盡管我們也可以使用符號“⊥”(Ait-kaci,1984）來表示這個失敗的類型。

第二種類型是復雜類型，它要說明：

● 與類型相適應的一組特征

● 對于這些特征的值的限制

● 在這些值之間的相等性約束

我們來研究對于復雜類型verb的一種簡化的表示，這種表示正好可以表達一致關系和動詞形態(tài)形式的信息。定義一個動詞時，要定義兩個相應的特征，一個特征是AGREE，一個特征是VFORM，還要定義這兩個特征的值的類型。我們假定特征AGREE取在圖1中定義的類型agr

的值，特征VFORM取類型vform的值(這里假定vform有7個子類型：finite, infinitive, gerund, base, present-participle, past-participle以及passive-participle)。這樣，verb可定義如下(這里按照慣例把類型記錄在AVM的頂部，或者記錄在左括號的左下部）：

與此相反，復雜類型noun可以用特征AGREE來定義，但是不用特征VFORM來定義：

除了運算組成成分特征合一的值之外，只需要能夠?qū)蓚€結構的類型也能進行合一運算，把合一運算提升到能夠運算類型化的特征結構就可以了。

復雜類型也是類型層級體系的一部分。復雜類型的子類型繼承了其父代的全部特征以及對其值的約束。例如，Sanfilippo(1993）使用類型層級體系來給詞表的層級結構進行編碼。圖6是這個層級體系的一個很小的部分，這個部分為要求句子補語的動詞的各個次范疇建立模型；它們可以分為及物動詞和不及物動詞兩種。及物動詞帶直接賓語（ask yourself whether you have become better informed), 不及物動詞不帶直接賓語（Monsieur asked whether I wanted to ride)。 類型 trans-comp-cat可導入所要求的直接賓語，這個直接賓語被約束為類型noun-phrase,而類型sbase-comp-cat則導入動詞的基本形式補語（光桿的詞干），并約束它的vform必須是動詞的基本形式。

圖6 動詞類型verb-cat的類型層級體系的一部分，說明了類型comp-cat的子類型。它們?nèi)际且缶渥友a語的動詞的次范疇（Sanfilippo,1993）

責任編輯：admin