Representing Justificationswith Support Lists

Justifications represent logical dependencies among nodes.

They are represented by means of support lists.

(SL )

SL-justifications are valid iff:

• each node in the IN-list is IN

• each node in the OUT-list is OUT

A node may have more than one justification.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica