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

探索知識(shí)研究新思路,田啟家 二五年三月四日,目 錄,重大機(jī)遇 重大挑戰(zhàn)：雙重任務(wù) 基本框架：大知識(shí)觀 基礎(chǔ)研究：邏輯學(xué) 工作思路,重大機(jī)遇 必然趨勢(shì)，社會(huì)系統(tǒng)工程，社會(huì)革新過(guò)程,一個(gè)論斷 一種觀察 一段歷史 一個(gè)比喻 一種趨勢(shì) 一個(gè)情景,一個(gè)論斷,知識(shí)/信息資源的至關(guān)重要性，是戰(zhàn)略資源 知識(shí)就是力量。（培根） 如果沒有那些書面文獻(xiàn)，我們便與那些只能教他們的幼子做幾件簡(jiǎn)單事情的貓狗毫無(wú)二致。（房龍人類的故事） 后工業(yè)時(shí)代/信息時(shí)代 服務(wù)業(yè)新起（后工業(yè)時(shí)代的來(lái)臨） 實(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ì)與總裝 英國(guó)：教育產(chǎn)業(yè)（300億磅） 生物技術(shù)專利：“基因鴻溝” 高通：技術(shù)版權(quán)收入占總收入的34 電子商務(wù)經(jīng)營(yíng)方法的專利申請(qǐng) 一部電影過(guò)億 一種網(wǎng)絡(luò)游戲過(guò)數(shù)十億,紡織 鋼鐵 化工 礦業(yè) 機(jī)械制造,一種觀察,國(guó)家政策動(dòng)向：34號(hào)文件 北京市政策動(dòng)向：信息服務(wù)業(yè) 臺(tái)灣經(jīng)濟(jì)部工業(yè)局?jǐn)?shù)位內(nèi)容推進(jìn)辦公室 各國(guó)數(shù)字內(nèi)容產(chǎn)業(yè)發(fā)展政策 愛爾蘭數(shù)字內(nèi)容戰(zhàn)略 澳大利亞數(shù)字內(nèi)容行動(dòng)綱領(lǐng) 歐盟 e-contentplus 美國(guó) 各界關(guān)注與行動(dòng) 政府部門提的是信息資源管理、信息服務(wù)業(yè)、現(xiàn)代信息服務(wù)業(yè)、數(shù)字內(nèi)容產(chǎn)業(yè) 人工智能提的是知識(shí)工程、大規(guī)模知識(shí)庫(kù) 互聯(lián)網(wǎng)領(lǐng)域提的是語(yǔ)義Web，資源網(wǎng)格 管理領(lǐng)域提的是信息管理與知識(shí)管理 Econtent雜志,一種觀察,清華同方中國(guó)知識(shí)資源總庫(kù) 萬(wàn)方數(shù)據(jù) 人民日?qǐng)?bào)系列報(bào)刊庫(kù) 中國(guó)數(shù)字圖書館 Elsevier 電子期刊全文庫(kù) Collins 系列詞典 CYC MKM,一段歷史,對(duì)知識(shí)的關(guān)注是西方哲學(xué)的一個(gè)永恒主題 如何把握無(wú)限的知識(shí)公理+推理 馬克盧普美國(guó)的知識(shí)生產(chǎn)與分配 專家系統(tǒng)知識(shí)工程 NII/NKI 網(wǎng)格計(jì)算本體論 MKM NKS,一個(gè)比喻,糧食,農(nóng)業(yè),拖拉機(jī)、農(nóng)藥,食品,能源,鉆機(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è)情景,信息庫(kù)/知識(shí)庫(kù),科學(xué)研究,新聞傳播,書刊出版,咨詢服務(wù),教育培訓(xùn),在線服務(wù),重大挑戰(zhàn)：缺乏文化傳統(tǒng),西方理性分析， 邏輯推理 東方經(jīng)驗(yàn)自覺， 歸納綜合 一、社會(huì)科學(xué) （一）古代哲學(xué) 本體論世界為何物 道德經(jīng)道可道，非常道 （二）現(xiàn)代社會(huì)科學(xué)：經(jīng)濟(jì)學(xué)，行為科學(xué)方法論,歷史的反思：兩種不同知識(shí)觀的不同后果,二、自然科學(xué) （一）近代不定方程理論 明朝程大位算法統(tǒng)宗： “三人同行七十稀，五樹梅花廿一枝， 七子團(tuán)圓正半月， 除百零五便得知。” 西方方程理論：基于變量理論 陰陽(yáng)八卦萊布尼茲二進(jìn)制 （二）泛系：泛系五互 互相聯(lián)結(jié)，互相轉(zhuǎn)化，互相泛導(dǎo)，互相顯生，互相顯克。 半觀半控觀控觀 三觀七控半反萬(wàn) 實(shí)踐悟動(dòng)控催控 簡(jiǎn)化強(qiáng)化八籌轉(zhuǎn) 西方模糊數(shù)學(xué)&定性推理,三、工程 （一）醫(yī)學(xué)工程解剖學(xué) 中醫(yī)經(jīng)絡(luò) （二）計(jì)算機(jī) OOA/OOD, BDI, HTML/XML 四、語(yǔ)言學(xué)：馬氏文通 五、音樂(lè)：樂(lè)理和樂(lè)器設(shè)計(jì),現(xiàn)代科學(xué)技術(shù)全部起源/發(fā)端于西方的哲學(xué) 年引進(jìn)圖書版權(quán)項(xiàng)，來(lái)自近個(gè)國(guó)家和地區(qū)；輸出項(xiàng)，超過(guò)為港臺(tái)地區(qū)所購(gòu)買。進(jìn)口期刊萬(wàn)美元、出口萬(wàn)美元，進(jìn)口電子出版物萬(wàn)美元、出口電子出版物萬(wàn)美元。 出口圖書品種集中在“孔子老子、中醫(yī)中藥、現(xiàn)代旅游”，引進(jìn)覆蓋政治經(jīng)濟(jì)社會(huì)時(shí)尚等廣泛領(lǐng)域。 長(zhǎng)期積累形成的西方系統(tǒng)化知識(shí)體系特點(diǎn) 基礎(chǔ)非常扎實(shí)：一小步就是一小步 覆蓋每個(gè)方面 內(nèi)容交叉，發(fā)展加速 高效的傳播、轉(zhuǎn)化效率：放射出巨大的能量，連哲學(xué)、數(shù)學(xué)也廣泛應(yīng)用 形成良性鏈條：哲學(xué)科學(xué)技術(shù)社會(huì),西方知識(shí)體系的現(xiàn)狀和特點(diǎn),重大挑戰(zhàn)：全球的創(chuàng)新競(jìng)爭(zhēng),知識(shí)科學(xué)-知識(shí)工程-知識(shí)傳播尚未充分融合 重一般性原理，輕工程實(shí)踐 重高難問(wèn)題，輕常規(guī)功能 重知識(shí)庫(kù)建設(shè)，輕傳播與服務(wù)策略 全球競(jìng)爭(zhēng) 雙重任務(wù)：構(gòu)建體系與全球競(jìng)爭(zhēng),基本框架：大知識(shí)觀，大知識(shí)鏈,本體論 認(rèn)識(shí)論 知識(shí)學(xué) 語(yǔ)言哲學(xué),認(rèn)知科學(xué) 邏輯學(xué) 數(shù)學(xué) 人工智能,通信技術(shù) 信息處理技術(shù) 網(wǎng)絡(luò)技術(shù),知識(shí)傳播 知識(shí)增值服務(wù) 知識(shí)轉(zhuǎn)化,哲學(xué)之于科學(xué)：哲學(xué)對(duì)于科學(xué)至關(guān)重要嗎？,“哲學(xué)，就我對(duì)這個(gè)詞的理解來(lái)說(shuō)，乃是某種介于神學(xué)與科學(xué)之間的東西。他和神學(xué)一樣，包含著人類對(duì)于那些迄今仍為確切的知識(shí)所不能肯定的事物的思考；但是，它又象科學(xué)一樣是訴之于人類的理性而不是述之于權(quán)威的，不管是傳統(tǒng)的權(quán)威還是啟示的權(quán)威。一切確切的知識(shí)我是這樣主張的都屬于科學(xué)；一切涉及超乎確切知識(shí)之外的教條都屬于神學(xué)。但介乎神學(xué)與科學(xué)之間還有一片受到雙方攻擊的無(wú)人之域；這片無(wú)人之域就是哲學(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é)的以來(lái)越來(lái)越大； 當(dāng)今，技術(shù)的競(jìng)爭(zhēng)主要決定于基礎(chǔ)性突破、原始創(chuàng)新的競(jìng)爭(zhēng)。,技術(shù)之于社會(huì),第一生產(chǎn)力轉(zhuǎn)化為社會(huì)財(cái)富的最后一環(huán) 體現(xiàn)“軟實(shí)力”,是我國(guó)最薄弱的一環(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í)社會(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ò)化,誰(shuí)能為知識(shí)研究提供科學(xué)基礎(chǔ)？,智能行為的核心是知識(shí)。顯示地獲得、操作、交換知識(shí)的能力把人與動(dòng)物分開。由此可以看到，不論對(duì)智能行為展開理論的還是實(shí)證的研究，都需要從共同的一個(gè)出發(fā)點(diǎn)出發(fā)，即知識(shí)學(xué)，它研究知識(shí)的基本形式、獲取、處理等等。但是對(duì)于知識(shí)學(xué)還沒有一個(gè)統(tǒng)一、廣泛的共識(shí)。 哲學(xué)，（定位為“愛知識(shí)”的學(xué)科），在古代，的目標(biāo)是這樣一個(gè)角色，希望充當(dāng)所有科學(xué)的母親，但是，哲學(xué)的中心地位已很長(zhǎng)時(shí)間不復(fù)存在，它被肢解為諸如物理學(xué)、生物學(xué)、數(shù)學(xué)等等這樣的專門學(xué)科。 計(jì)算機(jī)科學(xué)，在知識(shí)的家譜上一門相對(duì)年輕的學(xué)科，有幾分成為所謂“知識(shí)學(xué)”的野心，但目前至多也就是一門把工程技術(shù)和抽象數(shù)學(xué)松散地聯(lián)系起來(lái)的學(xué)科。 人工智能，“研究智能行為和計(jì)算機(jī)之間新穎聯(lián)系”的學(xué)科，可能是另外一個(gè)有力的競(jìng)爭(zhēng)者，但是，被認(rèn)為言過(guò)其實(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-693. Blackwell Publishers, January 2002.,邏輯學(xué)和自然語(yǔ)言、語(yǔ)言學(xué),語(yǔ)言學(xué),邏輯學(xué),自然語(yǔ)言,邏輯學(xué)和自然語(yǔ)言的關(guān)系,自然語(yǔ)言特點(diǎn)： 多樣性 模糊性 表達(dá)不足 表達(dá)過(guò)分 邏輯學(xué)：對(duì)自然語(yǔ)言進(jìn)行嚴(yán)格分析,Fibring 方法示范,D. M. Gabbay,Fibring Logics, 1996, Oxford. D.M. Gabbay, A. Kurucz, F. Wolter ,M. Zakharyaschev，Many-Dimensional Modal Logics：Theory and Applications，2003. 基本原理：圖示（以模態(tài)邏輯為例） 特點(diǎn) 組合邏輯的一般方法：一階時(shí)序、模態(tài)，多模態(tài) 更加一般化：比f(wàn)usion、product等 模塊化組合 保持性定理 例子 BDI logic=B-KD45+D-KD+I-KD+Interaction axioms,Fibring 模態(tài)邏輯,Fibring 研究,基本理論和方法：如把描述邏輯和動(dòng)作邏輯結(jié)合 典型應(yīng)用： 多主體方面 拓展類似BDI模型的思路； 拓展RAO邏輯 在神經(jīng)網(wǎng)絡(luò)中的應(yīng)用 在其他可能的方面的應(yīng)用,Reasoning about others,R.Fagin, Reasoning about Kn