Informatica e diritto, V Annata, Vol. V, 1979, n. 1, pp. 139-174

Leo Reisinger

Sistemi normativi e tavole di decisione

L'A. si propone di dimostrare l'isomorfismo tra sistemi normativi e tabelle di decisione logica. Partendo dalla descrizione verbale di una norma Ŕ possibile costruire un diagramma di flusso che viene poi riportato in una tabella di decisione in cui la descrizione della condizione (esistenza, assenza o irrilevanza) Ŕ collegata con la descrizione dell' azione e i collegamenti tra elementi della condizione ed elementi dell' azione sono costituiti da connettivi logici. Una tabella di decisione Ŕ formalmente coerente e priva di ridondanza quando ogni combinazione possibile di condizioni Ŕ riconducibile a una regola di decisione delle tabelle stesse; inoltre la chiarezza e la completezza delle tabelle possono attualmente essere determinate in modo automatico mediante l'impiego di sistemi standardizzati. Dato l'isomorfismo esistente tra sistemi normativi e tabelle di decisione logica, i sistemi normativi formulati in un calcolo logico possono essere tradotti in tabelle di decisione e le proprietÓ di coerenza, indipendenza e completezza possono essere trasferite dalle tabelle ai sistemi normativi.

vai al testo integrale / see full text