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
-- KevinLeytonBrown - 13 Nov 2008
Edit | Attach | Watch | Print version | History: r6 < r5 < r4 < r3 < r2 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r6 - 2014-01-13 - ChristofSchoetz
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2017 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback