A Logical Approach
This page contains the errors that we know about from the first
edition of Poole, Mackworth and Goebel, Computational
Logical Approach, Oxford University Press, 1998. Copyright
© Poole, Mackworth, Goebel, and Oxford University Press,
1998. All Rights reserved.
If you find an error or something you don't understand
let us know.
To see what printing a book is, look at the first left-hand-side
with printing on it. (This is the page that contains copyright
information and Library of Congress Cataloging-in-Publication
Data). At the bottom of this page you will find numbers: 10 9 8 7 6...
The last of these numbers specifies which printing you have.
Errata in third and subsequent printings
- Page 111 Exercise 3.18, "cs486" should be "cs489" and
"cs340" should be "cs350".
- Page 153, Figure 4.8.
Insert "DX := NDX" in the "then" part
of the "if" statement.
Errata in first and second printings
Chapter 1: Computational Intelligence and Knowledge
- Page 6, paragraph 2, "of of" should be "of".
Chapter 2: A Representation and Reasoning System
- Page 63 Exercise 2.1 (a) should read "Give a model of the
Chapter 3: Using Definite Knowledge
- Page 77 the query cs_or_math_course(C) should be preceded
- Page 80 line 9 "is absence" -> "its absence"
Chapter 4: Searching
- Page 155, end of second last paragraph: "and does it the
number of variables" should be "and does it
in time linear in
the number of variables."
Chapter 5: Representing Knowledge
- Figure 5.3 (page 176). There should be an arc between
datalog and definite clauses (not just an arrowhead).
- Exercise 5.2 (page 196). The c in Fred's
representation should be x.
Chapter 6: Knowledge Engineering
- Page 220 The end-bar
for the example should be at the bottom of the page.
- Page 221, first paragraph. "HOW" and "WHY" should be
swapped. HOW moves from the root to the leaves, and
WHY moves from the leaves to the root of the tree.
- Example 6.14 (page 223). "...they can ask how live(l1)...".
The "live" should be "lit".
- Page 230,
"than is provided by the meta-level, you can't rely on the all" should
be "than is provided by the meta-level, you can't rely on all the"
Chapter 7: Beyond Definite Knowledge
Chapter 8: Actions and Planning
Chapter 9: Assumption-based Reasoning
Chapter 10: Using Uncertain Knowledge
Chapter 11: Learning
- Figure 11.7 (page 413). The error for iteration 80 should
be 0.179 (not 0.178).
- Example 11.16 (page 426). "...the probability of observing
n A's in m independent trials..." should be "...the
probability of observing a particular sequence of n A's in m
independent trials...". It is, of course,
particular sequence that will be observed. This isn't the binomial
distribution which is the probability of observing any sequence of n
A's in m independent trials (for the binomial
distribution the number in the book
needs to be multiplied by the number of ways you can get n A's
in m trials).
- Page 426 (first paragraph after the
heading). "P(model|data)=1" should be "P(data|model)=1".
- Example 11.16 (page 427). (Thanks to Bonnie Webber.) This
looks as though it has been
run using a different database.
Let decision tree d0 be the tree with no
nodes and predicts read with probability ½ (this is the most
likely tree with no internal nodes given the data). Then:
P(data | d0) = ½9 * ½9 = 0.00000149
Let decision tree d1a be the tree that splits on length,
such that when length=long it predicts reads
probability 0 and when length=short it predicts reads
P(data | d1a) = 17 * (9/11)9 * (2/11)2 = 0.00543
Let decision tree d1b be the tree that splits on thread,
such that when thread=new it predicts reads
probability 7/10 (as 7 out of the 10 examples with thread=new
have user_action=reads) and when thread=follow_up it
predicts reads with probability 2/8.
P(data | d1b) = (7/10)7 * (3/10)3 * (6/8)6 * (2/8)2 = 0.0000247
Chapter 12: Building Situated Robots
Appendix A: Glossary
- Consistent (p. 465) "can" should be "cannot". A set of
beliefs is consistent if false cannot be derived.
Appendix B: The Prolog programming language
Appendix C: Some more implemented systems
- Page 509 line 6, "had" should be "has"
Last updated 1 November 1999, David