[PromiseBook] / trunk / chap_logic.tex Repository: Repository Listing PromiseBook

Diff of /trunk/chap_logic.tex

revision 38, Fri Jul 29 06:17:00 2011 UTC revision 39, Wed Aug 24 07:23:21 2011 UTC
# Line 58  Line 58
58  we only need to look in one place for this.  we only need to look in one place for this.
59
60  \begin{definition}[Inconsisent promises]  \begin{definition}[Inconsisent promises]
61    Let $b_1$ and $b_2$ be promise bodies of the same type, i.e. about the
62    same issue.
63  A promise of  A promise of
64  $b_1$ from agent $A_1$ to agent $A_2$ is said to be inconsistent if there  $b_1$ from agent $A_1$ to agent $A_2$ is said to be inconsistent if there
65  exists another promise from $A_1$ to $A_2$, of $b_2$, in which  exists another promise from $A_1$ to $A_2$, of $b_2$, in which
66  $b_1\not=b_2$.  $b_1\not=b_2$, i.e. if $b_i = (\tau,\chi_i)$, then $\chi_1\not=\chi_2$.
67  \end{definition}  \end{definition}
68  In the worst case, one could consider promising inconsistent promises  In the worst case, one could consider promising inconsistent promises
69  to be a case of breaking both promises.  to be a case of breaking both promises.

Legend:
 Removed from v.38 changed lines Added in v.39