本課程的開設背景口智能:智能行為依賴于知識口知識:是構成智能的基礎把有關信息關聯在一起形成的信息結構由信息提煉出來的產物,反映了一些基本的規律口信息■計算學科:對描述和變換信息的算法過程進行的系統研究。■收信人事先不知道的報道(辭海)■信息就是信息,不是物質,也不是能量(Norbertwiener)■數據的語義口數據:信息的載體和表示對于計算機而言,信息處理就是數據處理本課程的開設背景口智能:智能行為賴于知識口知識把有關信息關聯在一起形成的信息結構由信息提煉出來的產物,反映了一些基本的規律是構成智能的基礎口自息數據的語義收信人事先不知道的報道(辭海)信息就是信息,不是物質,也不是能量(Norbertwiener)計算學科:對描述和變換信息的算法過程進行的系統研究。口數據:信息的載體和表示對于計算機而言,信息處理就是數據處理本課程的開設背景口信息時代/知識時代■農業社會→工業/機械社會;由機械化、電氣化和自動化帶來的人類體力擴展的結果。機械社會→信息/知識社會:由信息化、網絡化和智能化帶來的人類智力擴展的結果。口一個標志:萬維網(Web)的普及口信息化和網絡化帶來的形形色色的海量信息和內容理解問題,向計算機科學和人工智能提出了艱巨的挑戰口語義WebWeb技術數據挖掘&知識發現■語義(本體/邏輯)知識表示與知識推理本課程的目的口了解人工智能領域關于知識表示、知識推理、知識發現的研究歷史;口掌握典型的知識表示方法(尤其是基于一階謂詞邏輯和基于描述邏輯的知識表示方法)口掌握典型的知識推理方法(尤其是基于消解原理的推理方法和基于Tableau的推理方法)口掌握典型的知識發現方法;口了解語義Web的基本思想、技術現狀和發展趨勢;口了解Web知識表示模型和語言(主要包括RDF、OWL、RIF和SPARQL);口了解語義Web背景下關于知識表示、知識推理、和知識發現的研究現狀。本課程的內容工口基于一階謂詞邏輯(FoL)的知識表示和推理基于FoL的知識表示基于消解法的知識推理基于tableau算法的知識推理知識表示能力Hor邏輯與產生式系統■Horn邏輯推理能力■邏輯程序設計產生式系統tradeoff口基于描述邏輯(DL)的知識表示和推理基于DL的知識表示■基于tableau算法的知識推理口非單調知識表示和推理■cWA:限制邏輯:默認邏輯:自認知邏輯口對動作的表示、推理以及規劃■STRIPS系統;情景演算;流演算;PDL本課程的內容T口數據挖據與知識發現基于證據理論的數據挖據方法基于神經網絡的數據挖掘方法■基于遺傳算法的數據挖掘方法■基于粗糙集的數據挖掘方法■其他數據挖掘方法口KDD的挖掘模式■關聯模式■分類模式■聚類模式■回歸模式■序列模式本課程的內容Ⅲ口語義Web的研究路線口資源描述框架RDF口Web本體語言oWL口Web規則標記語言RTFWeb查詢語言SPARQL口典型應用Web服務■軟件配置/產品協同制造■信息系統■知識共享/協同工作口語義Web背景下知識表示、知識推理和知識發現教材及參考書m教材BrachmanR,LevesqueHKnowledgeRepresentationandReasoning.MorganKaufinannPress,20041Antonioug.harmelenfasemanticWebprimer.SecondEdition.Cambridge,Mass.MITPress,2008(Antonioug、Harmelenf著陳小平等譯語義網基礎教程第1版).機械工業出版社,2008.)胡運發.數據與知識工程導論.清華大學出版社,2003口參考書1.Baaderf,Calvanesed.McGuinnessd.Nardid,andPatelSchneiderP、F、TheDescriptionLogieHandbook:Theory,ImplementationandApplications.CambridgeUniversityPress,20032.BellJ.L,,MachoverM.aCourseinMathematicallogicNorth-HollandPublishingCompany,19773.JiaweiHan,MichelineKamber,DataMining:ConceptsandTechinques.Secondedition.機械工業出版社,2007作者介紹目RonBrachmanPh.D,1977HarvardACMFellowPresidentofAAAI(2003)■雅虎全球研究運營副總裁日HectorLevesqueIPh.D1981UniversityofTorontoConferenceChairofIJCAI(2001)afounderfartherofdl口FranzBaaderChairforautomataTheoryoftheInstituteforTheoreticalComputerSciencelFacultyofComputerScienceatTUDresden課程要求口按時到課,重視課堂學習口對布置的思考題和討論題進行認真準備;口按進度完成平時作業。口