Activation of theTruth Maintenance Procedure

It is started whenever a justification is added to a node.

It consists in a re-labelling of the nodes and it aims at obtaining a relaxed set of nodes.

It includes specific mechanisms for handling circularity problems.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica