Book: Representation and Inference for Natural Language, online edition
Official book website (no errata page at present)
N.B. You can no longer download a copy of this book from the website, as it will soon be published. However, these errata may be useful to people who have downloaded it in the past.
Status: I emailed Johan Bos with a copy of this errata list on 2003-08-20, and he acknowledged it the same day.
Page 14:
It refers to "Chapter ??", presumably because the relevant chapter is in part II of the book.
Page 21:
I didn't actually get the problems that are reported in the text. Possibly this is due to the implementation of Prolog that I'm using: SWI-Prolog v5.2.6 for Windows. (The same thing happened with version 5.0.10.) For instance, if I try this command:
?- evaluate(X,1).
it comes back with:
X = customer(mia)
rather than going into an infinite loop. I think it will continue to generate an infinite list of formulas, such as:
X = customer(mia) & (customer(mia) & customer(mia))
but that probably isn't what was meant.
Similarly, if I try:
?- evaluate(exists(X,robber(X) > Y),1).
as suggested by exercise 1.3.2, it comes back with matches like:
X = honey_bunny
Y = _G378
Page 38:
"WALK(y)" should be "WOMAN(y)".
Page 51:
"hand" should be "handle".
Page 53:
"example that" should be "example of".
Page 72:
There is a missing bracket in the store attached to the S node. There should be a closing bracket after P@x.
Page 74:
There is a similar problem here. Store 11 should end with "LOVE(x,y)))>", i.e. 3 closing brackets rather than 2.
Page 78:
In store 16, I think that the first item in the store is wrong. It should say "Lambda(z1,KNOW(MIA,z2))@x" rather than just "KNOW(MIA,z2)". Similarly, in store 17, it should then say "Lambda(z1,KNOW(MIA,y))@x" rather than just "KNOW(MIA,y)".
Page 102:
Line 3 should say "F(r ∨ s)" rather than "F(r ∨ q)" - this applies in all three listings.
Page 103:
In the final paragraph, "all six rule" should say "all six rules".
Page 105:
In the second paragraph, "clear form" should say "clear from".
Page 108:
In the fourth paragraph (underneath the second tableaux), "F(p ∧ q)" should say "F(p ∧ r)".
Page 123:
In the penultimate paragraph, "f(c,y,w))sigma1" should say "f(c,y,w)sigma1", i.e. you need to remove one of the closing brackets.
Page 133:
In the first paragraph, "With it predicate" should say either "With it" or "With this predicate".
Page 148:
In the final paragraph, "grpahical" should be "graphical".
Page 150:
In the penultimate paragraph, "will bu useful" should say "will be useful".
Page 155:
In the second (non-exercise) paragraph, "But if can think" should say "But if we can think".
Page 156:
In the second paragraph, I think that "Removing non-redundant scopings" should say "Removing redundant scopings", i.e. you want to be left with scopings that aren't redundant.
Page 183:
"proof whether" should say "prove whether".
Page 186:
The grammar is incomplete, as it doesn't include a line for noun, i.e.
noun(Agr) --> [X], {lexicon(noun,Agr,X)}.
There are also a few places where the text seems to be incomplete:
p28: "(to be provided)"
p61: "Refer to classical DCG-grammar with semantic construction (Pereira?)."
p137: "To be provided..."
p157: "To be supplied..."
This page was last updated on 2003-12-31 by John C. Kirk