| 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. |
Parent Directory
| 
Revision Log
| 
Patch