Errata for Features & Fluents Vol. I
The exact title of the book is: Features and Fluents. The
Representation of Knowledge about Dynamical Systems. Volume I.
This list contains errata known up to November 15, 1995.
Non-trivial corrections
- p. 119, line 7: Replace "predecessor" by "direct predecessor"
- p. 120, line 13: Replace "predecessor" by "direct predecessor".
- p. 166, last line: Replace "initial state" by "starting state".
- p. 196, line 8: This line uses the concept "non-sequential
model", whose definition unfortunately was not included. A model
<M, R> is (non)-sequential wrt a certain schedule
SCD iff M[SCD] is (non)-sequential.
- p. 196, line 19: Replace this line by:
"... and consists of exactly those members of [[Y]]
which are non-sequential wrt SCD".
- p. 214, line 12: Insert "Every member of" after the word
"Proof".
- p. 225: Replace "trajectory families" by "families of
chronicles".
Spelling errors etc
- p. 119, line 6: Replace "flier" by "flyer"