出版時(shí)間:2008-1 出版社:西北工業(yè)大學(xué)出版社 作者:何華燦,馬盈倉(cāng) 主編 頁(yè)數(shù):280
Tag標(biāo)簽:無(wú)
內(nèi)容概要
本書是在“首屆信息、智能與邏輯高級(jí)學(xué)術(shù)論壇”的基礎(chǔ)上編輯而成的。主要由通論和特論兩部分組成,通論部分收集了5篇一般性討論信息、智能與邏輯之間關(guān)系的重要文章,特別是提出了信息時(shí)代的基本科學(xué)問(wèn)題是信息的結(jié)構(gòu)和運(yùn)動(dòng)規(guī)律,核心基礎(chǔ)理論是邏輯的論斷;特論部分收集了5篇具體討論某個(gè)特定邏輯系統(tǒng)的重要文章,特別是探討了易經(jīng)邏輯的數(shù)學(xué)化問(wèn)題。這10篇文章集中反映了各位作者自己多年的研究心得,見(jiàn)解獨(dú)特,能引發(fā)討論、啟迪思維。相信本書的出版能夠在更大的范圍內(nèi)引起學(xué)術(shù)界對(duì)信息時(shí)代的基本科學(xué)問(wèn)題和核心基礎(chǔ)理論的關(guān)心和討論。 凡具有大專以上文化水平,對(duì)信息、智能與邏輯感興趣的讀者均可閱讀本書,本書也可供數(shù)學(xué)、數(shù)理邏輯、信息科學(xué)、智能科學(xué)、認(rèn)知科學(xué)、邏輯學(xué)和人文學(xué)科方面的專家學(xué)者研究參考。
書籍目錄
第一部分 通論 探索信息世界的基本運(yùn)動(dòng)規(guī)律 泛邏輯學(xué)研究綱要 機(jī)制主義研究方法與人工智能統(tǒng)一理論 辯證思維時(shí)代與辯證邏輯 信息的定義、物理基礎(chǔ)及其與基本自然規(guī)律的本質(zhì)關(guān)系第二部分 特論 從易經(jīng)邏輯到數(shù)理辯證邏輯 弗協(xié)調(diào)邏輯與人工智能 命題泛邏輯的語(yǔ)構(gòu)理論研究 復(fù)雜系統(tǒng)的柔性邏輯控制方法研究 二層單準(zhǔn)Pmlog與兩種定理證明器之間的關(guān)系第三部分 論壇檔案 論壇的特別約稿信和正式邀請(qǐng)信 會(huì)議日程表 部分發(fā)言要點(diǎn) 協(xié)調(diào)學(xué)與泛邏輯 本體語(yǔ)言及其在計(jì)算機(jī)科學(xué)中的應(yīng)用 數(shù)值邏輯學(xué) 基于動(dòng)態(tài)描述邏輯的知識(shí)表示和推理 非單調(diào)推理的形式刻畫——非單調(diào)推演 Flexible Interval-valued Logics and Its Algebraic Structure 論意識(shí)的層次 自然語(yǔ)言函數(shù)對(duì)知識(shí)、常識(shí)的表示與定理證明 論康托對(duì)角線法及實(shí)數(shù)集可數(shù)性問(wèn)題的相對(duì)性及相關(guān)問(wèn)題 “強(qiáng)化謊者”悖論的簡(jiǎn)明消解附錄 附錄一 部分非標(biāo)準(zhǔn)邏輯與信息科學(xué)的關(guān)系 附錄二 部分泛邏輯學(xué)研究成果
章節(jié)摘錄
第一部分 通論 探索信息世界的基本運(yùn)動(dòng)規(guī)律 摘要:首先,本文提出了筆者的猜想:信息時(shí)代的基本科學(xué)問(wèn)題是信息的結(jié)構(gòu)和運(yùn)動(dòng)規(guī)律(其中包括傳統(tǒng)信息處理和智能信息處理),信息時(shí)代的核心基礎(chǔ)理論是邏輯;其次,以智能科學(xué)為代表論述了信息時(shí)代對(duì)邏輯學(xué)提出的總需求和各種具體需求;最后,用新的研究成果和視角對(duì)筆者2001年提出的《泛邏輯學(xué)研究綱要》進(jìn)行了分析,其中包括制定綱要的基本原則、綱要的包容性和可實(shí)現(xiàn)性等。 一、引言 2000多年來(lái)人們一直通過(guò)人的思維過(guò)程來(lái)認(rèn)識(shí)和研究邏輯,認(rèn)為邏輯是思維的法則。筆者長(zhǎng)期從事計(jì)算機(jī)科學(xué)和人工智能研究,深切感悟到信息和信息處理(即信息運(yùn)動(dòng))中的許多深層次問(wèn)題都與某種邏輯規(guī)律有關(guān)(而不是通常的數(shù)學(xué)規(guī)律),如在人的經(jīng)驗(yàn)知識(shí)推理、常識(shí)推理和各種認(rèn)知活動(dòng)過(guò)程中,都存在一些目前還未系統(tǒng)整理出來(lái)的邏輯法則。在生物與生物之間的信息交換過(guò)程中,甚至在物質(zhì)和物質(zhì)之間的信息交換過(guò)程中,都發(fā)現(xiàn)了邏輯法則存在的跡象。正是這種感悟把筆者一步步帶到了邏輯學(xué)研究領(lǐng)域。因此筆者的學(xué)術(shù)思想具有如下鮮明的特性:為研究信息和信息處理的需要而學(xué)習(xí)邏輯;用信息世界基本法則的觀點(diǎn)去理解邏輯;通過(guò)計(jì)算機(jī)軟件來(lái)研究邏輯。筆者有這樣的信念:邏輯是各種信息結(jié)構(gòu)和信息運(yùn)動(dòng)(包括人類思維和機(jī)器的信息處理及智能)的基本法則。這也是本文立論的大前提。 ……
編輯推薦
《信息、智能與邏輯(第1卷)》每個(gè)時(shí)代都有一個(gè)貫穿始終的發(fā)展主題、基本科學(xué)問(wèn)題和核心基礎(chǔ)理論。材料時(shí)代的發(fā)展主題是機(jī)械工具,基本科學(xué)問(wèn)題是物質(zhì)的組成成分和化學(xué)變化,核心基礎(chǔ)理論是化學(xué);能源時(shí)代的發(fā)展主題是動(dòng)力工具,基本科學(xué)問(wèn)題是物體的運(yùn)動(dòng)和能量轉(zhuǎn)換規(guī)律,核心基礎(chǔ)理論是物理;信息時(shí)代的發(fā)展主題是智力工具,它的基本科學(xué)問(wèn)題和核心基礎(chǔ)理論是什么?這是“信息、智能與邏輯高級(jí)學(xué)術(shù)論壇”和《信息、智能與邏輯》系列叢書希望能夠系統(tǒng)地探索解答的中心問(wèn)題?! 【幷哒J(rèn)為,創(chuàng)辦論壇和編寫該系列叢書的主因是:信息時(shí)代的基本科學(xué)問(wèn)題是信息的結(jié)構(gòu)和運(yùn)動(dòng)規(guī)律,核心基礎(chǔ)理論是邏輯。相信正在蓬勃發(fā)展的邏輯學(xué)將為整個(gè)信息時(shí)代、信息科學(xué)(包括智能科學(xué))及智力工具奠定堅(jiān)實(shí)的理論基礎(chǔ)。
圖書封面
圖書標(biāo)簽Tags
無(wú)
評(píng)論、評(píng)分、閱讀與下載