本文選題：人工智能　切入點：數(shù)理邏輯　出處：《北京航空航天大學(xué)學(xué)報》1998年04期 　論文類型：期刊論文

【摘要】：分析了歸納推理與演繹推理的區(qū)別，，給出了歸納推理的形式化規(guī)則，定義了重構(gòu)和歸納進(jìn)程（序列）的概念．同時還給出了一個產(chǎn)生歸納序列的歸納過程模式，并證明：若已知模型Ｍ的全體實例集合εＭ，則可以從任一給定的理論出發(fā)，使用此歸納過程模式所產(chǎn)生的所有歸納序列都收斂于同一極限，這個極限就是模型Ｍ的全部真語句．這說明了歸納推理規(guī)則的合理性．
[Abstract]:The differences between inductive reasoning and deductive reasoning are analyzed, the formal rules of inductive reasoning are given, the concepts of reconfiguration and inductive process (sequence) are defined, and a model of inductive process is also given. It is also proved that if the set of all instances of the known model M is 蔚 M, all inductive sequences generated by using this inductive process pattern can converge to the same limit from any given theory. This limit is all the true statements of model M. this proves the rationality of the inductive inference rule.
【作者單位】： 北京航空航天大學(xué)
【基金】：國家自然科學(xué)基金,攀登計劃基金
【分類號】：B81

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 李未;歸納推理和歸納進(jìn)程[J];北京航空航天大學(xué)學(xué)報;1998年04期

2 陳曉平;歸納推理與演繹推理的區(qū)別特征[J];思維與智慧;1994年06期

3 梁慶寅,王廷利;演繹框架下實現(xiàn)歸納推理的一種設(shè)想[J];中山大學(xué)學(xué)報論叢;2000年02期

4 倪蔭林;兩個必然性辨異[J];廣西社會科學(xué);2005年08期

5 熊立文;認(rèn)知邏輯——對休謨問題的一種解決方案[J];中山大學(xué)學(xué)報論叢;2000年02期

6 徐開娟;高華;;歸納推理論斷力度研究綜述[J];重慶教育學(xué)院學(xué)報;2011年04期

7 劉良瓊;;毛澤東的歸納邏輯思想再探[J];思維與智慧;1993年05期

8 張婷婷;李紅;龍長權(quán);馮廷勇;陳安濤;李富洪;王秀芳;;歸納推理中的屬性中心性效應(yīng)[J];心理學(xué)報;2007年05期

9 鄧生慶;凱恩斯的歸納邏輯理論[J];哲學(xué)研究;1991年09期

10 張學(xué)立;休謨問題的一個特殊解[J];黔南民族師范學(xué)院學(xué)報;2005年02期

相關(guān)會議論文 前10條

1 于明晟;;歸納推理置信度分析[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

2 王建芳;;歸納推理與人工智能[A];1996年邏輯研究專輯[C];1996年

3 賀壽南;;博弈視野中的邏輯推理問題[A];慶祝科學(xué)技術(shù)與辯證法創(chuàng)刊20周年文集[C];2004年

4 莫紹揆;;歸納推理的形式系統(tǒng)[A];1994年邏輯研究專輯[C];1994年

5 趙總寬;;認(rèn)知型歸納邏輯系統(tǒng)[A];2000年邏輯研究專輯[C];2000年

6 林鴻偉;;從工具的使用到工具的鍛造——中國矛盾律思想的認(rèn)識進(jìn)程及主要成就[A];1993年邏輯研究專輯[C];1993年

7 張惠民;;論模糊概率邏輯[A];1995年邏輯研究專輯[C];1995年

8 熊立文;;關(guān)于枚舉歸納法的幾種理論[A];邏輯今探——中國邏輯學(xué)會第五次代表大會暨學(xué)術(shù)討論會論文集[C];1996年

9 李志昌;;邏輯推理中的信息問題[A];1996年邏輯研究專輯[C];1996年

10 蔣柯;熊哲宏;;空間關(guān)系在歸納推理中的心理效應(yīng)[A];第十一屆全國心理學(xué)學(xué)術(shù)會議論文摘要集[C];2007年

相關(guān)重要報紙文章 前4條

1 陳波;邏輯學(xué)與理性精神[N];光明日報;2003年

2 陳波;人工智能 當(dāng)代邏輯發(fā)展的動力[N];光明日報;2000年

3 上海師范大學(xué)哲學(xué)系教授 柳延延;講道理是一件挺難的事(上)[N];解放日報;2010年

4 熊明輝 中山大學(xué)邏輯與認(rèn)知研究所;從普遍性追求到個性研究的興起[N];中國社會科學(xué)報;2010年

相關(guān)博士學(xué)位論文 前7條

1 王瑾;小學(xué)數(shù)學(xué)課程中歸納推理的理論與實踐研究[D];東北師范大學(xué);2011年

2 張繼華;科學(xué)探究推理研究[D];西南大學(xué);2012年

3 李富洪;歸納推理的假設(shè)過程及其神經(jīng)機(jī)制[D];西南大學(xué);2008年

4 蔣柯;趨利避害[D];華東師范大學(xué);2009年

5 鄒明灼;歸納在知識建構(gòu)中的認(rèn)知作用研究[D];西南大學(xué);2011年

6 胡健;逆證推理與言語理解[D];復(fù)旦大學(xué);2003年

7 龍長權(quán);類別對歸納的支持與限制[D];西南大學(xué);2011年

相關(guān)碩士學(xué)位論文 前10條

1 尹靜;對歸納推理貝葉斯模型的檢驗研究[D];陜西師范大學(xué);2010年

2 陳安濤;歸納推理多樣性效應(yīng)前提概率原則的實驗研究[D];西南師范大學(xué);2003年

3 黃樹香;類別歸納的發(fā)展研究[D];西南大學(xué);2011年

4 賀壽南;互動中的理性人的歸納推理研究[D];華南師范大學(xué);2003年

5 王孝清;分類活動與歸納推理多樣性效應(yīng)的關(guān)系[D];西南大學(xué);2007年

6 張婷婷;歸納推理中的屬性中心性效應(yīng)及其心理過程初探[D];西南大學(xué);2007年

7 李楠;經(jīng)濟(jì)領(lǐng)域中的博弈邏輯推理問題探析[D];山西大學(xué);2011年

8 黃萍;解讀賴欣巴哈的邏輯哲學(xué)思想[D];西南大學(xué);2006年

9 徐哲;談判中的邏輯問題研究[D];內(nèi)蒙古師范大學(xué);2008年

10 王連英;從實踐必然性看歸納邏輯的合理性[D];山西大學(xué);2008年

本文編號：1589651