探索知識(shí)研究新思路

1、探索知識(shí)研究新思路,田啟家二〇〇五年三月四日,目 錄,重大機(jī)遇 重大挑戰(zhàn)：雙重任務(wù) 基本框架：大知識(shí)觀 基礎(chǔ)研究：邏輯學(xué) 工作思路,重大機(jī)遇——必然趨勢(shì)，社會(huì)系統(tǒng)工程，社會(huì)革新過程,一個(gè)論斷一種觀察一段歷史一個(gè)比喻一種趨勢(shì)一個(gè)情景,一個(gè)論斷,知識(shí)/信息資源的至關(guān)重要性，是戰(zhàn)略資源知識(shí)就是力量。（培根）如果沒有那些書面文獻(xiàn)，我們便與那些只能教他們的幼子做幾件簡單事情的貓狗毫無二致。（房龍《人類的故事》）后工業(yè)

2、時(shí)代/信息時(shí)代服務(wù)業(yè)新起（《后工業(yè)時(shí)代的來臨》）實(shí)物經(jīng)濟(jì)—轉(zhuǎn)向—象征經(jīng)濟(jì) （《管理新潮》）非工業(yè)化初級(jí)產(chǎn)品部門成為邊沿地帶—轉(zhuǎn)向—知識(shí)經(jīng)濟(jì)（《21世紀(jì)的管理挑戰(zhàn)》）提高體力勞動(dòng)效率——〉提高知識(shí)勞動(dòng)者效率軟實(shí)力（《瞭望》2005年文章）,一種觀察,IBM：轉(zhuǎn)向服務(wù)波音公司：專注設(shè)計(jì)與總裝英國：教育產(chǎn)業(yè)（300億磅）生物技術(shù)專利：“基因鴻溝” 高通：技術(shù)版權(quán)收入占總收入的34％電子商務(wù)經(jīng)營方法的專利申請(qǐng)一部電影過

3、億一種網(wǎng)絡(luò)游戲過數(shù)十億,紡織鋼鐵化工礦業(yè)機(jī)械制造,,一種觀察,國家政策動(dòng)向：34號(hào)文件北京市政策動(dòng)向：信息服務(wù)業(yè) 臺(tái)灣經(jīng)濟(jì)部工業(yè)局?jǐn)?shù)位內(nèi)容推進(jìn)辦公室各國數(shù)字內(nèi)容產(chǎn)業(yè)發(fā)展政策愛爾蘭數(shù)字內(nèi)容戰(zhàn)略澳大利亞數(shù)字內(nèi)容行動(dòng)綱領(lǐng)歐盟 e-contentplus美國各界關(guān)注與行動(dòng)政府部門提的是信息資源管理、信息服務(wù)業(yè)、現(xiàn)代信息服務(wù)業(yè)、數(shù)字內(nèi)容產(chǎn)業(yè)人工智能提的是知識(shí)工程、大規(guī)模知識(shí)庫互聯(lián)網(wǎng)領(lǐng)域提的是語義Web，資源網(wǎng)格管

4、理領(lǐng)域提的是信息管理與知識(shí)管理Econtent雜志,一種觀察,清華同方《中國知識(shí)資源總庫》萬方數(shù)據(jù)《人民日?qǐng)?bào)》系列報(bào)刊庫中國數(shù)字圖書館Elsevier 電子期刊全文庫Collins 系列詞典CYCMKM,一段歷史,對(duì)知識(shí)的關(guān)注是西方哲學(xué)的一個(gè)永恒主題如何把握無限的知識(shí)—公理+推理馬克盧普《美國的知識(shí)生產(chǎn)與分配》專家系統(tǒng)—知識(shí)工程N(yùn)II/NKI網(wǎng)格計(jì)算—本體論MKMNKS,一個(gè)比喻,糧食,,,農(nóng)業(yè),拖拉機(jī)、農(nóng)

5、藥,食品,能源,鉆機(jī),原油煤炭,石化產(chǎn)品,知識(shí)/信息,計(jì)算機(jī)、網(wǎng)絡(luò),知識(shí)/信息資源,,,,,,,知識(shí)/信息產(chǎn)品,一種趨勢(shì),一種趨勢(shì),,基礎(chǔ)信息服務(wù),文獻(xiàn)提供服務(wù),集成式知識(shí)服務(wù),一般信息服務(wù),知識(shí)技能服務(wù),,,,,,一個(gè)情景,信息庫/知識(shí)庫,科學(xué)研究,新聞傳播,書刊出版,咨詢服務(wù),教育培訓(xùn),在線服務(wù),,,,,,,,,,,,,重大挑戰(zhàn)：缺乏文化傳統(tǒng),西方——理性分析， 邏輯推理東方——經(jīng)驗(yàn)自覺， 歸納綜合一、社會(huì)科學(xué)（一）古代哲

6、學(xué)本體論——世界為何物道德經(jīng)——道可道，非常道（二）現(xiàn)代社會(huì)科學(xué)：經(jīng)濟(jì)學(xué)，行為科學(xué)方法論,歷史的反思：兩種不同知識(shí)觀的不同后果,二、自然科學(xué)（一）近代不定方程理論 明朝程大位《算法統(tǒng)宗》： “三人同行七十稀，五樹梅花廿一枝， 七子團(tuán)圓正半月， 除百零五便得知?！?西方方程理論：基于變量理論 陰陽八卦——萊布尼茲二進(jìn)制（二）泛系：泛系五互

7、 互相聯(lián)結(jié)，互相轉(zhuǎn)化，互相泛導(dǎo)，互相顯生，互相顯克。 半觀半控觀控觀 三觀七控半反萬 實(shí)踐悟動(dòng)控催控 簡化強(qiáng)化八籌轉(zhuǎn) 西方——模糊數(shù)學(xué)&定性推理,三、工程（一）醫(yī)學(xué)工程——解剖學(xué) 中醫(yī)經(jīng)絡(luò)（二）計(jì)算機(jī) —— OOA/OOD, BDI, HTML/XML四、語言學(xué)：《馬氏文通》 五、音樂：樂理和樂器設(shè)計(jì),現(xiàn)代科學(xué)技術(shù)全部起源/發(fā)端于西方的哲學(xué)０３年引進(jìn)圖書

8、版權(quán)１２５１６項(xiàng)，來自近５０個(gè)國家和地區(qū)；輸出８１１項(xiàng)，超過７０％為港臺(tái)地區(qū)所購買。進(jìn)口期刊９７００．３５萬美元、出口３６５．２２萬美元，進(jìn)口電子出版物２１２４．３５萬美元、出口電子出版物２７．４５萬美元。 出口圖書品種集中在“孔子老子、中醫(yī)中藥、現(xiàn)代旅游”，引進(jìn)覆蓋政治經(jīng)濟(jì)社會(huì)時(shí)尚等廣泛領(lǐng)域。長期積累形成的西方系統(tǒng)化知識(shí)體系特點(diǎn)基礎(chǔ)非常扎實(shí)：一小步就是一小步覆蓋每個(gè)方面內(nèi)容交叉，發(fā)展加速高效的傳播、轉(zhuǎn)化效率：放射出巨大的能

9、量，連哲學(xué)、數(shù)學(xué)也廣泛應(yīng)用形成良性鏈條：哲學(xué)——科學(xué)——技術(shù)——社會(huì),西方知識(shí)體系的現(xiàn)狀和特點(diǎn),重大挑戰(zhàn)：全球的創(chuàng)新競(jìng)爭,知識(shí)科學(xué)-知識(shí)工程-知識(shí)傳播尚未充分融合重一般性原理，輕工程實(shí)踐重高難問題，輕常規(guī)功能重知識(shí)庫建設(shè)，輕傳播與服務(wù)策略 全球競(jìng)爭 雙重任務(wù)：構(gòu)建體系與全球競(jìng)爭,基本框架：大知識(shí)觀，大知識(shí)鏈,本體論認(rèn)識(shí)論知識(shí)學(xué)語言哲學(xué),認(rèn)知科學(xué)邏輯學(xué)數(shù)學(xué)人工智能,通信技術(shù)信息處理技術(shù)網(wǎng)絡(luò)技術(shù),知識(shí)傳播知識(shí)增

10、值服務(wù)知識(shí)轉(zhuǎn)化,哲學(xué)之于科學(xué)：哲學(xué)對(duì)于科學(xué)至關(guān)重要嗎？,“哲學(xué)，就我對(duì)這個(gè)詞的理解來說，乃是某種介于神學(xué)與科學(xué)之間的東西。他和神學(xué)一樣，包含著人類對(duì)于那些迄今仍為確切的知識(shí)所不能肯定的事物的思考；但是，它又象科學(xué)一樣是訴之于人類的理性而不是述之于權(quán)威的，不管是傳統(tǒng)的權(quán)威還是啟示的權(quán)威。一切確切的知識(shí)——我是這樣主張的——都屬于科學(xué)；一切涉及超乎確切知識(shí)之外的教條都屬于神學(xué)。但介乎神學(xué)與科學(xué)之間還有一片受到雙方攻擊的無人之域；這片無人之

11、域就是哲學(xué)?！?——羅素《西方哲學(xué)史》,哲學(xué)的意義:作為世界觀、信仰或者傳統(tǒng)作為方法論：分析或者綜合萌芽時(shí)期的探索與積累例子:兩種哲學(xué)傳統(tǒng)的不同結(jié)果OO馬赫《感覺的分析》,科學(xué)之于技術(shù),產(chǎn)業(yè)革命時(shí)期的主要發(fā)明和創(chuàng)新是由技術(shù)人員完成的；20世紀(jì)前,科學(xué)對(duì)于技術(shù)發(fā)明還沒有關(guān)鍵性的貢獻(xiàn)；20世紀(jì)之后，技術(shù)發(fā)明對(duì)于科學(xué)的以來越來越大；當(dāng)今，技術(shù)的競(jìng)爭主要決定于基礎(chǔ)性突破、原始創(chuàng)新的競(jìng)爭。,技

12、術(shù)之于社會(huì),第一生產(chǎn)力轉(zhuǎn)化為社會(huì)財(cái)富的最后一環(huán)體現(xiàn)“軟實(shí)力”,是我國最薄弱的一環(huán)需要社會(huì)創(chuàng)新(體制、文化、教育、商業(yè)模式)實(shí)驗(yàn)室創(chuàng)建風(fēng)險(xiǎn)投資商業(yè)銀行社區(qū)大學(xué)知識(shí)媒介研究：領(lǐng)域的綜合、方法論的綜合“嘗試機(jī)會(huì)”“胡暉現(xiàn)象”,順應(yīng)潮流、抓住機(jī)遇,大趨勢(shì)機(jī)構(gòu)融合學(xué)科融合學(xué)科建設(shè)Think globally，act locally。整合資源、凝練目標(biāo)、突出優(yōu)勢(shì)建設(shè)基礎(chǔ)、突出典型應(yīng)用、拉動(dòng)基礎(chǔ)與技術(shù),基礎(chǔ)研究,知識(shí)

13、社會(huì)要求大知識(shí)觀、大知識(shí)觀要求為知識(shí)研究建立科學(xué)基礎(chǔ)知識(shí)社會(huì)要求：機(jī)器取代人成為創(chuàng)造知識(shí)、發(fā)現(xiàn)知識(shí)、處理知識(shí)、傳播知識(shí)、應(yīng)用知識(shí)的主體大規(guī)模高速度多人合作知識(shí)研究需要有科學(xué)基礎(chǔ)形式化數(shù)字化網(wǎng)絡(luò)化,,誰能為知識(shí)研究提供科學(xué)基礎(chǔ)？,智能行為的核心是知識(shí)。顯示地獲得、操作、交換知識(shí)的能力把人與動(dòng)物分開。由此可以看到，不論對(duì)智能行為展開理論的還是實(shí)證的研究，都需要從共同的一個(gè)出發(fā)點(diǎn)出發(fā)，即知識(shí)學(xué)，它研究知識(shí)的基本形式、獲取、處理

14、等等。但是對(duì)于知識(shí)學(xué)還沒有一個(gè)統(tǒng)一、廣泛的共識(shí)。哲學(xué)，（定位為“愛知識(shí)”的學(xué)科），在古代，的目標(biāo)是這樣一個(gè)角色，希望充當(dāng)所有科學(xué)的母親，但是，哲學(xué)的中心地位已很長時(shí)間不復(fù)存在，它被肢解為諸如物理學(xué)、生物學(xué)、數(shù)學(xué)等等這樣的專門學(xué)科。計(jì)算機(jī)科學(xué)，在知識(shí)的家譜上一門相對(duì)年輕的學(xué)科，有幾分成為所謂“知識(shí)學(xué)”的野心，但目前至多也就是一門把工程技術(shù)和抽象數(shù)學(xué)松散地聯(lián)系起來的學(xué)科。人工智能，“研究智能行為和計(jì)算機(jī)之間新穎聯(lián)系”的學(xué)科，可能是另外

15、一個(gè)有力的競(jìng)爭者，但是，被認(rèn)為言過其實(shí)，缺乏明確的目標(biāo)、應(yīng)用著雜亂不清的研究方法。本文認(rèn)為，在最廣意義上，邏輯學(xué)是（或者至少應(yīng)當(dāng)被認(rèn)為）知識(shí)學(xué)。Peter A. Flach. Modern Logic and its Role in the Study of Knowledge. In: A Companion to Philosophical Logic, Dale Jacquette, editor, pages 680--69

16、3. Blackwell Publishers, January 2002.,邏輯學(xué)和自然語言、語言學(xué),,語言學(xué),邏輯學(xué),,自然語言,,,,,,邏輯學(xué)和自然語言的關(guān)系,自然語言特點(diǎn)：多樣性模糊性表達(dá)不足表達(dá)過分邏輯學(xué)：對(duì)自然語言進(jìn)行嚴(yán)格分析,Fibring 方法示范,D. M. Gabbay,Fibring Logics, 1996, Oxford. D.M. Gabbay, A. Kurucz, F. Wolter ,M.

17、 Zakharyaschev，Many-Dimensional Modal Logics：Theory and Applications，2003. 基本原理：圖示（以模態(tài)邏輯為例） 特點(diǎn)組合邏輯的一般方法：一階時(shí)序、模態(tài)，多模態(tài)更加一般化：比fusion、product等模塊化組合保持性定理 例子BDI logic=B-KD45+D-KD+I-KD+Interaction axioms,Fibring 模態(tài)邏輯,Fi

18、bring 研究,基本理論和方法：如把描述邏輯和動(dòng)作邏輯結(jié)合 典型應(yīng)用：多主體方面拓展類似BDI模型的思路；拓展RAO邏輯在神經(jīng)網(wǎng)絡(luò)中的應(yīng)用在其他可能的方面的應(yīng)用,Reasoning about others,R.Fagin, Reasoning about Knowledge, The MIT Press.,工作思路,戰(zhàn)略：從大知識(shí)觀出發(fā)，把方向，凝煉理念前工業(yè)時(shí)代——物質(zhì)產(chǎn)品生產(chǎn)領(lǐng)域，大機(jī)器戰(zhàn)勝手工作坊后工業(yè)時(shí)代——