本文關鍵詞：人工智能視野下的進化邏輯研究，由筆耕文化傳播整理發(fā)布。

《燕山大學》 2010年

人工智能視野下的進化邏輯研究

金宏妍  

【摘要】：21世紀邏輯學的發(fā)展與計算機科學和人工智能密切相關。進化邏輯就是認知科學、計算機科學和邏輯方法相結合的產(chǎn)物,是科學進步和科學發(fā)展的邏輯。它以動態(tài)的發(fā)展邏輯為研究重點,著力于使邏輯反映知識增長的動態(tài)圖景。在進化邏輯中,計算作為一個哲學范疇成為認知的主要手段。人工智能視野下,進化計算充分體現(xiàn)了計算哲學的基本走向。 本文主體部分圍繞進化邏輯研究問題從以下三方面展開研討: 首先,對進化邏輯的基本概念進行解讀。研究進化邏輯的基礎概念如突變、革命、選擇、自再生、自創(chuàng)生等,并對進化邏輯的理論淵源進行梳理,意在通過研究進化邏輯產(chǎn)生和發(fā)展的內(nèi)在邏輯來說明進化邏輯與人工智能之間相輔相成的關系。 其次,介紹進化邏輯的理論體系。重點對自動機、OL-系統(tǒng)、分類符系統(tǒng)和遺傳算法進行介紹來探究計算機邏輯的實際應用。遺傳算法可以看作是一個超平面指導的搜索程序,從而可為進化遺傳學系統(tǒng)等自適應非線性系統(tǒng)建立嚴格的邏輯系統(tǒng)和數(shù)學模型,由此可以得出“遺傳算法為進化邏輯理論的發(fā)展奠定了數(shù)學和邏輯的基礎”的結論。進而引出進化計算的概念。 最后,通過分析人工智能邏輯、進化邏輯與進化計算的關系來研究進化邏輯的前沿問題和發(fā)展趨勢。通過哥德爾不完全定理探討人工智能是否有邏輯極限的問題。通過研究進化邏輯和進化計算的關系來說明計算哲學已成為21世紀科學哲學的新趨向。在此基礎上,對人工智能視野下的進化邏輯的認知歸省進行梳理,得出進化邏輯屬于廣義認知邏輯的結論。

【關鍵詞】：
【學位授予單位】：燕山大學
【學位級別】：碩士
【學位授予年份】：2010
【分類號】：B812.3
【目錄】：

下載全文 更多同類文獻

CAJ全文下載

(如何獲取全文？ 歡迎：購買知網(wǎng)充值卡、在線充值、在線咨詢)

CAJViewer閱讀器支持CAJ、PDF文件格式

【參考文獻】

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

1 董英東;;認知邏輯存在的問題及發(fā)展趨向[J];畢節(jié)學院學報;2009年03期

2 蔡曙山;認知科學背景下的邏輯學——認知邏輯的對象、方法、體系和意義[J];江海學刊;2004年06期

3 朱志方;發(fā)現(xiàn)的邏輯:從皮爾士到波普[J];開放時代;2002年06期

4 任曉明,王左立;評波普爾的進化認識論思想[J];科學技術與辯證法;2002年06期

5 任曉明;張玫瑰;;美國歸納邏輯與人工智能研究概況[J];科學技術與辯證法;2007年01期

6 成素梅;郝中華;;遺傳算法的哲學思考[J];科學技術與辯證法;2007年06期

7 王左立;試論認知邏輯研究中的若干問題[J];南開學報;2003年06期

8 李夏妍,張敏強;認知邏輯研究概觀[J];首都師范大學學報(社會科學版);2005年05期

9 閆景強;;一個以實踐確證論為基礎的認知邏輯系統(tǒng)KjB[J];湖南科技大學學報(社會科學版);2008年01期

10 陳慕澤;;正確理解哥德爾不完全性定理[J];湖南科技大學學報(社會科學版);2008年02期

【共引文獻】

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

1 薛宏偉;蕪湖電廠給水控制和主汽溫控制改造[J];安徽電氣工程職業(yè)技術學院學報;2005年03期

2 王習勝;;論邏輯學研究的前沿問題與發(fā)展取向[J];安徽大學學報;2006年02期

3 李龍澍,凌成;基于時態(tài)邏輯的知識表示研究[J];安徽大學學報(自然科學版);2002年02期

4 張潤梅,龔劍,章曙光;機器人足球隊的結構設計研究[J];安徽建筑工業(yè)學院學報(自然科學版);2003年01期

5 龔劍;關于高校開展機器人足球比賽的思考[J];安徽建筑工業(yè)學院學報(自然科學版);2005年04期

6 高朋;黃世祥;;地區(qū)現(xiàn)代化水平BP人工神經(jīng)網(wǎng)絡評價方法初探[J];安徽農(nóng)業(yè)大學學報(社會科學版);2006年03期

7 陳紅琳;;基于MAS的農(nóng)產(chǎn)品供應鏈可追溯系統(tǒng)研究[J];安徽農(nóng)業(yè)科學;2011年35期

8 孫志海;系統(tǒng)進化和社會發(fā)展動力研究[J];安徽師范大學學報(人文社會科學版);2003年06期

9 彭啟福;;波普爾科學客觀性理論的“社會學轉(zhuǎn)向”[J];安徽師范大學學報(人文社會科學版);2006年06期

10 劉葉濤;;論“道德悖論”作為一種悖論[J];安徽師范大學學報(人文社會科學版);2008年03期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 顧曉偉;;歷史學的中庸之道:融通“歷史解釋”與“歷史表現(xiàn)”的嘗試——重思“亨佩爾-德雷論戰(zhàn)”的現(xiàn)代意義[A];第八屆北京大學史學論壇論文集[C];2012年

2 陳波;;邏輯:一個變動和生長著的概念[A];科學發(fā)展：社會管理與社會和諧——2011學術前沿論叢（上）[C];2011年

3 盛承發(fā);;生態(tài)學基本概念的發(fā)展[A];青年生態(tài)學者論叢（一）[C];1991年

4 沈霖;吳蕙;張帆;張蕓;;提高有限元網(wǎng)格自動剖分成功率的研究[A];首屆中國CAE工程分析技術年會暨2005全國計算機輔助工程(CAE)技術與應用高級研討會論文集[C];2005年

5 柯華慶;;科斯命題的邏輯視角[A];2005中國制度經(jīng)濟學年會精選論文（第二部分）[C];2005年

6 陳波;;從《哲學邏輯手冊》(第二版)看當代邏輯的發(fā)展趨勢[A];小康社會：文化生態(tài)與全面發(fā)展——2003學術前沿論壇論文集[C];2004年

7 田闖;王紫琳;;波普爾與庫恩科學哲學思想比較研究[A];第二屆中國科技哲學及交叉學科研究生論壇論文集（碩士卷）[C];2008年

8 楊韜;;對科學發(fā)展的重新認識——構建中國科學大范式的探微[A];第二屆中國科技哲學及交叉學科研究生論壇論文集（碩士卷）[C];2008年

9 趙玉鵬;;當代“心靈與機器”研究進展述評[A];第二屆中國科技哲學及交叉學科研究生論壇論文集（博士卷）[C];2008年

10 杜疆;;突現(xiàn)論與心—身協(xié)同[A];第三屆全國科技哲學暨交叉學科研究生論壇文集[C];2010年

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

1 陳韶斌;基于知識推理和視覺機理的遙感圖像目標識別方法研究[D];華中科技大學;2010年

2 王希艷;環(huán)境倫理學的美德倫理學視角[D];南開大學;2010年

3 陳小鼎;結構現(xiàn)實主義的理論評估及其發(fā)展[D];南開大學;2010年

4 馮彥波;合并邏輯方法研究[D];南開大學;2010年

5 趙華;巴斯卡批判實在論研究[D];南開大學;2010年

6 陳霄;DNA遺傳算法及應用研究[D];浙江大學;2010年

7 吳修國;面向目標的遷移工作流建模方法研究[D];山東大學;2010年

8 李蓉;論庫恩科學哲學的社會學轉(zhuǎn)向[D];武漢大學;2010年

9 周暉;自由搜索算法及其在傳感器網(wǎng)絡中的應用[D];東華大學;2010年

10 于璐;列昂捷夫的活動理論及其生態(tài)學詮釋[D];吉林大學;2011年

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

1 羅婷婷;飛機鈑金疊板數(shù)控套裁下料軟件系統(tǒng)的研究[D];南昌航空大學;2010年

2 王洋;基于潛在語義分析的智能搜索技術研究[D];哈爾濱工程大學;2010年

3 林華云;蒸汽發(fā)生器檢修機械臂的視覺測量研究[D];哈爾濱工程大學;2010年

4 王東陽;多智能體調(diào)度優(yōu)化算法研究[D];哈爾濱工程大學;2010年

5 李魁星;基于信息熵遺傳算法的艦船導航路徑規(guī)劃技術研究[D];哈爾濱工程大學;2010年

6 王濤;社保審計專家系統(tǒng)關鍵技術研究[D];哈爾濱工程大學;2010年

7 馬穩(wěn);基于支持向量機的模擬電路故障診斷研究[D];大連理工大學;2010年

8 王峰;基于遺傳算法的認知無線電決策引擎研究[D];大連理工大學;2010年

9 楊旭;基于模糊控制的變頻變壓供水系統(tǒng)的研究與應用[D];遼寧工程技術大學;2009年

10 姚洪陽;試論人機關系的歷史發(fā)展及其文化考量[D];長沙理工大學;2010年

【二級參考文獻】

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

1 劉壯虎;哲學邏輯概論[J];北京航空航天大學學報(社會科學版);2000年01期

2 林作銓;常識問題常識推理的邏輯基礎[J];計算機研究與發(fā)展;1997年06期

3 閆景強;;葛梯爾反例與實踐確證的知識論[J];喀什師范學院學報;2007年04期

4 任曉明;張玫瑰;;美國歸納邏輯與人工智能研究概況[J];科學技術與辯證法;2007年01期

5 王左立;試論認知邏輯研究中的若干問題[J];南開學報;2003年06期

6 康巧茹;邏輯研究的第二次轉(zhuǎn)向[J];寧夏黨校學報;2003年02期

7 桂起權;;什么是次協(xié)調(diào)邏輯[J];邏輯與語言學習;1988年04期

8 桂起權;次協(xié)調(diào)邏輯——辯證邏輯形式化的階梯[J];武漢大學學報(社會科學版);1989年06期

9 朱志方,李滌非;自然語言中真理概念的語用學分析[J];自然辯證法通訊;2002年04期

10 陳波;論邏輯真理[J];自然辯證法研究;1990年02期

【相似文獻】

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

1 劉明明;試論經(jīng)濟邏輯研究的創(chuàng)新發(fā)展[J];黔南民族師范學院學報;2003年02期

2 康巧茹;應用:中國邏輯研究的軟肋[J];寧夏黨校學報;2004年05期

3 孫中原;全球化與中國邏輯研究[J];中共鄭州市委黨校學報;2005年01期

4 廖德明;;邏輯研究:本質(zhì)的反思與理論的風險[J];畢節(jié)學院學報;2009年01期

5 廖德明;;邏輯研究:本質(zhì)的反思與理論的風險[J];太原師范學院學報(社會科學版);2009年03期

6 ;上海市邏輯研究會成立[J];國內(nèi)哲學動態(tài);1979年11期

7 黃紹汪;;廣東省邏輯研究會討論概念定義問題[J];國內(nèi)哲學動態(tài);1983年02期

8 黃紹汪;;省邏輯研究會年會論點簡介[J];學術研究;1983年01期

9 王建士;略談傳統(tǒng)邏輯研究的主要特點[J];華僑大學學報(哲學社會科學版);1990年02期

10 孫波;;詭辯與邏輯研究新論——評《詭辯和邏輯名篇賞析》[J];邏輯與語言學習;1993年06期

中國重要會議論文全文數(shù)據(jù)庫 前10條

1 謝根成;;關于經(jīng)濟邏輯研究的幾個問題[A];邏輯今探——中國邏輯學會第五次代表大會暨學術討論會論文集[C];1996年

2 ;編后[A];1994年邏輯研究專輯[C];1994年

3 蔡曙山;;語用邏輯研究[A];邏輯今探——中國邏輯學會第五次代表大會暨學術討論會論文集[C];1996年

4 晉榮東;;協(xié)商民主與論辯理論[A];上海市社會科學界第五屆學術年會文集（2007年度）（馬克思主義研究學科卷）[C];2007年

5 張學立;甘進;;貴州邏輯研究三十年[A];“回顧與前瞻：中國邏輯史研究30年”全國學術研討會論文集[C];2010年

6 翟錦程;邱婭;;近十年(1999—2009)中國邏輯研究的主要特點與趨勢[A];改革開放以來邏輯的歷程——中國邏輯學會成立30周年紀念文集（上卷）[C];2009年

7 張建軍;;我國科學邏輯研究的開拓與創(chuàng)新之路——在紀念中國邏輯學會成立30周年大會上的報告[A];改革開放以來邏輯的歷程——中國邏輯學會成立30周年紀念文集（下卷）[C];2009年

8 黃華新;徐慈華;;漢語隱喻邏輯表征的個案分析[A];第二屆海峽兩岸邏輯教學學術會議專輯[C];2006年

9 宋文淦;;問題邏輯系統(tǒng)E[A];1996年邏輯研究專輯[C];1996年

10 鄒崇理;;邏輯研究自然語言的得失利弊[A];小康社會：創(chuàng)新與發(fā)展——2002·學術前沿論壇文集[C];2002年

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

1 陳志遠;[N];中國社會科學院院報;2007年

2 馬雷;[N];光明日報;2003年

3 張再林;[N];陜西日報;2002年

4 張建軍;[N];人民日報;2002年

5 華中科技大學哲學系 高秉江;[N];中國社會科學報;2013年

6 倪梁康;[N];中華讀書報;2002年

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

1 代金宏;會計邏輯研究[D];天津財經(jīng)大學;2008年

2 鄭爭文;胡塞爾直觀問題概論[D];復旦大學;2007年

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

1 劉沛;對胡塞爾《邏輯研究》的當代解讀[D];黑龍江大學;2011年

2 尹景旺;終極關切意義上的邏輯研究[D];西南師范大學;2004年

3 張翠;類邏輯研究[D];燕山大學;2010年

4 白哈斯;忽必烈汗“變通”思想的邏輯研究[D];內(nèi)蒙古師范大學;2010年

5 金宏妍;人工智能視野下的進化邏輯研究[D];燕山大學;2010年

6 魏瑋;預設與預設邏輯研究[D];燕山大學;2012年

7 沈廣明;《邏輯研究》視野下的老子之“道”[D];華僑大學;2006年

8 戚金霞;法律論證中的邏輯研究[D];貴州大學;2009年

9 李雪飛;現(xiàn)代漢語篇章邏輯研究[D];燕山大學;2012年

10 劉立剛;梁啟超墨家邏輯研究初探[D];河南大學;2005年

  本文關鍵詞：人工智能視野下的進化邏輯研究，，由筆耕文化傳播整理發(fā)布。

本文編號：66064