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

【摘要】：分析了歸納推理與演繹推理的區(qū)別，，給出了歸納推理的形式化規(guī)則，定義了重構(gòu)和歸納進(jìn)程（序列）的概念．同時(shí)還給出了一個(gè)產(chǎn)生歸納序列的歸納過(guò)程模式，并證明：若已知模型Ｍ的全體實(shí)例集合εＭ，則可以從任一給定的理論出發(fā)，使用此歸納過(guò)程模式所產(chǎn)生的所有歸納序列都收斂于同一極限，這個(gè)極限就是模型Ｍ的全部真語(yǔ)句．這說(shuō)明了歸納推理規(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é)
【基金】：國(guó)家自然科學(xué)基金,攀登計(jì)劃基金
【分類(lèi)號(hào)】：B81

【相似文獻(xiàn)】

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

9 李志昌;;邏輯推理中的信息問(wèn)題[A];1996年邏輯研究專(zhuān)輯[C];1996年

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

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

1 陳波;邏輯學(xué)與理性精神[N];光明日?qǐng)?bào);2003年

2 陳波;人工智能 當(dāng)代邏輯發(fā)展的動(dòng)力[N];光明日?qǐng)?bào);2000年

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

本文編號(hào)：1589651