�。壅� 本文認(rèn)為，計(jì)算機(jī)科學(xué)和人工智能將是21世紀(jì)邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈⑶以诤艽蟪潭壬蠈Q定21世紀(jì)邏輯學(xué)的面貌。至少在21世紀(jì)早期，邏輯學(xué)將重點(diǎn)關(guān)注下列論題：（1）如何在邏輯中處理常識(shí)推理的弗協(xié)調(diào)、非單調(diào)和容錯(cuò)性因素？（2）如何使機(jī)器人具有人的創(chuàng)造性智能，如從經(jīng)驗(yàn)證 ……（快文網(wǎng)http://hoachina.com省略240字，正式會(huì)員可完整閱讀）…… 其他的數(shù)學(xué)定理，從而把整個(gè)數(shù)學(xué)構(gòu)造成為一個(gè)嚴(yán)格的演繹大廈，然后用某種程序和方法一勞永逸地證明數(shù)學(xué)體系的可靠性。為此需要發(fā)明和鍛造嚴(yán)格、精確、適用的邏輯工具。這是現(xiàn)代邏輯誕生的主要?jiǎng)恿�。由此造成的后果就�?0世紀(jì)邏輯研究的嚴(yán)重?cái)?shù)學(xué)化，其表現(xiàn)在于：一是邏輯專(zhuān)注于在數(shù)學(xué)的形式化過(guò)程中提出的問(wèn)題；二是邏輯采納了數(shù)學(xué)的方法論，從事邏輯研究就意味著象數(shù)學(xué)那樣用嚴(yán)格的形式證明去解決問(wèn)題。由此發(fā)展出來(lái)的邏輯被恰當(dāng)?shù)胤Q(chēng)為“數(shù)理邏輯”，它增強(qiáng)?si嘸芯康納疃齲孤嘸У姆⒄辜坦畔＠奧嘸�、欧洲中侍m吐嘸蠼氳諶齦叻迤�，并侨~哉魷執(zhí)蒲乇鶚鞘А⒄苧�、语言学簣D撲慊蒲Р朔淺Ｖ匾撓跋臁?br> 本文所要探討的問(wèn)題是：21世紀(jì)邏輯發(fā)展的主要?jiǎng)恿?lái)自何處？大致說(shuō)來(lái)將如何發(fā)展？我個(gè)人的看法是：計(jì)算機(jī)科學(xué)和人工智能將至少是21世紀(jì)早期邏輯學(xué)發(fā)展的主要?jiǎng)恿υ慈�，并將由此決定21世紀(jì)邏輯學(xué)的另一幅面貌。由于人工智能要模擬人的智能，它的難點(diǎn)不在于人腦所進(jìn)行的各種必然性推理（這一點(diǎn)在20世紀(jì)基本上已經(jīng)做到了，如用計(jì)算機(jī)去進(jìn)行高難度和高強(qiáng)度的數(shù)學(xué)證明，“深藍(lán)”通過(guò)高速、 ……（未完，全文共10346字，當(dāng)前只顯示622字，請(qǐng)閱讀下面提示信息。收藏從人工智能看當(dāng)代邏輯學(xué)的發(fā)展）
上一篇：街頭無(wú)償獻(xiàn)血的調(diào)查與分析
下一篇：小學(xué)信息技術(shù)教學(xué)策略的探索 |