探索知識研究新思路.pptVIP

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