Chapter 14: Beyond Belief: Probability, Dynamics and Intention

• Page number: 422
  • Section number: 14.1
  • Date: 13.01.14
  • Name: Christof Schötz
  • Email: schoetzc(at)informatik.uni-freiburg.de
  • Content: at bottom of page: replace "P(phi) <= a = P(not phi) >= a" by "P(phi) <= a = P(not phi) >= 1 - a"
• Page number: 437
  • Section number: 14.3
  • Date: 13.01.14
  • Name: Christof Schötz
  • Email: schoetzc(at)informatik.uni-freiburg.de
  • Content: "The satisfaction relation is defined as follows: [...] for p \in Phi, (S, E, V) \models p iff s \in V(p)": Lower-case 's' is undefined. On the same page: I think it might not be clear what is ment by "E(C') is a refinement of E(C)"
• Page number: 442
  • Section number: 14.4.2
  • Date: 13.01.14
  • Name: Christof Schötz
  • Email: schoetzc(at)informatik.uni-freiburg.de
  • Content: in Definition 14.4.2: "Before(...) = \forall c(...) \rightarrow ..." should be "Before(...) = \forall c(... \rightarrow ...)" to be consistent with bracket usage at "Always ...". Also little odd indents in this definition.
• Page number:
  • Section number:
  • Date:
  • Name:
  • Email:
  • Content:

The following errors are fixed in the second printing of the book and online PDF v1.1

• Page number: 428 (print version)
  • Section number:14.2.1
  • Date:April 27 2009
  • Name:Yoav
  • Email:
  • Content:"Alchourr\'on" misspelled