林 勝 強

(四川師范大學(xué)政治教育學(xué)院,成都610066)

基于動態(tài)謂詞邏輯的漢語指代現(xiàn)象的信息處理

林 勝 強

(四川師范大學(xué)政治教育學(xué)院,成都610066)

組合性是對自然語言進行信息處理時考慮問題的出發(fā)點。動態(tài)謂詞邏輯主要是從語言信息的可計算性和組合語義的角度,使用標(biāo)準(zhǔn)一階謂詞邏輯的正統(tǒng)句法,通過對話語表現(xiàn)理論等邏輯理論進行改進而得到的。動態(tài)謂詞邏輯的提出本質(zhì)上是為了處理兩類問題:跨語句的指代消解和表示語句內(nèi)部約束關(guān)系的“驢子句”中的指代消解。動態(tài)謂詞邏輯的核心思想是使用逐漸遞增信息的動態(tài)方法對句子或者句子序列進行分析,并對于變項的指派進行擴展,或者對作為模型參照物的狀態(tài)進行流動更新。

動態(tài)謂詞邏輯;標(biāo)準(zhǔn)一階邏輯;漢語指代現(xiàn)象;信息處理

組合性原則是在對自然語言進行信息處理時考慮問題的出發(fā)點。這是因為組合性是滿足語句或篇章語義計算需求最直觀的方式之一。從計算語義學(xué)的觀點來看,在對自然語言的轉(zhuǎn)換程序中,對一個篇章已經(jīng)解釋的語境而言,希望能夠就地及時且逐次遞增地處理和翻譯隨之而來的每一個語言基本單位[1]83。

雖然Kamp的話語表現(xiàn)理論(Discourse Representation Theory)[2]具有動態(tài)地處理語義現(xiàn)象的能力,但是卻不滿足語義計算的組合性原則[3]。為了使話語表現(xiàn)理論更加符合組合性原則,Groenendijk與Stokhof提出了動態(tài)謂詞邏輯(Dynamic Predicate Logic,簡稱DPL)[4]。動態(tài)謂詞邏輯基本上只有一種結(jié)構(gòu)——程序,此邏輯是量化動態(tài)邏輯的子系統(tǒng),處于“公式即程序”語言中最基礎(chǔ)的地位[5]。從計算機科學(xué)的視角來看,動態(tài)謂詞邏輯是關(guān)于測試(testing)和變元/寄存器(register)復(fù)位(resetting)的理論[6],是重要的自然語言動態(tài)語義理論。動態(tài)謂詞邏輯具有三個主要特征:組合性的語義特征、變元/寄存器的復(fù)位特征、表達(dá)式的測試特征[3]48。在動態(tài)謂詞邏輯中,一個語句的意義依賴于語句更新解釋程序的信息的方式,而不是依賴于語句的真值條件[1]83-84。這一觀點與“意義就是算法”和“意義就是潛在的語境更新”[7]等意義的算法理論具有異曲同工之處。

動態(tài)謂詞邏輯主要是從語言信息的可計算性和組合語義的角度,使用標(biāo)準(zhǔn)一階謂詞邏輯的正統(tǒng)句法,通過對話語表現(xiàn)理論等邏輯理論進行改進而得到的。原版的動態(tài)謂詞邏輯與標(biāo)準(zhǔn)的一階謂詞邏輯相比,它們有著同樣的邏輯語言,僅僅語義有別[8],二者的主要區(qū)別體現(xiàn)在對存在量詞的轄域處理上[6]。借助霍爾規(guī)則可把動態(tài)謂詞邏輯化歸為標(biāo)準(zhǔn)的一階邏輯,使用量化動態(tài)邏輯規(guī)則也可把動態(tài)謂詞邏輯化歸為標(biāo)準(zhǔn)一階邏輯,而且標(biāo)準(zhǔn)一階邏輯也可在動態(tài)謂詞邏輯中得到解釋[8]。

相對于標(biāo)準(zhǔn)的一階謂詞邏輯而言,動態(tài)謂詞邏輯的優(yōu)越性體現(xiàn)在以下三個方面:(1)動態(tài)謂詞邏輯改革了經(jīng)典邏輯的靜態(tài)語義模型,引入了動態(tài)算子,提升了邏輯對自然語言進行信息處理的能力;(2)動態(tài)謂詞邏輯對自然語言逐步解釋的過程,正好對應(yīng)于信息的逐步流動更新過程,這符合人類運用自然語言的認(rèn)知過程,它比經(jīng)典邏輯更適合作為自然語言信息處理的邏輯基礎(chǔ)與描述工具;(3)在動態(tài)謂詞邏輯中:一個公式表示的語義對象就是賦值的可能的“輸入-輸出”序?qū)Φ募?而且它本質(zhì)上只有一種結(jié)構(gòu)——程序,可以據(jù)此編制計算機處理自然語言的程序指令,甚至可以直接提供便于計算機處理的相應(yīng)算法,從而為計算機理解自然語言提供理論依據(jù)。

一 動態(tài)謂詞邏輯的語法與語義

動態(tài)謂詞邏輯[4]的非邏輯符號包括:n-元謂詞、個體常元和變元。與標(biāo)準(zhǔn)一階邏輯或廣義量詞理論一樣,動態(tài)謂詞邏輯常用的邏輯符號也包括「(否定)、∧(合取)、∨(析取)、→(蘊涵)、?(存在量詞)、?(全稱量詞)以及=(等詞)。

在定義2中,v[x]u表示v與u的區(qū)別最多在于v指派給x的值與u指派給x的值不同。一個表達(dá)式的解釋是指它在一個可適合的模型中的語義值,其中的“〖〗”就是表示指派語義值的函數(shù)。在動態(tài)謂詞邏輯中,對于一個模型M中的賦值u而言,一個公式是真的,當(dāng)且僅當(dāng),把u輸入該公式,該公式就有一個輸出v。即:

定義3.真(truth) β相對于M中的u為真,當(dāng)且僅當(dāng),

根據(jù)這個概念,我們就可以定義一個公式什么時候是有效的,什么時候是矛盾的。

定義4.有效 β是有效的,當(dāng)且僅當(dāng),對于?M?u,β相對于M中的u為真。

定義1.動態(tài)謂詞邏輯的語法

(1)若a1,a2,…,an是個體常元或變元,R是一個n-元謂詞,則Ra1a2…an是一個公式。

(2)若a1,a2是個體常元或變元,則a1=a2是一個公式。

(4)若β與γ是公式,則[β∧γ]是一個公式。

(5)若β與γ是公式,則[β∨γ]是一個公式。

(6)若β與γ是公式,則[β→γ]是一個公式。

(7)若β是一個公式,x是一個變元,那么?xβ是一個公式。

(8)若β是一個公式,x是一個變元,那么?xβ是一個公式。

(9)除了以(1)—(8)為基礎(chǔ)所生成的公式外,沒有別的公式。

可見,動態(tài)謂詞邏輯的語法與通常的謂詞邏輯的語法是一樣的。

在動態(tài)謂詞邏輯中,一個模型M就是一個序?qū)Α碨,F〉,其中S是由個體組成的非空集合,F是一個以個體常元和謂詞作為其定義域的解釋函數(shù)。如果α是一個個體常元,那么F(α)∈S;如果α是一個n-元謂詞,那么F(α)?Sn。一個賦值u或v是把一個個體指派給每個變元的函數(shù):u(x)∈S或v(x)∈S。而V則是所有賦值函數(shù)的集合。如果a是一個變元,我們定義〖a〗v=v(a);如果a是一個個體常元,我們定義〖a〗v=F (a)。現(xiàn)在可以定義一個解釋函數(shù)(〖〗DPL)M?V×V如下(在不引起混淆的情況下,可以省略這里的上標(biāo)和下標(biāo)):

定義2.動態(tài)謂詞邏輯的語義

二 動態(tài)謂詞邏輯的動態(tài)思想

動態(tài)謂詞邏輯的核心思想是:使用逐漸遞增信息的動態(tài)方式對句子或者句子序列進行分析,并對于變項的指派進行擴展,或者對作為模型參照物的狀態(tài)進行流動更新[9]。動態(tài)謂詞邏輯本質(zhì)上只有一種結(jié)構(gòu)——程序,它的所有公式都是程序;所有的結(jié)構(gòu)都給定公式一個動態(tài)解釋,這樣,不同的語言學(xué)結(jié)構(gòu)的語法范疇與語義類型之間就沒有區(qū)別,所有的意義都是狀態(tài)之間的關(guān)系[1]88,語句的意義就是解釋程序的一個指令。因此,動態(tài)謂詞邏輯可以看作是一種“程序設(shè)計語言”,而不是對這類程序進行推理的語言。普通動態(tài)邏輯可以作為對動態(tài)謂詞邏輯進行形式化推理的一種手段。

在標(biāo)準(zhǔn)的一階謂詞邏輯中,一個公式的解釋就是賦值的集合,這些賦值驗證了這些公式。在動態(tài)謂詞邏輯中,一個公式β表示的語義對象就是賦值的可能的“輸入-輸出”序?qū)Α磚,v〉的集合。序?qū)Α磚,v〉在公式β的解釋中,當(dāng)且僅當(dāng),β是相對于狀態(tài)賦值u而言,v就是其一個可能輸出的結(jié)果。而u與v是從對象到變元的賦值,輸入賦值u和輸出賦值v之間的區(qū)別僅僅在于:被指派給一個或多個變元的那個不同對象,這表示從u到v僅僅經(jīng)過了一個步驟的變化。因此,當(dāng)對v[x]u中的輸入賦值u逐步地進行流動更新時,其輸出賦值v也得到流動更新,這樣,對句子序列的逐步分析就可以看成是特定的“輸入-輸出”程序的逐步執(zhí)行。

比如:對于u、v、w是這三個連續(xù)的輸入賦值,v[x]u表示賦值u與賦值v僅僅在一個變元x處的取值不同(這對應(yīng)于從賦值u到v僅僅經(jīng)過了一個步驟的變化),同理w[y]v表示賦值v與賦值w僅僅在變元y處取值不同(這對應(yīng)于從賦值v到w也只僅僅經(jīng)過了一個步驟的變化),這樣,從賦值u與賦值w之間就僅僅在兩個變元x與y處取值不同(這對應(yīng)于從u到w正好經(jīng)過兩個步驟的變化)。因此動態(tài)謂詞邏輯對“v[x] u”所表示的意義的規(guī)定,正好對應(yīng)于程序(或事物)的一步一步的執(zhí)行(或變化)過程,簡單地說,這種規(guī)定就保證了程序的逐步執(zhí)行過程,正好對應(yīng)于信息的逐步流動更新過程。

三 動態(tài)謂詞邏輯產(chǎn)生的必要性

指代(anaphora)是自然語言中極其普遍的語言現(xiàn)象,它對于銜接上下文、簡化表述和意義的連貫有著不可忽視的作用。指代消解(anaphora resolution)就是為指代詞確定先行詞的過程,它在機器翻譯、自然語言接口、信息抽取、文本摘要和問答系統(tǒng)等人工智能領(lǐng)域中有著重要的作用[10]264。而動態(tài)謂詞邏輯的提出本質(zhì)上是為了處理兩類問題:跨語句的指代消解和表示語句內(nèi)部約束關(guān)系的“驢子句”(donkey-sentence)中的指代消解。我們用下面三個語句的翻譯來說明動態(tài)謂詞邏輯產(chǎn)生的必要性。

(1)李四穿著黑衣,他笑著。

(2)如果一個人有頭驢,他會喜歡它。

(3)一個有驢的人都會喜歡它。

若用標(biāo)準(zhǔn)一階謂詞邏輯來翻譯自然語言語句,則指示代詞將以約束變元的形式出現(xiàn)。為了使語句(1)的第2個子句中的代詞“他”,能夠指代語句(1)中第一個子句中的“李四”,需要在所涉及的兩個子句的合取的寬域上給出一個存在量詞,這樣就可得到語句(1)在標(biāo)準(zhǔn)一階謂詞邏輯中的翻譯:

(4)?x[lisi(x)∧chuanzhuoheiyi(x)∧xiaozhuo(x)]

注意,這種翻譯并不能夠通過組合性的方法從語句(1)逐步地得到(4),因為這里對語句(1)中第一個子句的翻譯?x[lisi(x)∧chuanzhuoheiyi(x)],在(4)中不是以子句的形式出現(xiàn)的。為了滿足組合性,我們似乎應(yīng)該把(1)翻譯成:

(5)?x[lisi(x)∧chuanzhuoheiyi)]∧xiaozhuo(x)

然而,從標(biāo)準(zhǔn)一階謂詞邏輯的視角來看,這個翻譯對語句(1)來說是不恰當(dāng)?shù)?因為(5)中的存在量詞并沒有約束變元x的最后一次出現(xiàn),因而就沒有表示出(1)中的指代關(guān)系。

在標(biāo)準(zhǔn)一階謂詞邏輯中,語句(2)與(3)對應(yīng)的翻譯為:

(6)?x?y[[ren(x)∧lv(y)∧own(x,y)]→xihuan(x,y)]

由于語句(2)與語句(3)中包含不定詞項,通常把它們翻譯成存在量化語句,但是根據(jù)它們在語句(2)與語句(3)中的實際意義來看,需要用全稱量化來表示這兩個不定詞項在語句中的意義,而且相應(yīng)的全稱量詞需要在整個公式的寬域上給出。這樣,就不能把不定詞項統(tǒng)一翻譯成存在量化語句。

從組合的觀點看,語句(2)似乎更應(yīng)該翻譯成:

語句(3)似乎更應(yīng)該翻譯成:

但是,由于(7)中的變元x、y以及(8)中的變元y都是在各自的前件中出現(xiàn)的,不能夠被前件中的存在量詞約束。因此,在標(biāo)準(zhǔn)一階謂詞邏輯中,(7)與(8)的意義與(6)意義并不等價,故(7)與(8)所表示的意義也是不適當(dāng)?shù)摹?/p>

在話語表現(xiàn)理論中,像(1)—(3)這樣的語句已經(jīng)得到了成功的處理,但是組合性的翻譯問題仍然沒有得到真正的解決,而且話語表現(xiàn)理論使用的是非正統(tǒng)的邏輯語言。在話語表現(xiàn)理論中,語句(1)可以表示為:

(2)與(3)可以表示為:

從本質(zhì)上看,(9)與(4)、(10)與(6)具有同樣的真值條件,而且本質(zhì)上,(9)的結(jié)構(gòu)與(4)是一樣的,而與(5)不一樣。

動態(tài)謂詞邏輯則使用動態(tài)語義,而不是標(biāo)準(zhǔn)一階謂詞邏輯語言的標(biāo)準(zhǔn)語義,組合地來處理了像語句(1)—(3)這樣的指代現(xiàn)象,而且它所使用的句法是標(biāo)準(zhǔn)一階謂詞邏輯的正統(tǒng)句法。這些都是優(yōu)越于標(biāo)準(zhǔn)一階謂詞邏輯和話語表現(xiàn)理論的地方。具體地說,動態(tài)謂詞邏輯從組合語義和語言信息的可計算性的角度,使得用(5)、(7)與(8)來分別表示語句(1)、(2)與(3)的意義成為可能,而且其動態(tài)語義使得(5)的真值條件與(4)在標(biāo)準(zhǔn)一階謂詞邏輯的真值條件相同,(7)和(8)的真值條件與(6)在標(biāo)準(zhǔn)一階謂詞邏輯的真值條件相同。

四 動態(tài)謂詞邏輯的動態(tài)約束機制

能夠進行指代消解的自然語言語義理論主要有:動態(tài)謂詞邏輯、話語表現(xiàn)理論、動態(tài)蒙太格語法、范疇類型邏輯、增量動態(tài)邏輯,這些理論進行指代消解的機制分別對應(yīng)于:動態(tài)約束機制、中介機制、加標(biāo)機制、范疇機制、復(fù)合機制[11]。這些理論都各有利弊,相對而言,動態(tài)謂詞邏輯是一種程序設(shè)計語言。

動態(tài)謂詞邏輯進行指代消解所采取的機制是動態(tài)約束機制:在語句范圍之內(nèi)和跨語句范圍的情況下,動態(tài)謂詞邏輯把動態(tài)解釋,只限于“傳遞到”后續(xù)指示代詞的可能先行詞的可能變化的語句意義方面。

在動態(tài)謂詞邏輯的意義動態(tài)觀與程序設(shè)計語言語義學(xué)的指稱方法之間,存在著一個緊密對應(yīng):機器狀態(tài)之間的一個關(guān)系對應(yīng)于一個程序的意義。對于先行詞——指示代詞而言,一個機器狀態(tài)對應(yīng)于從對象到變元的一個賦值,這樣,一個程序的解釋就可看作是賦值的有序?qū)Φ募?即所有可能的“輸入-輸出”序?qū)Φ募?序?qū)Α磚,v〉在一個公式β的解釋中,當(dāng)且僅當(dāng),β是相對于u來評價時,v就是此評價過程的一個可能的結(jié)果。比如:在狀態(tài)u時,執(zhí)行程序π,一個可能的結(jié)果狀態(tài)是v,則可因此說,序?qū)Α磚,v〉在程序π的解釋中。因此,在動態(tài)謂詞邏輯中,意義(的某個特定方面)可以根據(jù)狀態(tài)之間的關(guān)系來描述[1]85-86。

現(xiàn)在來考察存在量化公式?x Ax在動態(tài)謂詞邏輯中的動態(tài)解釋。在標(biāo)準(zhǔn)的語義中,一個賦值u在?x Ax的解釋中,當(dāng)且僅當(dāng),存在某個賦值v,而且v在Ax的解釋中。即v把一個對象v(x)指派給x,使得v(x)∈F(A)。這里的u與v的區(qū)別最多在于:v指派給x的值與u指派給x的值不同,為此,我們用v[x]u來表示。當(dāng)動態(tài)謂詞邏輯對?x Ax進行動態(tài)處理時,所有賦值v使得v[x]u且v(x)∈F(A),其中,賦值v是相對于輸入u的一個可能的輸出。這可表示為:

對使得存在某個最多在x處與u不同的賦值w,而且w與v一起組成β的一個可能的輸入-輸出序?qū)?這表示為:

動態(tài)謂詞邏輯對?xβ的動態(tài)解釋,將由那些賦值序?qū)Α磚,v〉組成,這些序為了說明(11)與(12)的區(qū)別,需要首先說明原子公式的動態(tài)解釋。在動態(tài)謂詞邏輯中,原子公式被看作是關(guān)于“輸入賦值”的一種“測試”,其動態(tài)解釋就是:使得滿足條件的賦值通過,并使得不滿足條件的賦值被阻隔,這可表示為:

其中,對于每個i(1≤i≤n),若a是個體常元,則〖ai〗u=F(a);若a是變元,則〖ai〗u=u(a)。

因此,存在量化公式?x Ax的動態(tài)解釋:

其直觀意義是:給定一個輸入賦值u,可得到作為可能輸出的賦值v,而v最多在x中與u不同,而且v是滿足v(x)具有性質(zhì)F(A)這一條件的賦值。

這里所表示的動態(tài)解釋僅僅是,前面語句(1)“李四穿著黑衣,他笑著”這樣的跨語句指代現(xiàn)象的前一個子句?？紤]到組合性語義翻譯的原則,語句(1)的翻譯可由一個存在量化公式以及包含與存在量詞對應(yīng)的自由變元的一個公式組成合取式,即:?x Ax∧Bx。

為了得到關(guān)于這種公式的動態(tài)的組合性的指代解讀,還需要對合取式進行動態(tài)解釋:在存在量詞轄域外的x的第二次出現(xiàn)應(yīng)該被對x的第一次出現(xiàn)具有約束力的存在量詞所約束。也就是說,在動態(tài)謂詞邏輯中,合取式可以把第一個合取支中變元的值傳遞到第二個合取支中的變元上,而且一個合取式中指派給變元的值,對于進一步添加的合取支來說,也保持有效。這可表示為:

具體地說,具有輸入u的β∧γ的解釋是輸出v這一結(jié)果,當(dāng)且僅當(dāng)存在某個w,使得在u中解釋β可得到w,而且在w中解釋γ可得到v。

由于存在量詞的約束力可延伸到它的轄域以外的一個或多個合取支上,因此,我們可以對前面語句(1)所對應(yīng)的公式?x Ax∧Bx進行動態(tài)的組合性的指代消解:可見,在動態(tài)謂詞邏輯中,?x Ax∧Bx與?x[Ax∧Bx]這兩個公式的意義是一樣的。這是由于存在量詞可以約束右邊的變元:存在量詞的轄域內(nèi)部和轄域外部的變元都可被存在量詞約束。這就使得動態(tài)謂詞邏輯具有動態(tài)地解決跨語句范圍的先行詞-指示代詞關(guān)系的組合性處理的能力,在進行翻譯時,把指示代詞處理成與先行詞相對應(yīng)的一個普通變元進行即可。

一個簡單驢子句所對應(yīng)的公式就是:?x Ax→Bx。與合取式類似,為了給這個公式一個組合性的動態(tài)解釋,就必須允許蘊涵式前件中的存在量詞能夠約束它后件中的一個變元,即:前件中的存在量詞具有全域約束力。一個蘊涵式β→γ的解釋,是使得對在β→γ的解釋中的每一個序?qū)Α磚,v〉而言,存在某個賦值w使得〈v,w〉在γ的解釋中。因此,蘊涵式的動態(tài)解釋是:

其意思是:β→γ的解釋接受一個賦值u,當(dāng)且僅當(dāng),β關(guān)于u的每一個可能輸出,會得到γ的一個成功解釋,否則β→r的解釋拒絕u?？梢?蘊涵式也具有測試的特點。

至此,我們可以對語句(2)“如果一個人有頭驢,他會喜歡它”,所例示的驢子句所對應(yīng)的公式?x Ax→Bx進行組合性的動態(tài)指代消解:換言之,在動態(tài)謂詞邏輯中,蘊涵式的前件的輸出賦值v,應(yīng)該被看作是后件的輸入賦值,結(jié)果輸出賦值w。具體到?x Ax→Bx而言,對于一個輸入賦值u,前件?x Ax的結(jié)果是賦值v的集合,而這里的每一個v使得v[x]u且v(x)∈F(A)且v(x)∈F(B)?？梢?在動態(tài)謂詞邏輯中,?x Px→Qx與?x(Px→Qx)這兩個公式的意義是一樣的。

類似地,在動態(tài)謂詞邏輯中,全稱量化式的組合性的動態(tài)解釋是:

可見,全稱量化公式?x?也具有測試特點:一個輸入賦值被傳遞,當(dāng)且僅當(dāng),最多在x處與u不同的每一個賦值是β的一個真輸入;否則,此賦值將被拒絕。事實上,一個輸出賦值常常等同于相應(yīng)的輸入賦值。至此,像前面語句(3)“一個有驢的人都會喜歡它”這樣的驢子句,在動態(tài)謂詞邏輯中動態(tài)的組合性的指代消解是:

從(16)、(18)和(20)可以看出,動態(tài)謂詞邏輯的指代消解,使得我們可以用直觀的、組合性的方式跨語句的指代關(guān)系和表示語句內(nèi)部約束關(guān)系的驢子句進行直接處理,把與不定詞具有指代關(guān)系的一個代詞簡單處理成與該不定詞對應(yīng)的量詞相對應(yīng)的一個變元。

動態(tài)謂詞邏輯除了能夠處理跨語句的指代關(guān)系和表示語句內(nèi)部約束關(guān)系的“驢子句”結(jié)構(gòu)中的指代關(guān)系以外,還可用于處理涉及意義的動態(tài)方面和話語的信息流等現(xiàn)象,比如:用于分析跨句子邊界的指代關(guān)系、話語的時態(tài)結(jié)構(gòu)、命令句的語義效果、祈使句的語義作用、預(yù)設(shè)現(xiàn)象、陳述句對“共同基礎(chǔ)”(common ground)的作用等等。動態(tài)謂詞邏輯也給出了否定式和析取式的動態(tài)解釋,限于篇幅,筆者將另外撰文討論。

[1]張曉君,郝一江.動態(tài)謂詞邏輯的動態(tài)機制[J].哲學(xué)動態(tài),2010,(9):83-89.

[2]KAMP H,REYLE U.From Discourse to Logic:Introduction to Model-theoretic Semantics of Natural Language, Formal Logic an d Discourse Representation Theory[M].Dordrcht:Kluwer,1993.

[3]張曉君,鄒崇理.動態(tài)謂詞邏輯的改進與擴張[J].中國社會科學(xué)院研究生院學(xué)報,2012,(6):48-52.

[4]GROENENDIJK J,STOKHOF M.Dynamic Predicate Logic[J].Linguistics and Philosophy,1991,14(3).

[5]KOLLER A,NIEHREN J.On Underspecified Processing of Dynamic Semantics[C]//Proceedings of the 18th Conference on Computational Linguistics,2000,1-7.

[6]VISSER A.Contexts in Dynamic Predicate Logic[J].Journal of Logic Language an d Information,1998,7(1).

[7]張曉君,鄒崇理.從信息與智能交互的角度看周禮全先生的四層次意義理論——兼論語言表達(dá)式的意義理論[J].哲學(xué)研究,2012,(9):104-109.

[8]VAN EIJCK J,STOKHOF M.The Gamut of Dynamic Logics[C]//WOODS J GABBAY D M.,(eds.)Han dbook of the History of Logic,Vol.7:Logic an d the Modalities in the Twentieth Century.Nether lands:North Holland,2006.

[9]鄒崇理.語言、邏輯和信息—邏輯語法研究[M].北京:人民出版社,2002.

[10]周國棟,等.指代消解:國內(nèi)外研究現(xiàn)狀及趨勢[C]//孫茂松,陳群秀.內(nèi)容計算的研究與應(yīng)用前沿.北京:清華大學(xué)出版社,2007.

[11]張曉君.指代消解的主要方法與機制[J].畢節(jié)學(xué)院學(xué)報,2012,(10).

[責(zé)任編輯:唐 普]

H146.2

A

1000-5315(2015)06-0085-06

2015-08-20

本文系杜國平主持的國家社科基金重大項目“應(yīng)用邏輯與邏輯應(yīng)用研究”(14ZDB014)之階段性成果。

林勝強(1963—),男,四川隆昌人,四川師范大學(xué)政治教育學(xué)院副教授,研究方向為語言邏輯、應(yīng)用邏輯和邏輯哲學(xué)。