Difference: BeyondBeliefErrata (5 vs. 6)

Revision 62014-01-13 - ChristofSchoetz

Line: 1 to 1
 
META TOPICPARENT name="Errata"

Chapter 14: Beyond Belief: Probability, Dynamics and Intention

Changed:
<
<
  • Page number:
    • Section number:
    • Date:
    • Name:
    • Email:
    • Content:
>
>
  • 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:
 
This site is powered by the TWiki collaboration platform Powered by PerlCopyright © 2008-2021 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback