Support List for the Assumptions

An assumption is a node whose justification looks like:

(SL (N1, N2, ..., Nn) (M1, M2, ..., Mm))

As already mentioned, an assumption depends both on information which directly supports its truth, and on the absence of evidences against it.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica