Handbook of Knowledge Representation
暫譯: 知識表徵手冊

Van Harmelen, Frank, Lifschitz, Vladimir, Porter, Bruce

  • 出版商: Elsevier Science
  • 出版日期: 2008-01-01
  • 售價: $8,230
  • 貴賓價: 9.5$7,819
  • 語言: 英文
  • 頁數: 1005
  • 裝訂: Hardcover - also called cloth, retail trade, or trade
  • ISBN: 0444522115
  • ISBN-13: 9780444522115
  • 海外代購書籍(需單獨結帳)

商品描述

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實務工作者的重要資源。

* 讓你的電腦更聰明
* 處理定性和不確定的信息
* 改善計算可行性,輕鬆解決你的問題