出版時間:2003-5-1 出版社:機械工業(yè)出版社 作者:John F?Sowa 頁數(shù):594
Tag標簽:無
內(nèi)容概要
這本經(jīng)典教材提供了知識表示方面廣泛的知識,作為這一領(lǐng)域的公認權(quán)威著作,Sowa在介紹新思想的同時捕捉到這一學(xué)科的最新成就,并且將邏輯學(xué)、哲學(xué)、語言學(xué)和計算機科學(xué)結(jié)合到知識及其可計算形式轉(zhuǎn)化的過程中。本書強調(diào)了作為人工智能,數(shù)據(jù)庫設(shè)計和面向?qū)ο缶庉嫷母鞣N技術(shù)和表示法基礎(chǔ)的邏輯原理。因為這是一門叉學(xué)科,所以書中還包含了大量的哲學(xué)和語言學(xué)的知識。每種新思想在第一次提到時都會給出定義。所有的形式體系都在正文中討論或在附錄中綜述。
作者簡介
John F.Sowa于麻省理工學(xué)院獲得數(shù)學(xué)學(xué)士學(xué)位。于哈佛大學(xué)獲得應(yīng)用數(shù)學(xué)碩士學(xué)位,于布魯塞爾自由大學(xué)獲得博士學(xué)位。他在IBM從事研究和項目開發(fā)工作30年,并有7年的教學(xué)和著書經(jīng)驗。在此期間,還為ANIS和ISO概念模型和知識分享方面的項目做出過貢獻。他以其概念圖理論而著名,
書籍目錄
Preface XIIILogic IOntology Knowledge RepresentationsProcessesPurposes,Contexts,and AgentsKnowledge SoupKnowledge Acquisition and SharingSummary of NotationsSample OntologyExtended ExampleAnowers to Selected ExercisesBibliographyName IndexSubject IndexSpecial Symbols
圖書封面
圖書標簽Tags
無
評論、評分、閱讀與下載