人工智能邏輯學

1、人工智能邏輯學常識推理中的某些弗協(xié)調(diào)、非單調(diào)和容錯性因素 AI 研究的一個目標 就是用機器智能模擬人的智能，它選擇各種能反映人的智能特征的問題進行實 踐，希望能做出各種具有智能特征的軟件系統(tǒng)。 AI 研究基于計算途徑，因此要 建立具有可操作性的符號模型。一般而言， AI 關(guān)于智能系統(tǒng)的符號模型可描述 為：由一個知識載體(稱為知識庫 KB)和一組加載在KB上的足以產(chǎn)生智能行 為的過程(稱為問題求解器 PS)構(gòu)成。經(jīng)過20世紀70年代包括專家系統(tǒng)的發(fā) 展，AI研究者逐步取得共識，認識到知識在智能系統(tǒng)中力量，即一般的智能系 統(tǒng)事實上是一種基于知識的系統(tǒng)，而知識包括專門性知識和常識性知識，前者 亦可看

2、做是某一領(lǐng)域內(nèi)專家的常識。于是，常識問題就成為 AI 研究的一個核心 問題，它包括兩個方面：常識表示和常識推理，即如何在人工智能中清晰地表 示人類的常識，并運用這些常識去進行符合人類行為的推理。顯然，如此建立 的常識知識庫可能包含矛盾，是不協(xié)調(diào)的，但這種矛盾或不協(xié)調(diào)應不至于影響 到進行合理的推理行為；常識推理還是一種非單調(diào)推理，即人們基于不完全的 信息推出某些結(jié)論，當人們得到更完全的信息后，可以改變甚至收回原來的結(jié) 論；常識推理也是一種可能出錯的不精確的推理模式，是在容許有錯誤知識的 情況下進行的推理，簡稱容錯推理。而經(jīng)典邏輯拒斥任何矛盾，容許從矛盾推 出一切命題；并且它是單調(diào)的，即承認如下的

3、推理模式：如果p?r,則pu q?r;或者說，任一理論的定理屬于該理論之任一擴張的定理集。因此，在處理常識 表示和常識推理時，經(jīng)典邏輯應該受到限制和修正，并發(fā)展出某些非經(jīng)典的邏 輯，如次協(xié)調(diào)邏輯、非單調(diào)邏輯、容錯推理等。有人指出，常識推理的邏輯是 次協(xié)調(diào)邏輯和非單調(diào)邏輯的某種結(jié)合物，而后者又可看做是對容錯推理的簡單 且基本的情形的一種形式化?！按螀f(xié)調(diào)邏輯” (Paraconsistent Logic ) 是由普里斯特、達科斯塔等人在對悖論的研究 中發(fā)展 出來的，其基本想法是：當在一個 理論 中發(fā)現(xiàn)難以克服的矛盾或悖論時，與其徒勞地想盡各種 辦法去排除或防范它們，不如干脆讓它們留在理論體系內(nèi)，但

4、把它們“圈禁” 起來，不讓它們?nèi)我鈹U散，以免使我們所創(chuàng)立或研究的理論成為“不足道” 的。于是，在次協(xié)調(diào)邏輯中，能夠容納有意義、有價值的“真矛盾”，但這些 矛盾并不能使系統(tǒng)推出一切，導致自毀。因此，這一新邏輯具有一種次于經(jīng)典 邏輯但又遠遠高于完全不協(xié)調(diào)系統(tǒng)的協(xié)調(diào)性。次協(xié)調(diào)邏輯家們認為，如果在一 理論T中，一語句A及其否定?A都是定理，則T是不協(xié)調(diào)的；否則，稱T是協(xié) 調(diào)的。如果T所使用的邏輯含有從互相否定的兩公式可推出一切公式的規(guī)則或 推理，則不協(xié)調(diào)的T也是不足道的(trivial)。因此，通常以經(jīng)典邏輯為基礎(chǔ)的 理論，如果它是不協(xié)調(diào)的，那它一定也是不足道的。這一現(xiàn)象表明，經(jīng)典邏輯 雖可用于研究協(xié)

5、調(diào)的理論，但不適用于研究不協(xié)調(diào)但又足道的理論。達科斯 塔在20世紀60年代構(gòu)造了一系列次協(xié)調(diào)邏輯系統(tǒng) Cn( K n W,以用作不 協(xié)調(diào)而又足道的理論的邏輯工具。對次協(xié)調(diào)邏輯系統(tǒng)Cn的特征性描述包括下述(iii) 應(i) 和 (ii)命題：(i)矛盾律?(AU?A)不普遍有效；(ii)從兩個相互否定的公式 A和?A推不 出任意公式；即是說，矛盾不會在系統(tǒng)中任意擴散，矛盾不等于災難。 當容納與(i)和(ii)相容的大多數(shù)經(jīng)典邏輯的推理模式和規(guī)則。這里，表明了對矛盾的一種相對寬容的態(tài)度， (iii) 則表明次協(xié)調(diào)邏輯對于經(jīng)典邏輯仍 有一定的繼承性。 在任一次協(xié)調(diào)邏輯系統(tǒng)Cn(1w n w)中，下

6、述經(jīng)典邏輯的定 理或推理模式都不成立：？(A u ?A) A u ?A B A- (?A B) (A?A) - B（A?A）?B A ?A （?A u （A u B） B（AB）（?B?A）若以 CO為經(jīng)典邏輯， 則系列CO, C1, C2,Cn,Cw使得對任正整數(shù)i有Ci弱于Ci-1 , Cw是這系 列中最弱的演算。已經(jīng)為Cn設(shè)計出了合適的語義學，并已經(jīng)證明 Cn相對于此 種語義是可靠的和完全的，并且次協(xié)調(diào)命題邏輯系統(tǒng)Cn還是可判定的。現(xiàn)在，已經(jīng)有人把次協(xié)調(diào)邏輯擴展到模態(tài)邏輯、時態(tài)邏輯、道義邏輯、多值邏輯、集 合論等領(lǐng)域的研究中，發(fā)展了這些領(lǐng)域內(nèi)的次協(xié)調(diào)理論。顯然，次協(xié)調(diào)邏輯將 會得到更進一

7、步的發(fā)展。 非單調(diào)邏輯是關(guān)于非單調(diào)推理的邏輯，它的研究 開始于20世紀80年代。1980年，D 麥克多莫特和J 多伊爾初步嘗試著系統(tǒng) 發(fā)展一種關(guān)于非單調(diào)推理的邏輯。他們在經(jīng)典謂詞演算中引入一個算子M表示某種“一致性”斷言，并將其看做是模態(tài)概念，通過一定程序把模態(tài)邏輯系 統(tǒng)T、S4和S5翻譯成非單調(diào)邏輯。B 摩爾的論文非單調(diào)邏輯的語義思考 （1983）據(jù)認為在非單調(diào)邏輯方面作出了令人注目的貢獻。他在“缺省推理” 和“自動認知推理”之間做了區(qū)分，并把前者看作是在沒有任何相反信息和缺 少證據(jù)的條件下進行推理的過程，這種推理的特征是試探性的：根據(jù)新信息， 它們很可能會被撤消。自動認知推理則不是這種類型

8、，它是與人們自身的信念 或知識相關(guān)的推理，可用它模擬一個理想的具有信念的有理性的代理人的推 理。對于在 計算 機和人工智能中獲得成功的 應用 而言，非單調(diào)邏輯尚需進 一步發(fā)展。 摘要 本文認為， 計算 機 科學 和人工智能將是 21 世紀邏輯 學 發(fā)展 的主要動力源泉，并且在很大程度上將決定 21 世紀邏輯學的面貌。至 少在 21 世紀早期，邏輯學將重點關(guān)注下列論題：（ 1）如何在邏輯中處理常識 推理的弗協(xié)調(diào)、非單調(diào)和容錯性因素？（ 2）如何使機器人具有人的創(chuàng)造性智 能，如從經(jīng)驗證據(jù)中建立用于指導以后行動的可錯的歸納判斷？（3）如何進行知識表示和知識推理，特別是基于已有的知識庫以及各認知主體相

9、互之間的知 識而進行的推理？（ 4）如何結(jié)合各種語境因素進行 自然 語言理解和推理，使 智能機器人能夠用人的自然語言與人進行成功的交際？等等。 關(guān)鍵詞 人 工智能，常識推理，歸納邏輯，廣義內(nèi)涵邏輯，認知邏輯，自然語言邏輯 人類 智能的本質(zhì)特征和最高表現(xiàn)是創(chuàng)造。在人類創(chuàng)造的過程中，具有必然性的演繹 推理固然起重要作用，但更為重要的是具有某種不確定性的歸納、類比推理以 及模糊推理等。因此，計算機要成功地模擬人的智能，真正體現(xiàn)出人的智能品 質(zhì)，就必須對各種具有不確定性的推理模式進行研究。 首先是對歸納推理和歸 納邏輯的研究。這里所說的“歸納推理”是廣義的，指一切擴展性推理，它們 的結(jié)論所斷定的超出了

10、其前提所斷定的范圍，因而前提的真無法保證結(jié)論的 真，整個推理因此缺乏必然性。具體說來，這種意義的“歸納”包括下述 內(nèi) 容 ：簡單枚舉法；排除歸納法，指這樣一些操作：預先通過觀察或?qū)嶒灹谐霰?研究現(xiàn)象的可能的原因，然后有選擇地安排某些事例或?qū)嶒?，根?jù)某些標準排 除不相干假設(shè)，最后得到比較可靠的結(jié)論；統(tǒng)計概括：從關(guān)于有窮數(shù)目樣本的 構(gòu)成的知識到關(guān)于未知總體分布構(gòu)成的結(jié)論的推理；類比論證和假說演繹法， 等等。盡管休謨提出著名的“歸納 問題 ”，對歸納推理的合理性和歸納邏輯 的可能性提出了深刻的質(zhì)疑，但我認為，（ 1）歸納是在茫茫宇宙中生存的人類 必須采取也只能采取的認知策略，對于人類來說具有實踐的必

11、然性。（ 2）人類 有理由從經(jīng)驗的重復中建立某種確實性和 規(guī)律 性，其依據(jù)就是確信宇宙中存 在某種類似于 自然 齊一律和客觀因果律之類的東西。這一確信是合理的，而 用純邏輯的理由去懷疑一個關(guān)于世界的事實性斷言則是不合理的，除非這個斷 言是邏輯矛盾。（ 3）人類有可能建立起局部合理的歸納邏輯和歸納方法 論。應用 。顯然，它在 21 世紀將繼續(xù)得到3 廣義內(nèi)涵邏輯 經(jīng)典邏輯只是對命題聯(lián)結(jié)詞、個體詞、 自然 語言中，除了這些語言成分之外，并且，歸納邏輯的這種可能性正在計算機 科學 和人工智能的研究推動下慢慢 地演變成現(xiàn)實。恩格斯早就指出，“ 社會 一旦有技術(shù)上的需要，則這種需要 比十所大學更能把科學

12、推向前進?！?有人通過指責現(xiàn)有的歸納邏輯不成 熟，得出“歸納邏輯不可能”的結(jié)論，他們的推理本身與歸納推理一樣，不具 有演繹的必然性。（ 4）人類實踐的成功在一定程度上證明了相應的經(jīng)驗知識的 真理性，也就在一定程度上證明了歸納邏輯和歸納方法論的力量。毋庸否認， 歸納邏輯 目前 還很不成熟。有的學者指出，為了在機器的智能模擬中克服對 歸納模擬的困難而有所突破，應該將歸納邏輯等有關(guān)的基礎(chǔ)理論研究與機器 學 習 、不確定推理和神經(jīng) 網(wǎng)絡 學習模型與歸納學習中已有的成果結(jié)合起來。只 有這樣，才能在已有的歸納學習成果上，在機器歸納和機器發(fā)現(xiàn)上取得新的突 破和進展。 這是一個極有價值且極富挑戰(zhàn)性的課題，無疑

13、在 21 世紀將得 到重視并取得進展。 再談模糊邏輯?，F(xiàn)實世界中充滿了模糊現(xiàn)象，這些現(xiàn)象反 映到人的思維中形成了模糊概念和模糊命題，如“矮個子”、“美人”、“甲 地在乙地附近”、“他很年輕”等。 研究 模糊概念、模糊命題和模糊推理的 邏輯 理論 叫做“模糊邏輯”。對它的研究始于 20世紀 20年代，其代表性人 物是L A 查德和P- N 馬林諾斯。模糊邏輯為精確邏輯（二值邏輯）解決不 了的 問題 提供了解決的可能，它 目前 在醫(yī)療診斷、故障檢測、氣象預報、 自動控制以及人工智能研究中獲得重要 更大的 發(fā)展 。謂詞、量詞和等詞進行了研究，但在 顯然還存在許多其他的語言成分，如各種各樣的副詞，包括

14、模態(tài)詞“必然”、 “可能”和“不可能”、時態(tài)詞“過去”、“現(xiàn)在”和“未來”、道義詞“應 該”、“允許”、“禁止”等等，以及各種認知動詞，如“思考”、“希 望”、“相信”、“判斷”、“猜測”、“考慮”、“懷疑”，這些認知動詞 在邏輯和 哲學 文獻 中被叫做“命題態(tài)度詞”。對這些副詞以及命題態(tài)度詞的 邏輯研究可以歸類為“廣義內(nèi)涵邏輯”。 大多數(shù)副詞以及幾乎所有命題態(tài)度詞 都是內(nèi)涵性的，造成內(nèi)涵語境，后者與外延語境構(gòu)成對照。外延語境又叫透明 語境，是經(jīng)典邏輯的組合性原則、等值置換規(guī)則、同一性替換規(guī)則在其中適用 的語境；內(nèi)涵語境又稱晦暗語境，是上述規(guī)則在其中不適用的語境。相應于外 延語境和內(nèi)涵語境的區(qū)

15、別，一切語言表達式（包括自然語言的名詞、動詞、形 容詞直至語句）都可以區(qū)分為外延性的和內(nèi)涵性的，前者是提供外延語境的表 達式，后者是提供內(nèi)涵性語境的表達式。例如，殺死、見到、擁抱、吻、砍、 踢打、與下棋等都是外延性表達式，而知道、相信、認識、必然、可能、 允許、禁止、過去、現(xiàn)在、未來等都是內(nèi)涵性表達式。 在內(nèi)涵語境中會出現(xiàn)一 些復雜的情況。首先，對于個體詞項來說，關(guān)鍵性的東西是我們不僅必須考慮 它們在現(xiàn)實世界中的外延，而且要考慮它們在其他可能世界中的外延。例如， 由于“必然”是內(nèi)涵性表達式，它提供內(nèi)涵語境，因而下述推理是非有效的： 晨星必然是晨星， 晨星就是暮星， 所以，晨星必然是暮星。 這是

16、因為：這個 推理只考慮到“晨星”和“暮星”在現(xiàn)實世界中的外延，并沒有考慮到它們在 每一個可能世界中的外延，我們完全可以設(shè)想一個可能世界，在其中“晨星” 的外延不同于“暮星”的外延。因此，我們就不能利用同一性替換規(guī)則，由該 推理的前提得出它的結(jié)論：“晨星必然是暮星”。其次，在內(nèi)涵語境中，語言 表達式不再以通常是它們的外延的東西作為外延，而以通常是它們的內(nèi)涵的東 西作為外延。以“達爾文相信人是從猿猴進化而來的”這個語句為例。這里，達爾文所相信的是“人是從猿猴進化而來的”所表達的思想，而不是它所指稱 的真值，于是在這種情況下，“人是從猿猴進化而來的”所表達的思想（命 題）就構(gòu)成它的外延。再次，在內(nèi)涵

17、語境中，雖然適用于外延的函項性原則不 再成立，但并不是非要拋棄不可，可以把它改述為新的形式：一復合表達式的 外延是它出現(xiàn)于外延語境中的部分表達式的外延加上出現(xiàn)于內(nèi)涵語境中的部分 表達式的內(nèi)涵的函項。這個新的組合性或函項性原則在內(nèi)涵邏輯中成立。 一般 而言，一個好的內(nèi)涵邏輯至少應滿足兩個條件：（ i ）它必須能夠處理外延邏輯 所能處理的問題；（ ii ）它還必須能夠處理外延邏輯所不能處理的難題。這就 是說，它既不能與外延邏輯相矛盾，又要克服外延邏輯的局限。這樣的內(nèi)涵邏 輯目前正在發(fā)展中，并且已有初步輪廓。從術(shù)語上說，內(nèi)涵邏輯除需要真、 假、語句真值的同一和不同、集合或類、謂詞的同范圍或不同范圍等

18、外延邏輯 的術(shù)語之外，還需要同義、內(nèi)涵的同一和差異、命題、屬性或概念這樣一些術(shù) 語。廣而言之，可以把內(nèi)涵邏輯看作是關(guān)于象“必然”、“可能”、“知 道”、“相信”，“允許”、“禁止”等提供內(nèi)涵語境的語句算子的一般邏 輯。在這種廣義之下，模態(tài)邏輯、時態(tài)邏輯、道義邏輯、認知邏輯、問題邏輯 等都是內(nèi)涵邏輯。不過，還有一種狹義的內(nèi)涵邏輯，它可以粗略定義如下：一 個內(nèi)涵邏輯是一個形式語言，其中包括（ 1）謂詞邏輯的算子、量詞和變元，這 里的謂詞邏輯不必局限于一階謂詞邏輯，也可以是高階謂詞邏輯；（2）合式的入一表達式，例如（入x）A，這里A是任一類型的表達式，x是任一類型的變 元，（入x）A本身是一函項，它

19、把變元x在其中取值的那種類型的對象映射到 A 所屬的那種類型上；（3）其他需要的模態(tài)的或內(nèi)涵的算子，例如 ？，u、u。而 一個內(nèi)涵邏輯的解釋，則由下列要素組成：（ 1）一個可能世界的非空集 W；（2） 一個可能個體的非空集D;（ 3） 一個賦值，它給系統(tǒng)內(nèi)的表達式指派它 們在每wW中的外延。對于任一的解釋 Q和任一的世界w W判定內(nèi)涵邏輯 系統(tǒng)中的任一表達式X相對于解釋Q在wW中的外延總是可能的。這樣的內(nèi)涵 邏輯系統(tǒng)有丘奇的LSD系統(tǒng)，R蒙塔古的IL系統(tǒng)，以及EN扎爾塔的FIL 系統(tǒng)等。在各種內(nèi)涵邏輯中，認識論邏輯（epistemic logic ）具有重要意 義。它有廣義和狹義之分。廣義的認

20、識論邏輯 研究 與感知（ perception ）、 知道、相信、斷定、理解、懷疑、 問題 和回答等相關(guān)的邏輯問題，包括問題 邏輯、知道邏輯、相信邏輯、斷定邏輯等；狹義的認識論邏輯僅指知道和相信 的邏輯，簡稱“認知邏輯”。馮賴特在 1951年提出了對“認知模態(tài)”的邏輯 分析，這對建立認知邏輯具有極大的啟發(fā)作用。J麥金西首先給出了一個關(guān) 于“知道”的模態(tài)邏輯。A-帕普于1957年建立了一個基于6條規(guī)則的相信邏 輯系統(tǒng)。J 亨迪卡于60年代出版的知識和信念一書是認知邏輯史上的重 要著作，其中提出了一些認知邏輯的系統(tǒng)，并為其建立了基于“模型集”的語 義學，后者是可能世界語義學的先導之一。當今的認知邏

21、輯紛繁復雜，既不成 熟也面臨許多難題。由于認知邏輯涉及認識論、心 理學 、語言學、 計算 機 科學 和人工智能等諸多領(lǐng)域，并且認知邏輯的 應用 技術(shù)，又稱關(guān)于知識的推 理技術(shù)，正在成為計算機科學和人工智能的重要分支之一，因此認知邏輯在 20 世紀中后期成為國際邏輯學界的一個熱門研究方向。這一狀況在21 世紀將得到繼續(xù)并進一步強化，在這方面有可能出現(xiàn)突破性的重要結(jié)果。4 對 自然語言的邏輯研究 對自然語言的邏輯研究有來自幾個不同領(lǐng)域的推動力。首先是 計算機和人工智能的研究，人機對話和通訊、計算機的自然語言理解、知識表 示和知識推理等課題，都需要對自然語言進行精細的邏輯分析，并且這種分析不能僅停留

22、在句法層面，而且要深入到語義層面。其次是 哲學 特別是語言哲 學，在 20 世紀哲學家們對語言表達式的意義問題傾注了異乎尋常的精力， 發(fā) 展 了各種各樣的意義 理論 ，如觀念論、指稱論、使用論、言語行為理論、真 值條件論等等，以致有人說，關(guān)注意義成了 20 世紀哲學家的職業(yè)病。再次是語 言學自身發(fā)展的需要，例如在研究自然語言的意義問題時，不能僅僅停留在脫 離語境的抽象研究上面，而要結(jié)合使用語言的特定環(huán)境去研究，這導致了語義 學、語用學、新修辭學等等發(fā)展。各個方面發(fā)展的成果可以總稱為“自然語言 邏輯”，它力圖綜合后期維特根斯坦提倡的使用論，J L 奧斯汀、J L 塞爾等人發(fā)展的言語行為理論，以及

23、 P格賴斯所創(chuàng)立的會話含義學說等成果， 透過自然語言的指謂性和交際性去研究自然語言中的推理。 自然語言具有表達 和交際兩種職能，其中交際職能是自然語言最重要的職能，是它的生命力之所 在。而言語交際總是在一定的語言環(huán)境（簡稱語境）中進行的，語境有廣義和 狹義之分。狹義的語境僅指一個語詞、一個句子出現(xiàn)的上下文。廣義的語境除 了上下文之外，還包括該語詞或語句出現(xiàn)的整個 社會 歷史 條件，如該語詞或 語句出現(xiàn)的時間、地點、條件、講話的人（作者）、聽話的人（讀者）以及交 際雙方所共同具有的背景知識，這里的背景知識包括交際雙方共同的信念和心 理習慣，以及共同的知識和假定等等。這些語境因素對于自然語言的表達

24、式 （語詞、語句）的意義有著極其重要的 影響 ，這具體表現(xiàn)在：（ i ）語境具有 消除自然語言語詞的多義性、歧義性和模糊性的能力，具有嚴格規(guī)定語言表達 式意義的能力。（ ii ）自然語言的句子常常包含指示代詞、人稱代詞、時間副 詞等，要弄清楚這些句子的意義和 內(nèi)容 ，就要弄清楚這句話是誰說的、對誰 說的、什么時候說的、什么地點說的、針對什么說的，等等，這只有在一定的 語境中才能進行。依賴語境的其他類型的語句還有：包含著象“有些”和“每 一個”這類量化表達式的句子的意義取決于依語境而定的論域，包含著象“大 的”、“冷的”這類形容詞的句子的意義取決于依語境而定的相比較的對象 類；模態(tài)語句和條件語句

25、的意義取決于因語境而變化的語義決定因素，如此等 等。（ iii ）語言表達式的意義在語境中會出現(xiàn)一些重要的變化，以至偏離它通 常所具有的意義（抽象意義），而產(chǎn)生一種新的意義即語用涵義。有人認為， 一個語言表達式在它的具體語境中的意義，才是它的完全的真正的意義，一旦 脫離開語境，它就只具有抽象的意義。語言的抽象意義和它的具體意義的關(guān) 系，正象解剖了的死人肢體與活人肢體的關(guān)系一樣。邏輯應該去研究、理解、 把握自然語言的具體意義，當然不是去研究某一個（或一組）特定的語句在某 個特定語境中唯一無二的意義，而是專門研究確定自然語言具體意義的普遍原 則。美國語言學家保羅格賴斯把語言表達式在一定的交際語境中

26、產(chǎn)生的 一種不同于字面意義的特殊涵義，叫做“語用涵義”、“會話涵義”或“隱 涵”（ implicature ），并于 1975年提出了一組“交際合作原則”，包括一個 總則和四組準則?？倓t的 內(nèi)容 是：在你參與會話時，你要依據(jù)你所參與的談 話交流的公認目的或方向，使你的會話貢獻符合這種需要。仿照康德把范疇區(qū) 分為量、質(zhì)、關(guān)系和方式四類，格賴斯提出了如下四組準則：（1）數(shù)量準則：在交際過程中給出的信息量要適中。a .給出所要求的信息量；b .給出的信息量不要多于所要求的信息量。（2）質(zhì)量準則：力求講真話。a .不說你認為假的東西，。b .不說你缺少適當證據(jù)的東西。（3）關(guān)聯(lián)準則：說話要與已定的交際

27、目的相關(guān)聯(lián)。（4）方式準則：說話要意思明確，表達清晰。a.避免晦澀生僻的表達方式；b .避免有歧義的表達方式；c .說話要簡潔；d.說話要有順序性。后來對這些原則提出了不少修正和補充，例如有人 還提出了交際過程中所要遵守的“禮貌原則”。只要把交際雙方遵守交際合作 原則之類的語用規(guī)則作為基本前提，這些原則就可以用來確定和把握 自然 語 言的具體意義（語用涵義）。實際上，一個語句 p 的語用涵義，就是聽話人在 具體語境中根據(jù)語用規(guī)則由 p 得到的那個或那些語句。更具體地說，從說話人 S說的話語P推出語用涵義q的一般過程是：（i）S說了 P； （ii ）沒有理由認為S不遵守準則，或至少S會遵守總的合作原則；（iii ）S說了 P而又要遵