  routine believability
finally, one can check whether the assumtions involved in reasoning about the routine are believeable, i.e., sufficiently justified.
In the SD [Strategic Dependency] model, this assertion [the workability-commitement assertion, that if an agent y is able to achieve n, and y is commited to achieve n for x, then n is workable for y] typically appears within the belief context of some agent, such as the depender. Such a belief amy need to be justified, if the agent is concerned about the viability of the dependency. In this case, the belief may be raised as an assumtion. We then call it the workability-commitement-assumtion. (p27)
Since the SR [Strategic Rationale] model relies on judgement and argumentation, there are many assumptions made as the model is constructed. A fourth level of assessement is in the believability of these assumtions. A qualitative treatment of these is also assumed.
Belief nodes are known as "argumentation goals" in [Chung93].
» See also: has believes about its environment*
| 
