Dealing with Inconsistencieswithin JTMS: DDB

NOGOOD (SL (D2, D7) ( ))

The assumptions identified from the nogood are:

A1, A2, A3, A4, and A5.

Consistency is restored if one assumption out of A1, A2, and A3 is retracted (made OUT ).

The three possible choices are characterized by different labelling (i.e., by different context, i.e., by different models of the world)! On the base of the specific way the algorothm is executed, the JTMS will make a choice and the PS will be forced to w

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica