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

《燕山大學(xué)》 2010年

人工智能視野下的進(jìn)化邏輯研究

金宏妍  

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

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

下載全文 更多同類文獻(xiàn)

CAJ全文下載

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

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

【參考文獻(xiàn)】

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

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

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

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

4 任曉明,王左立;評波普爾的進(jìn)化認(rèn)識論思想[J];科學(xué)技術(shù)與辯證法;2002年06期

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

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

7 王左立;試論認(rèn)知邏輯研究中的若干問題[J];南開學(xué)報(bào);2003年06期

8 李夏妍,張敏強(qiáng);認(rèn)知邏輯研究概觀[J];首都師范大學(xué)學(xué)報(bào)(社會科學(xué)版);2005年05期

9 閆景強(qiáng);;一個(gè)以實(shí)踐確證論為基礎(chǔ)的認(rèn)知邏輯系統(tǒng)KjB[J];湖南科技大學(xué)學(xué)報(bào)(社會科學(xué)版);2008年01期

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

【共引文獻(xiàn)】

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

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

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

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

4 張潤梅,龔劍,章曙光;機(jī)器人足球隊(duì)的結(jié)構(gòu)設(shè)計(jì)研究[J];安徽建筑工業(yè)學(xué)院學(xué)報(bào)(自然科學(xué)版);2003年01期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

5 趙華;巴斯卡批判實(shí)在論研究[D];南開大學(xué);2010年

6 陳霄;DNA遺傳算法及應(yīng)用研究[D];浙江大學(xué);2010年

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

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

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

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

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

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

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

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

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

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

6 王濤;社保審計(jì)專家系統(tǒng)關(guān)鍵技術(shù)研究[D];哈爾濱工程大學(xué);2010年

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

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

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

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

【二級參考文獻(xiàn)】

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

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

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

3 閆景強(qiáng);;葛梯爾反例與實(shí)踐確證的知識論[J];喀什師范學(xué)院學(xué)報(bào);2007年04期

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

5 王左立;試論認(rèn)知邏輯研究中的若干問題[J];南開學(xué)報(bào);2003年06期

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

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

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

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

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

【相似文獻(xiàn)】

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

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

2 康巧茹;應(yīng)用:中國邏輯研究的軟肋[J];寧夏黨校學(xué)報(bào);2004年05期

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

4 廖德明;;邏輯研究:本質(zhì)的反思與理論的風(fēng)險(xiǎn)[J];畢節(jié)學(xué)院學(xué)報(bào);2009年01期

5 廖德明;;邏輯研究:本質(zhì)的反思與理論的風(fēng)險(xiǎn)[J];太原師范學(xué)院學(xué)報(bào)(社會科學(xué)版);2009年03期

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

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

8 黃紹汪;;省邏輯研究會年會論點(diǎn)簡介[J];學(xué)術(shù)研究;1983年01期

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

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

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

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

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

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

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

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

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

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

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

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

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

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

1 陳志遠(yuǎn);[N];中國社會科學(xué)院院報(bào);2007年

2 馬雷;[N];光明日報(bào);2003年

3 張?jiān)倭?[N];陜西日報(bào);2002年

4 張建軍;[N];人民日報(bào);2002年

5 華中科技大學(xué)哲學(xué)系 高秉江;[N];中國社會科學(xué)報(bào);2013年

6 倪梁康;[N];中華讀書報(bào);2002年

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

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

2 鄭爭文;胡塞爾直觀問題概論[D];復(fù)旦大學(xué);2007年

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

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

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

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

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

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

6 魏瑋;預(yù)設(shè)與預(yù)設(shè)邏輯研究[D];燕山大學(xué);2012年

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

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

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

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

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

本文編號：66064