時(shí)序邏輯程序語言XYZ/E的創(chuàng)新性

鄒崇理

(1.四川師范大學(xué) 邏輯與信息所， 成都 610068; 2.中國(guó)社會(huì)科學(xué)院， 北京 100732)

一、XYZ/E是邏輯和計(jì)算機(jī)科學(xué)的融合創(chuàng)新

邏輯學(xué)跟計(jì)算機(jī)科學(xué)有深刻的淵源關(guān)系。自從羅素與懷特海共同撰寫了《數(shù)學(xué)原理》后，人們期望以邏輯為基礎(chǔ)，構(gòu)建整個(gè)數(shù)學(xué)乃至科學(xué)大廈。這種邏輯主義思想使得人們對(duì)計(jì)算機(jī)科學(xué)所依據(jù)的“能行可計(jì)算”的概念進(jìn)行探索，數(shù)理邏輯學(xué)家丘奇和哥德爾、計(jì)算機(jī)科學(xué)家圖靈對(duì)“能行可計(jì)算”概念分別給出不同且等價(jià)的定義。丘奇提出Lambda演算，用來刻畫“能行可計(jì)算”的概念；哥德爾提出“一般遞歸函數(shù)”作為“能行可計(jì)算”的定義；圖靈則通過對(duì)“圖靈機(jī)”這種裝置來描述“能行可計(jì)算”的概念。“圖靈機(jī)”是現(xiàn)代計(jì)算機(jī)的理論模型，現(xiàn)代計(jì)算機(jī)科學(xué)的誕生同現(xiàn)代邏輯的思想密切相關(guān)。

唐稚松院士是我國(guó)著名的邏輯學(xué)家和計(jì)算機(jī)科學(xué)家[注]唐稚松(1925—2007)，大學(xué)與研究生就讀于清華大學(xué)哲學(xué)系，師從我國(guó)著名邏輯學(xué)家金岳霖先生學(xué)習(xí)邏輯學(xué)，后進(jìn)入中國(guó)科學(xué)院計(jì)算技術(shù)研究所工作，從事邏輯學(xué)與計(jì)算機(jī)科學(xué)的交叉研究，于1991年當(dāng)選為中國(guó)科學(xué)院院士。，他率領(lǐng)中國(guó)科學(xué)院的科研團(tuán)隊(duì)從20世紀(jì)80年代初開始，歷經(jīng)3個(gè)五年計(jì)劃的科研攻關(guān)，終于在1995年開發(fā)出世界上獨(dú)創(chuàng)的軟件工程工具系統(tǒng)XYZ(該系統(tǒng)被稱為系列化語言組，其對(duì)應(yīng)的漢語拼音為Xiliehua Yuyan Zu，簡(jiǎn)稱XYZ)。這項(xiàng)創(chuàng)新性成果榮獲1989年國(guó)家自然科學(xué)獎(jiǎng)一等獎(jiǎng)和1996年何梁何利科學(xué)技術(shù)進(jìn)步獎(jiǎng)，它是我國(guó)軟件工程領(lǐng)域發(fā)展的一個(gè)里程碑，同時(shí)也是我國(guó)為世界軟件工程領(lǐng)域做出的重要貢獻(xiàn)之一?！癤YZ系統(tǒng)是將時(shí)序邏輯和軟件工程有機(jī)結(jié)合而成的整體，時(shí)序邏輯語言XYZ/E是XYZ系統(tǒng)的核心，它既是一個(gè)時(shí)序邏輯系統(tǒng)，又是一種程序語言?！盵1]42作為XYZ軟件工具系統(tǒng)的核心，XYZ/E是基于時(shí)序邏輯的程序語言，是計(jì)算機(jī)程序的邏輯演算，或者說是用時(shí)序邏輯表述的計(jì)算機(jī)程序。邏輯和計(jì)算機(jī)科學(xué)處于“你中有我”或“我中有你”的關(guān)系，XYZ/E就是邏輯和計(jì)算機(jī)科學(xué)融合創(chuàng)新的產(chǎn)物。

XYZ/E是邏輯和計(jì)算機(jī)科學(xué)融合創(chuàng)新的著名案例。融合創(chuàng)新猶如生物學(xué)的物種嫁接，生物學(xué)可以通過已有物種的嫁接產(chǎn)生新物種：A物種+B物種=C物種，C對(duì)A和B進(jìn)行取長(zhǎng)補(bǔ)短，C既比A更實(shí)用，又比B更高效，這就是創(chuàng)新。為實(shí)現(xiàn)這種創(chuàng)新，需要找準(zhǔn)嫁接融合的切入點(diǎn)或突破口。邏輯和程序語言的嫁接融合，切入點(diǎn)在哪里？用什么樣的邏輯去跟程序語言融合？邏輯融合程序語言的什么地方？具有深厚邏輯功底和計(jì)算機(jī)科學(xué)知識(shí)的唐院士看到，時(shí)態(tài)邏輯的模型基礎(chǔ)是時(shí)間點(diǎn)由先到后延伸的序列，時(shí)間算子的性質(zhì)依靠時(shí)間點(diǎn)的先后關(guān)系來定義。而主流的可執(zhí)行程序語言的核心是對(duì)計(jì)算機(jī)狀態(tài)轉(zhuǎn)換關(guān)系(更確切說變項(xiàng)的賦值更新)的描述，時(shí)間點(diǎn)的先后關(guān)系對(duì)應(yīng)機(jī)器狀態(tài)的轉(zhuǎn)換關(guān)系。采用時(shí)態(tài)邏輯時(shí)間點(diǎn)的先后順序關(guān)系去刻畫程序語言的狀態(tài)轉(zhuǎn)換關(guān)系，這就是邏輯融合計(jì)算機(jī)程序語言的切入點(diǎn)。據(jù)此切入點(diǎn)，唐院士構(gòu)建了基于時(shí)序邏輯語義的程序語言XYZ/E。

二、XYZ/E對(duì)傳統(tǒng)時(shí)態(tài)邏輯的創(chuàng)新

更具體地講，XYZ/E依據(jù)的時(shí)序邏輯跟傳統(tǒng)的時(shí)態(tài)邏輯是有所區(qū)別的。XYZ/E的表達(dá)力對(duì)于揭示程序設(shè)計(jì)的動(dòng)態(tài)思想來說更加實(shí)用接地氣。XYZ/E依據(jù)的時(shí)序邏輯是對(duì)傳統(tǒng)時(shí)態(tài)邏輯的應(yīng)用創(chuàng)新，要明確這點(diǎn)，有必要看看唐院士是怎樣采用時(shí)態(tài)邏輯的形式語義去刻畫程序語言的狀態(tài)轉(zhuǎn)換機(jī)制的。

時(shí)序邏輯在邏輯學(xué)界也叫時(shí)態(tài)邏輯，起源于20世紀(jì)50年代的普萊爾(A.Prior)的有關(guān)研究。在哲學(xué)那里，時(shí)態(tài)邏輯作為一種形式化手段，用來解釋關(guān)于時(shí)間的哲學(xué)問題。在自然語言的形式語義研究中，時(shí)態(tài)邏輯對(duì)時(shí)間表達(dá)式的語義解釋大有用場(chǎng)。時(shí)態(tài)邏輯歷來受到計(jì)算機(jī)科學(xué)家的關(guān)注，在計(jì)算機(jī)軟件工程中，時(shí)態(tài)邏輯可以作為對(duì)計(jì)算機(jī)程序的執(zhí)行進(jìn)行規(guī)約、形式化分析和驗(yàn)證的工具。最近20多年，時(shí)態(tài)邏輯對(duì)計(jì)算機(jī)科學(xué)的發(fā)展產(chǎn)生了重要的影響，圖靈獎(jiǎng)作為“計(jì)算機(jī)界的諾貝爾獎(jiǎng)”，已經(jīng)成為計(jì)算機(jī)科學(xué)領(lǐng)域的最高榮譽(yù)。在1996年至2015年期間接近60項(xiàng)獲獎(jiǎng)成果中[注]歷年圖靈獎(jiǎng)的獲得者及其獲獎(jiǎng)成就的介紹可以參考美國(guó)計(jì)算機(jī)協(xié)會(huì)的圖靈獎(jiǎng)網(wǎng)站：http://amturing.acm.org。，有接近20項(xiàng)的成果與邏輯有著直接的關(guān)聯(lián)，尤其跟時(shí)態(tài)邏輯的關(guān)聯(lián)甚為密切。例如，1996年計(jì)算機(jī)圖靈獎(jiǎng)的獲得者阿米爾·伯努利(Amir Pnueli)的成果就是把時(shí)態(tài)邏輯方法引入到計(jì)算機(jī)科學(xué)研究中。

時(shí)態(tài)邏輯的顯著特征是：理論系統(tǒng)性強(qiáng)，形式語義清晰?；镜臅r(shí)態(tài)算子有：P，F(xiàn)，G和H。P和F稱為弱時(shí)態(tài)算子，G和H稱為強(qiáng)時(shí)態(tài)算子(作為P和F的對(duì)偶算子可以通過P和F來定義)。Pφ表示“在過去的某個(gè)時(shí)間φ是真的”，F(xiàn)φ表示“在將來的某個(gè)時(shí)間φ是真的”，其嚴(yán)格清晰的形式語義定義分別為[2]32：

在唐院士所處的年代，時(shí)態(tài)邏輯就計(jì)算機(jī)程序語言刻畫狀態(tài)轉(zhuǎn)換機(jī)制的需求來說，其短處是：沒有針對(duì)個(gè)體詞項(xiàng)的時(shí)態(tài)算子，或者說程序語言中基于數(shù)值個(gè)體詞項(xiàng)顯示出的動(dòng)態(tài)更新思想無法采用已有的時(shí)態(tài)邏輯算子進(jìn)行刻畫。時(shí)態(tài)邏輯不能直接明確地刻畫程序語言的狀態(tài)轉(zhuǎn)換控制機(jī)制；其次，時(shí)態(tài)邏輯提供的算子不夠用，而程序設(shè)計(jì)的實(shí)踐需要更多的時(shí)態(tài)算子。Pφ只能籠統(tǒng)說“φ在過去某個(gè)時(shí)間真”，而不能具體表明“φ在現(xiàn)在時(shí)間t之前的哪個(gè)過去時(shí)間點(diǎn)真”的情況，等等。

上例C語言的賦值語句有：sum=sum+i和i=i+1。其動(dòng)態(tài)含義非常明確，等號(hào)左邊的sum或i不同于等號(hào)右邊的sum或i，右邊的sum或i分別加上i或1后動(dòng)態(tài)地變成了左邊的sum或i。程序開始：sum賦值0，i賦值1；接著執(zhí)行處理框的任務(wù)，第一賦值語句中等號(hào)左邊的sum賦值0+1，即1；第二賦值語句中等號(hào)左邊的i賦值1+1，即2。然后程序進(jìn)入判斷框，由于此刻i=2, 即 i≤100為真；于是程序返回處理框，循環(huán)往復(fù)，……，直到i >100，“1+2+3+… +100”的累加得到結(jié)果，程序結(jié)束。

可執(zhí)行程序語言的長(zhǎng)處是：對(duì)體現(xiàn)狀態(tài)轉(zhuǎn)換控制機(jī)制的賦值語句的描述顯得簡(jiǎn)潔直觀，明確顯示出程序設(shè)計(jì)中的動(dòng)態(tài)更新思想。其短處則是：沒有清晰的形式語義描述，不利于程序語言的深入研究，如程序語言的模型驗(yàn)證。

唐院士的做法是：對(duì)時(shí)態(tài)邏輯和計(jì)算機(jī)程序語言兩個(gè)領(lǐng)域進(jìn)行跨學(xué)科研究。他敏銳地看到一方的長(zhǎng)處恰是另一方的短處，取長(zhǎng)補(bǔ)短，融合各自的優(yōu)勢(shì)。即，用時(shí)態(tài)邏輯具有精準(zhǔn)形式語義的長(zhǎng)處去彌補(bǔ)可執(zhí)行程序語言缺乏清晰形式語義的短處，用可執(zhí)行程序語言簡(jiǎn)潔的狀態(tài)轉(zhuǎn)換機(jī)制去激發(fā)時(shí)態(tài)邏輯提出新的時(shí)態(tài)算子。這樣獲得的時(shí)序邏輯程序語言XYZ/E既有時(shí)態(tài)邏輯那樣精致的語義理論，又能像可執(zhí)行程序語言那樣簡(jiǎn)明直觀地顯示計(jì)算機(jī)的狀態(tài)轉(zhuǎn)換機(jī)制。

唐院士創(chuàng)新的結(jié)果是：在XYZ/E中提出兩種時(shí)序算子，通常針對(duì)公式的時(shí)序算子和特別針對(duì)詞項(xiàng)的時(shí)序算子，如：“若t是項(xiàng)，則$O t也是項(xiàng)”。同時(shí)，進(jìn)一步區(qū)分兩種變量及其賦值：通常全局變量的賦值由β?lián)?，作為局部變量的時(shí)序變量的賦值由ηi負(fù)責(zé)。帶時(shí)序算子的時(shí)序變量其形式語義定義為：“對(duì)于給定的時(shí)序模型〈A, α, β, η0, η1, η2, …〉的任一狀態(tài)Si，時(shí)序邏輯中的項(xiàng)t在Si下有唯一的值，……，其中項(xiàng)$O t在Si下的值Si($O t)定義為項(xiàng)t在狀態(tài)Si+1下的值Si+1(t)”[1]220。時(shí)序模型任一狀態(tài)Si，即〈A, α, β, ηi〉下Si($O t)的值，即ηi($O t)就是ηi+1(t)。在傳統(tǒng)時(shí)態(tài)邏輯中，只有Pφ，F(xiàn)φ，Gφ和Hφ之類的表達(dá)式，時(shí)態(tài)算子的運(yùn)算對(duì)象是公式，而程序語言的賦值語句中顯示動(dòng)態(tài)思想的表達(dá)式大都是作為數(shù)值變量的個(gè)體詞項(xiàng)，對(duì)此時(shí)態(tài)算子無法直接運(yùn)算。于是，經(jīng)XYZ/E改造過的時(shí)序邏輯便提出了新的技術(shù)手段，其時(shí)序算子“$O”可以直接針對(duì)個(gè)體詞項(xiàng)進(jìn)行運(yùn)算，賦值語句的動(dòng)態(tài)更新思想一目了然。在XYZ/E的程序表述中，出現(xiàn)狀態(tài)轉(zhuǎn)換等式“$O j=j+1”之類的賦值語句，其中時(shí)序邏輯算子$O的作用是：等號(hào)左邊的$O j指下一個(gè)時(shí)刻j 的值，等號(hào)右邊的j 指當(dāng)下時(shí)刻j的值，這里ηi+1(j)顯然不同于ηi(j)，因?yàn)棣莍+1(j)=ηi(j)+1，此時(shí)的j不同于彼時(shí)的j，從ηi到ηi+1是一種轉(zhuǎn)換的動(dòng)態(tài)關(guān)系。XYZ/E用時(shí)序邏輯的語義精準(zhǔn)地刻畫了賦值語句的動(dòng)態(tài)特征。對(duì)可執(zhí)行程序語言的狀態(tài)轉(zhuǎn)換機(jī)制的表述以及對(duì)計(jì)算機(jī)程序設(shè)計(jì)來說，XYZ/E的時(shí)序邏輯非常接地氣，這是對(duì)傳統(tǒng)時(shí)態(tài)邏輯在計(jì)算機(jī)科學(xué)應(yīng)用領(lǐng)域的一種創(chuàng)新。

此外，XYZ/E相比傳統(tǒng)的時(shí)態(tài)邏輯來說，基于程序設(shè)計(jì)實(shí)踐的需求，除“$O”外，還提出了更多的時(shí)序算子：“將來時(shí)時(shí)序算子，如：下一時(shí)刻算子(即一目算子‘下一時(shí)刻’，表示成‘$O’)，必然算子(即一目算子‘從所指時(shí)刻起以后所有時(shí)刻’，表示成‘[ ]’，或通常的‘□’)，終于算子(即一目算子‘從所指時(shí)刻起某一時(shí)刻’，表示成‘〈 〉’，或通常的‘◇’)，直到算子(即二目算子‘左式真直到右式真’，表示成‘$U’)，除非算子(即二目算子‘左式真除非右式真’，表示成‘$W’)?！^去時(shí)時(shí)序算子，如：上一時(shí)刻算子(即一目算子‘上一時(shí)刻’，表示成‘(· )’或通常的‘$⊙’)……自從算子(即二目算子‘自從右式真以來左式真’，并假定右式必曾經(jīng)為真，表示成‘$S’)，回溯算子(即二目算子‘左式真可一直回溯到右式真之后’，表示成‘$B’)，故回溯算子是自從算子去掉右式必曾經(jīng)為真的假設(shè)而成?！盵1]44-45唐院士進(jìn)一步指出：“為了提高表達(dá)力，還可擴(kuò)充一組所謂狹義時(shí)序算子，◇,□,,,$U,$W,$S,$B均有其相應(yīng)的狹義算子，它們分別是◇′,□′,′,′,$U′,$W′,$S′,$B′，……”[1]47這些時(shí)序算子的深入討論這里從略。

三、XYZ/E對(duì)通常動(dòng)態(tài)邏輯的創(chuàng)新

對(duì)計(jì)算機(jī)程序的動(dòng)態(tài)轉(zhuǎn)換機(jī)制進(jìn)行專門刻畫的邏輯稱為量化動(dòng)態(tài)邏輯(Quantificational Dynamic Logic, 簡(jiǎn)稱QDL)。就程序語言動(dòng)態(tài)思想的表述而言，XYZ/E的解讀比QDL顯得簡(jiǎn)明直觀，便于掌握。對(duì)于計(jì)算機(jī)程序設(shè)計(jì)的實(shí)踐來說，XYZ/E關(guān)于狀態(tài)轉(zhuǎn)換控制機(jī)制的表述顯得更為實(shí)用，XYZ/E是動(dòng)態(tài)邏輯關(guān)于計(jì)算機(jī)程序語言應(yīng)用的一種創(chuàng)新。

φ∷≡R(t1,…,tn)|t1=t2|⊥|(|φ1→φ2|[π]φ

就前文所示C語言的算法例子而言，輸入輸出框中的兩個(gè)賦值等式之間是靜態(tài)的合取關(guān)系：sum=0且i=1。按照QDL，先執(zhí)行“sum=0”后執(zhí)行“i=1”，一個(gè)賦值函項(xiàng)能夠勝任對(duì)兩個(gè)變量的分別賦值，對(duì)第一合取支中的sum用這個(gè)賦值函項(xiàng)賦值0，對(duì)第二合取支中的i用這個(gè)函項(xiàng)賦值1。這里不是對(duì)同一個(gè)變量進(jìn)行兩次不同賦值的情況，因此談不上由這個(gè)賦值函項(xiàng)更新為另一個(gè)賦值函項(xiàng)。而處理框中的兩個(gè)賦值等式之間則是明顯的動(dòng)態(tài)合取關(guān)系：sum=sum+i且i=i+1。按照QDL，先執(zhí)行sum=sum+i后執(zhí)行i=i+1，針對(duì)第一合取支，等號(hào)左邊的sum和等號(hào)右邊的sum，賦值函項(xiàng)必須更新，設(shè)賦值函項(xiàng)a和b，a對(duì)等號(hào)右邊的sum賦一個(gè)值，這個(gè)值加上1后成為更新a后獲得的另一賦值函項(xiàng)b對(duì)等號(hào)左邊的sum的賦值。然后針對(duì)第二合取支，需要從賦值函項(xiàng)b更新到另一賦值函項(xiàng)c的操作(過程類似第一合取支)。盡管QDL對(duì)程序序列的語義解讀具有普適性，能夠適用于程序語言賦值語句的動(dòng)態(tài)合取，也可以解讀程序語言賦值語句的靜態(tài)合取(這里賦值函項(xiàng)的情況是a=b=c)，但是從簡(jiǎn)明直觀的角度看，QDL對(duì)程序序列的動(dòng)態(tài)特征和靜態(tài)特征的區(qū)分是不夠明顯的。

XYZ/E是建立在時(shí)序邏輯基礎(chǔ)上的程序語言，與QDL相比，XYZ/E更貼近程序語言的實(shí)際情況。唐院士多次強(qiáng)調(diào)，計(jì)算機(jī)科學(xué)本質(zhì)上是一種技術(shù)科學(xué)，一旦面臨理論訴求和技術(shù)實(shí)用的選擇時(shí)，XYZ/E必定傾向技術(shù)的實(shí)用性。為使XYZ/E更方便服務(wù)于廣大程序設(shè)計(jì)人員，讓他們更容易理解程序賦值語句的動(dòng)態(tài)思想，XYZ/E對(duì)QDL的改進(jìn)有：

其次，XYZ/E從特定的角度對(duì)程序的動(dòng)態(tài)特征和靜態(tài)特征給予區(qū)分?？紤]到理解的直觀簡(jiǎn)明，XYZ/E通過程序基本構(gòu)件的外部特征來顯示程序的動(dòng)態(tài)特征和靜態(tài)特征，使得二者的區(qū)別顯而易見。照唐院士看來，程序的動(dòng)態(tài)特征通過程序構(gòu)件中包含時(shí)序變量不同時(shí)刻賦值的條件元的演進(jìn)推移體現(xiàn)出來，而程序的靜態(tài)特征則指程序構(gòu)件中條件元的依次合取而沒有發(fā)生時(shí)序變量在不同時(shí)刻的賦值。在其構(gòu)造的XYZ/E中，對(duì)基本構(gòu)件(單元)的表述進(jìn)行了精巧構(gòu)思，在程序的外貌上區(qū)分程序的動(dòng)態(tài)特征和靜態(tài)特征。XYZ/E的基本構(gòu)件單元的表述為：□[A1, …, An] WHERE B1∧, …,∧Bm。

當(dāng)基本構(gòu)件單元中的n≥2，m=0時(shí)，單元中時(shí)序算子□限制的諸條件元A1, …, An之間體現(xiàn)了一種動(dòng)態(tài)的演進(jìn)過程。譬如：求階乘0!,1!,…, k!的和，即s=SUM(i=0, …, k)(i!)。XYZ/E的一種表述是：

□ [LB=START_sf∧k≥0 ? $Oi=0∧$Or=0∧$Oj=0∧$OLB=11；

A1

LB=11∧i=k+1 ? $Os=r∧$OLB=STOP；

A2

LB=11∧i≠k+1 ? $Of=1∧$Oj=1∧$OLB=l2；

A3

LB=l2∧j=i+1 ? $OLB=l3；

A4

LB=l2∧j≠i+1 ? $Of=f*j∧$Oj=j+l∧$OLB=12；

A5

LB=l3 ? $Or=r+f∧$Oi=i+l∧$OLB=11]

A6

從A1到A2，…，到A6，顯示出計(jì)算機(jī)的狀態(tài)轉(zhuǎn)換，每一Ai中都含有時(shí)序算子“$O”對(duì)時(shí)序變量的運(yùn)算。尤其條件元A5中的“$O j=j+1”，條件元A6中的“$O r=r+f”和“$O i=i+l”均表現(xiàn)出同一時(shí)序變量在不同時(shí)刻下賦值的情況，這是XYZ/E對(duì)程序動(dòng)態(tài)演進(jìn)特征一種幾乎直白的表述。

當(dāng)基本構(gòu)件單元中的n=1，m≥1時(shí)，單元中的WHERE部分，其中各條件元B1,…,Bm之間體現(xiàn)的是一種靜態(tài)的邏輯合取。因?yàn)楹先≈еg只有單純的毗連，并沒有出現(xiàn)同一時(shí)序變量在不同時(shí)刻下賦值的情況。對(duì)上述例證XYZ/E的另一種表述是：

□[LB=START_sf∧k≥0 ? ◇(s=SUM(i=0,…,k)(i!)∧LB=STOP)]

A1

WHERE(sumfact(s,k) ? s=SUM(i=0,…,k)(i!)∧

B1

(sumfact(1,0)∧(fact(h,m)∧s=r+h∧sumfact(r,m-1) ? sumfact(s,m)))∧

B2

(fact(1,0)∧fact(g,n-1)∧f=g*n ? fact(f,n))

B3

B1—B3皆是有關(guān)數(shù)學(xué)概念的定義。就B3而言，這是一個(gè)數(shù)學(xué)歸納定義，其通俗解讀為：歸納基始：0!=1；歸納：若n-1!=g則n!=g×n。于是有：1!=0!×1，2!=1!×2，3!=2!×3…。這里程序的外部特征是：B1—B3的內(nèi)部沒有出現(xiàn)時(shí)序算子“$O”，皆不涉及時(shí)序變量的動(dòng)態(tài)賦值，因而從B1到B2到B3皆是靜態(tài)合取，表現(xiàn)了程序的靜態(tài)特征。

總之，對(duì)計(jì)算機(jī)編程人員來說，從程序表述的外部特征去領(lǐng)會(huì)和掌握其動(dòng)態(tài)思想，XYZ/E顯得簡(jiǎn)明直觀，而量化動(dòng)態(tài)邏輯QDL的方式則顯得艱深難懂。對(duì)涉及大量人員使用的科學(xué)技術(shù)來說，把復(fù)雜的表述簡(jiǎn)單化，這也是一種進(jìn)步和創(chuàng)新。

四、結(jié)語

時(shí)序邏輯程序語言XYZ/E是新世紀(jì)前的產(chǎn)物，其時(shí)序邏輯和計(jì)算機(jī)程序語言的融合創(chuàng)新，能夠給今天的人們帶來新的啟示和思考：往小處說，我們有必要吸取唐院士的成果，按照當(dāng)今計(jì)算機(jī)程序語言的實(shí)際需求，探索揭示程序動(dòng)態(tài)更新思想的更為直觀簡(jiǎn)明的方式，譬如基于語言邏輯和計(jì)算機(jī)程序領(lǐng)域的跨學(xué)科思考，采用組合范疇語法CCG的方式去分析和表述賦值語句的動(dòng)態(tài)特征；往大處講，我們要發(fā)揚(yáng)唐院士的治學(xué)精神，強(qiáng)調(diào)交叉融合的跨學(xué)科思考。唐院士能夠在計(jì)算機(jī)軟件領(lǐng)域把西方的邏輯和數(shù)學(xué)理論同計(jì)算機(jī)程序語言的動(dòng)態(tài)特征融合起來，這種融合的做法源于他對(duì)博大精深的中國(guó)古代哲學(xué)思想如孔子的中庸哲學(xué)和佛教的認(rèn)識(shí)論哲學(xué)等具有深刻的領(lǐng)悟。金岳霖先生認(rèn)為中國(guó)哲學(xué)非常簡(jiǎn)潔，富有暗示性，包容獨(dú)創(chuàng)思想。唐院士秉承師訓(xùn)，在計(jì)算機(jī)科學(xué)領(lǐng)域通過融合創(chuàng)新的方式做出巨大成就。計(jì)算機(jī)圖靈獎(jiǎng)獲得者伯努利(Pnueli)等人評(píng)價(jià)道：“唐稚松教授使時(shí)序邏輯概念超越了任何人的想像，他將之應(yīng)用于各方面，在以前無人認(rèn)為是可能的。”[5]日本軟件工程學(xué)會(huì)主席岸田孝一先生也給予高度贊揚(yáng)：唐院士的成就是東方文明對(duì)于新的21世紀(jì)計(jì)算機(jī)技術(shù)發(fā)展的一大貢獻(xiàn)。