逆證推理和缺省推理熊學(xué)亮復(fù)旦大學(xué)外文學(xué)院-資料下載頁
2025-07-17 13:03本頁面
【正文】 釋 Q 的 P 有很多可能，在特定的語境中最為相關(guān)的 P 就是 “ 明天要考試 ” 。二是方式上的逆證，“ 今晚不去看電影 ” 是 Q，但為什么別人問“ 今晚去看電影嗎 ?”時(shí)要答 “ 明天要考試 ” 而不直接說 “ 去 ” 或 “ 不去 ” ，因?yàn)?“ 明天要考試 ” 就是在眾多可能中的最佳表達(dá)方式 P。 ? 在語言信息處理方面，逆證似乎僅局限于對(duì)詞匯和語言結(jié)構(gòu)的頂向下的選擇和決策方面 (Josephson J. amp。 S. Josephson 1994。 Josephson J. 2022。 A. Aliseda 2022)，即以語感 (經(jīng)驗(yàn) ) 為基礎(chǔ)在遇到 D (語料 ) 呈歧義或意外情況 (如拼寫錯(cuò)誤 ) 時(shí)對(duì) Hx (若干可能的解釋 ) 的迅速判斷，這方面還有很長的路要走。 ? 逆證產(chǎn)生 “ 因果 ” 、 “ 部分與整體 ” 等認(rèn)知固化關(guān)系，其序列性和層次性，一是在推導(dǎo)中有 “ 信息合法缺省 ” 的效果，二是允許 “ 附加概念 ” 的介入，這是傳統(tǒng)邏輯所不能容忍的。假如組合的 H 序列具有足夠解釋 D 序列的能力，這種 H→D 就可保證無需中介的缺省邏輯 α:β/β 的運(yùn)行。 H→D 具有宏觀上的無限性 (即知識(shí)無限 )， α:β/β 具有微觀上的連續(xù)性，兩者都可以通過擴(kuò)展模式進(jìn)行分析。 ? 缺省邏輯中對(duì)意外或沖突項(xiàng)的選擇是臨時(shí)的，運(yùn)行完后知識(shí)并未改變，如在具體語境中得出 all of the students have arrived 的結(jié)論并未改變 α(not all) ←α(some) 的知識(shí)。與缺省邏輯比較，逆證邏輯可分長線運(yùn)行和短線運(yùn)行兩種。長線運(yùn)行的產(chǎn)出增加或改進(jìn)了知識(shí)，如在原先的期待 “ 感染 → 產(chǎn)褥熱 ” 中增加了 “ 驚嚇 ” 一項(xiàng)，推翻了 “ 法老咀咒 → 死亡 ” 、 “ 行星以園周方式繞地球運(yùn)行 ” ， “ 大陸垂直運(yùn)動(dòng) ” 等初始認(rèn)識(shí)，以 “ 霉 ? 菌 → 死亡 ” 、 “ 行星以橢圓方式繞地球運(yùn)行 ” ， “ 大陸水平運(yùn)動(dòng) ” 取而代之。短線運(yùn)行運(yùn)用于語用推理，在否定一般含義方面似乎與缺省邏輯有相似之處，但在 “ 尋找最佳解釋 ” 和知識(shí)的確定性方面存有差異。一般說來，逆證由現(xiàn)象或語料的 “ 新穎性 ” 和 “ 異常性 ” 啟動(dòng)，導(dǎo)致 “ 驚訝 ” 效果，對(duì)新穎的最佳解釋擴(kuò)展或增加了知識(shí)，對(duì)異常的解釋可能改變知識(shí)原狀產(chǎn)生新的解釋。 ? 缺省推理的基本模式是 ? α:β1,β2,… ,βn/γ ? α 是前提（ prerequisite）， β1,β2,… ,βn 是理據(jù)（ justifications）或缺省假設(shè)（ assumptions）， γ 是結(jié)論（ consequent）。此式的意思是：有確信的前提 α，如果 ? 有一組保持邏輯一致性的假設(shè) β1,β2,… ,βn，即每一個(gè) βi 都不和已知事實(shí)或結(jié)論相悖，或者說 ﹁ ～ β～ β2 ...、～ βn 都不存在或是未知的，那么就缺省推出結(jié)論 γ。 ? 從 “ Tweety 是鳥 ” 推出 “ Tweety 會(huì)飛 ” 的過程可以以命題為單位用下式表述： ? Bird(Tweety): Fly(bird) / Fly(Tweety) ? 其中 Bird(Tweety) 是前提 α， Fly(bird) 是缺省假設(shè) β（此時(shí) n=1），因?yàn)闆]有與其沖突的信息存在，便缺省推出結(jié)論 γ： ly(Tweety)。又假如 n=1，得 γ=β，即得 : ? α:β/β ? 針對(duì)語言使用現(xiàn)實(shí)， Reiter 還引入了擴(kuò)展（ extension）的概念。命題集合 E 是一個(gè)即將被定義的缺省擴(kuò)展，在缺省理論 Δ=（ W,D）中，首先 E0=W， i ≥ 0：
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1