本文關鍵詞：萊拉溯因研究探析

  更多相關文章： 溯因推理 邏輯樹方法 Global法和Local法 因果層級

【摘要】：溯因推理是一種找尋對于反�，F(xiàn)象的解釋的推理行為,是在擁有不完全信息情境中進行的推理。在這里反�，F(xiàn)象是指超出人們預期心理或者知識范圍的現(xiàn)象,因此,溯因往往發(fā)生在新經(jīng)驗與已有經(jīng)驗或認知沖突而想給出合理解釋之時。真正提出這種推理形式并把它和演繹、歸納并列為推理種類之一的是美國的邏輯學家和哲學家皮爾士(Charles Sanders Peirce),他奠定了溯因邏輯的正式地位并且率先提出其刻畫模式——三段論形式。在對于溯因研究的成果轉化方面,皮爾士從邏輯學視角開創(chuàng)了“研究經(jīng)濟學”,是邏輯基礎學科指導應用學科的典范。隨著人工智能研究的蓬勃發(fā)展,特別是邏輯編程、知識聚合、專家診療等領域的發(fā)展使得沉寂一段時間的溯因研究在當代又逐步得到復興,當下溯因研究更加注重對于形式刻畫的程序化、系統(tǒng)化,著力于細致模仿人類認知過程,增強機器學習(Machine Learning)能力。萊拉(Atocha Aliseda LLera)是研究溯因邏輯的專家,不同于當下主流的研究慣性,喜歡借助模態(tài)或數(shù)學概率工具描述溯因推理,她選擇另辟蹊徑運用閉合邏輯樹方式探討溯因推理的推理步驟,并且成功將其程序化。其最可貴之處在于沒有如一般思維一樣將眼光局限于糾結e|-Φ中是否成立,而是運用轉化思維轉而探究θ∪{(?)Φ}的邏輯樹是否閉合,繼而尋找使其閉合的條件,即證明X就是證明(?)X的邏輯樹關閉。但對于過于復雜的邏輯樹,遍歷會呈幾何倍數(shù)增長。對于信念修正,萊拉提出在新信息與舊信息庫矛盾時,可以有兩種修正方式：整體策略(global strategy)和局部策略(local strategy)。他們的區(qū)別在于前者是直接刪掉沖突方之一,后者是用“T”代替某一公式的分支。兩種方法各有利弊,整體策略改動更大,更為徹底,某些情況更為簡便；局部策略變動較小,但容易冗余。通過反思皮爾士和萊拉關于溯因的思想,論文提出如下想法：因為存在因果鏈,所以原因是有層級之分的,這某種程度上決定了溯因的不定性。溯因的關鍵是盡量擴充背景知識,背景理論的擴充和溯因的價值存在此消彼長,這是一種經(jīng)濟上的妥協(xié)。溯因推理是在收集更多輔證中輾轉前行,每一階段都是下一階段的上一層級。究極的溯因是對于封閉系統(tǒng)最終的極大擴充。
【關鍵詞】：溯因推理 邏輯樹方法 Global法和Local法 因果層級
【學位授予單位】：南京大學
【學位級別】：碩士
【學位授予年份】：2016
【分類號】：B812.23
【目錄】：

• 中文摘要3-5
• Abstract5-8
• 引言8-10
• 一、什么是溯因?從皮爾士說起10-19
• (一) 皮爾士的邏輯觀10-11
• (二) 作為邏輯學的溯因推理研究11-15
• (三) 溯因研究的跨學科意義15-19
• 二、萊拉溯因研究主體——邏輯樹程序19-34
• (一) AI程序基礎19-20
• (二) 萊拉的溯因三元體系刻畫20-22
• (三) 用邏輯樹的方法驗證溯因推理22-29
• (四) 不同溯因種類的運算程序29-33
• (五) 邏輯樹方法是完美的嗎?33-34
• 三、萊拉論溯因中信念修正的global與local算法34-45
• (一) 信念修正理論34-35
• (二) D—N模型與I—S模型35-39
• (三) 背景理論修改：信念修正的global與local算法39-45
• 四、幾點批判性思考45-53
• (一) 皮爾士理論的缺陷45-47
• (二) 對萊拉溯因研究的幾點認識47-49
• (三) 對于溯因研究的進一步思考49-53
• 結語53-55
• 參考文獻55-58
• 后記58-61

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 李靜;;悼念《讀者文摘》創(chuàng)始人——萊拉·阿奇遜·華萊士[J];文化譯叢;1985年04期

2 郅溥浩;馬杰儂和萊拉,其人何在?─—關于原型、類型、典型的例證[J];外國文學評論;1995年03期

3 Plain White T's;童樺;;迪萊拉，你好嗎[J];瘋狂英語(中學版);2008年01期

4 劉全敏;;《燦爛千陽》中萊拉的成長之旅[J];短篇小說(原創(chuàng)版);2013年11期

5 文軍;;女承父志闖拳壇——拳王阿里之女萊拉·阿里[J];世界博覽;1999年07期

6 丁淑紅;母題與嬗變——“蓋斯和萊拉”故事分析[J];南京師范大學文學院學報;2004年02期

7 夏花;;《骨》中萊拉的文化身份訴求[J];科技信息;2009年30期

8 趙妍;;尋找新的自我——伍惠明《骨》中萊拉的文化認同的解讀[J];重慶文理學院學報(社會科學版);2008年02期

9 段啟濤;江城插訪萊拉·約瑟夫維茲[J];視聽技術;1998年06期

10 阿碧絲;蟈蟈;;萊拉的動機[J];今古傳奇(奇幻版上半月版);2009年04期

中國重要報紙全文數(shù)據(jù)庫 前10條

1 ;基因巨頭塞萊拉 看重利潤 尋找暴富秘方[N];市場報;2001年

2 一文;萊拉·阿里成為三冠王[N];中國體育報;2002年

3 毛磊;“基因巨頭”戰(zhàn)略調整的背后[N];中華工商時報;2002年

4 新華社記者 毛磊;“基因巨頭”戰(zhàn)略調整的背后[N];科技日報;2002年

5 陳列歡;雅培與塞萊拉在癌癥領域進行合作[N];醫(yī)藥經(jīng)濟報;2004年

6 王晶;為與父親靠得更近[N];中國體育報;2001年

7 李郁;萊拉克·迪克斯特拉：從病愈中的自拍像開始[N];中國攝影報;2007年

8 奇　云;科學怪才文特爾[N];大眾科技報;2003年

9 奇云;科學怪才文特爾[N];大眾科技報;2003年

10 克堅;錢途無限？小鼠基因要收費 另辟蹊徑？放棄研究蛋白質[N];中國高新技術產(chǎn)業(yè)導報;2001年

中國碩士學位論文全文數(shù)據(jù)庫 前4條

1 吳s，

本文編號：764421