Handbook of Knowledge Representation
暫譯: 知識表徵手冊
Van Harmelen, Frank, Lifschitz, Vladimir, Porter, Bruce
- 出版商: Elsevier Science
- 出版日期: 2008-01-01
- 售價: $7,600
- 貴賓價: 9.5 折 $7,220
- 語言: 英文
- 頁數: 1005
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 0444522115
- ISBN-13: 9780444522115
-
相關分類:
Natural Language Processing
海外代購書籍(需單獨結帳)
相關主題
商品描述
Handbook of Knowledge Representation describes the essential foundations of Knowledge Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. It includes a tutorial background and cutting-edge developments, as well as applications of Knowledge Representation in a variety of AI systems.
This handbook is organized into three parts. Part I deals with general methods in Knowledge Representation and reasoning and covers such topics as classical logic in Knowledge Representation; satisfiability solvers; description logics; constraint programming; conceptual graphs; nonmonotonic reasoning; model-based problem solving; and Bayesian networks. Part II focuses on classes of knowledge and specialized representations, with chapters on temporal representation and reasoning; spatial and physical reasoning; reasoning about knowledge and belief; temporal action logics; and nonmonotonic causal logic. Part III discusses Knowledge Representation in applications such as question answering; the semantic web; automated planning; cognitive robotics; multi-agent systems; and knowledge engineering.
This book is an essential resource for graduate students, researchers, and practitioners in knowledge representation and AI.
* Make your computer smarter* Handle qualitative and uncertain information
* Improve computational tractability to solve your problems easily
商品描述(中文翻譯)
《知識表徵手冊》描述了知識表徵的基本基礎,這是人工智慧(AI)的核心所在。本書提供了二十五個知識表徵關鍵主題的最新回顧,這些主題由各領域的領導者撰寫。它包括教程背景和前沿發展,以及知識表徵在各種AI系統中的應用。
本手冊分為三個部分。第一部分處理知識表徵和推理中的一般方法,涵蓋了如知識表徵中的古典邏輯;可滿足性求解器;描述邏輯;約束編程;概念圖;非單調推理;基於模型的問題解決;以及貝葉斯網絡等主題。第二部分專注於知識的類別和專門的表徵,章節包括時間表徵和推理;空間和物理推理;關於知識和信念的推理;時間行動邏輯;以及非單調因果邏輯。第三部分討論知識表徵在應用中的情況,如問題回答;語義網;自動規劃;認知機器人;多代理系統;以及知識工程。
本書是研究生、研究人員和知識表徵及AI實務工作者的重要資源。
* 讓你的電腦更聰明
* 處理定性和不確定的信息
* 改善計算可行性,輕鬆解決你的問題