Book errata - index

Representation and Inference for Natural Language


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

Valid XHTML 1.0! Valid CSS! Level Double-A conformance icon, W3C-WAI Web Content Accessibility Guidelines 1.0 Labelled with ICRA