Nogoods

Inconsistent environments are called nogoods.

An environment is inconsistent if a contradiction (such as 'p and ¬p') can be derived from it.

Nogood represent assumptions which are mutually contradictory.

Diapositiva precedente

Diapositiva successiva

Torna alla prima diapositiva

Visualizza versione grafica