Nonmonotonic Justification

Nonmonotonic justification correspond to the intuitive concept of assumption.

Something is believed if there is no evidence against it.

For example:

we may justify node N1 (representing the assertion P), if there is no support for the node N2 (representing the node ¬P). In this case N1 is considered IN and N2 is considered OUT. We say: JTMS assumes N1.

If later N2 becomes IN, then N1 has to be retracted (marked OUT), and also the corresponding consequences.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica