Knowledge Representation, which lies at the core of Artificial Intelligence, is concerned with encoding knowledge on computers to enable systems to reason automatically. The Handbook of Knowledge Representation is an up-to-date review of twenty-five key topics in knowledge representation, written by the leaders of each field. This book is an essential resource for students, researchers and practitioners in all areas of Artificial Intelligence. * Make your computer smarter * Handle qualitative and uncertain information * Improve computational tractability to solve your problems easily
Author(s): Frank van Harmelen, Vladimir Lifschitz and Bruce Porter (Eds.)
Series: Foundations of Artificial Intelligence 3
Edition: 1
Publisher: Elsevier
Year: 2008
Language: English
Pages: 1-1006
City: Amsterdam; Boston
Tags: Информатика и вычислительная техника;Искусственный интеллект;Справочники, каталоги, таблицы
Content:
Dedication
Page v
Preface
Pages vii-x
Frank Harmelen, Vladimir Lifschitz, Bruce Porter
Contributors
Pages xiii-xiv
Chapter 1 Knowledge Representation and Classical Logic Review Article
Pages 3-88
Vladimir Lifschitz, Leora Morgenstern, David Plaisted
Chapter 2 Satisfiability Solvers Review Article
Pages 89-134
Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
Chapter 3 Description Logics Review Article
Pages 135-179
Franz Baader, Ian Horrocks, Ulrike Sattler
Chapter 4 Constraint Programming Review Article
Pages 181-211
Francesca Rossi, Peter van Beek, Toby Walsh
Chapter 5 Conceptual Graphs Review Article
Pages 213-237
John F. Sowa
Chapter 6 Nonmonotonic Reasoning Review Article
Pages 239-284
Gerhard Brewka, Ilkka Niemelä, Mirosław Truszczyński
Chapter 7 Answer Sets Review Article
Pages 285-316
Michael Gelfond
Chapter 8 Belief Revision Review Article
Pages 317-359
Pavlos Peppas
Chapter 9 Qualitative Modeling Review Article
Pages 361-393
Kenneth D. Forbus
Chapter 10 Model-based Problem Solving Review Article
Pages 395-465
Peter Struss
Chapter 11 Bayesian Networks Review Article
Pages 467-509
A. Darwiche
Chapter 12 Temporal Representation and Reasoning Review Article
Pages 513-550
Michael Fisher
Chapter 13 Qualitative Spatial Representation and Reasoning Review Article
Pages 551-596
Anthony G. Cohn, Jochen Renz
Chapter 14 Physical Reasoning Review Article
Pages 597-620
Ernest Davis
Chapter 15 Reasoning about Knowledge and Belief Review Article
Pages 621-647
Yoram Moses
Chapter 16 Situation Calculus Review Article
Pages 649-669
Fangzhen Lin
Chapter 17 Event Calculus Review Article
Pages 671-708
Erik T. Mueller
Chapter 18 Temporal Action Logics Review Article
Pages 709-757
Patrick Doherty, Jonas Kvarnström
Chapter 19 Nonmonotonic Causal Logic Review Article
Pages 759-776
H. Turner
Chapter 20 Knowledge Representation and Question Answering Review Article
Pages 779-819
Marcello Balduccini, Chitta Baral, Yuliya Lierler
Chapter 21 The Semantic Web: Webizing Knowledge Representation Review Article
Pages 821-839
Jim Hendler, Frank van Harmelen
Chapter 22 Automated Planning Review Article
Pages 841-867
Alessandro Cimatti, Marco Pistore, Paolo Traverso
Chapter 23 Cognitive Robotics Review Article
Pages 869-886
Hector Levesque, Gerhard Lakemeyer
Chapter 24 Multi-Agent Systems Review Article
Pages 887-928
Wiebe van der Hoek, Michael Wooldridge
Chapter 25 Knowledge Engineering Review Article
Pages 929-946
Guus Schreiber
Author Index
Pages 947-986
Subject Index
Pages 987-1005
