Sentence examples for of active obligations from inspiring English sources

Figure 1 CPU utilization vs. Number of active obligations in the tested situations.

Figure 1 shows how the execution time for finding a plan is increasing with the number of active obligations in these situations.

This is given using the predicate activeObligations ActiveObligationsList,S): Given the list of active obligations, seeking the situation where all these obligations are fulfilled is made using the procedure plan.

The point of departure for the implementation is to get the list of all active obligations in a given situation S.

If a violation of an active obligation occurs after the execution of an action, it is no longer necessary to continue searching a solution from the resulting situation.

In such a situation, it will be interesting to know if there are active obligations of another subject in the same situation that could solve this conflict and then derive if this subject has enough free time to perform some active obligations of the first subject.

Proving that a given situation σ is globally enforceable, amounts to proving the existence of an executable situation where all the active obligations in σ are fulfilled.

Afterwards, we provide an algorithm for searching a plan of actions, when it exists, which fulfills all the active obligations in a given situation in their deadlines with respect to the permission rules.

If all the active obligations in a situation σ can be executed without violating at least one of them, we say that this situation is globally enforceable.

Indeed, in a given situation, it may be possible to fulfill an active obligation in its deadline but given that there are other active obligations, at the same time it is not possible to fulfill them together without violating one of them.

If all the active obligations in a situation σ can be executed in a permitted situation without violating at least one of them, we say that this situation is legal globally enforceable.