Monotonic Justifications

A justification such as:

(SL (N1, N2, ...Nn) ( ))

with non-empty IN-list and empty OUT-list is called monotonic justification (or deduction).

It means that the node may be derived (according to the normal derivation procedures) from the nodes belonging to its IN-list.

With only monotonic justifications a reasoning systems would be monotonic.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica