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

Leo Reisinger

Sistemi normativi e tavole di decisione

Normative Systems and Decision Tables

L'Autore 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.

In the article the Author proposes to demonstrate the isomorphism between normative systems and logic decision tables. Starting from the verbal description of a rule it is possible to construct a flow diagram that is the transferred to a decision table in which the description of the condition (existence, absence or irrelevance) is linked to the description of the active and the connections between elements of the condition and elements of logical connectives. A decision table is formally consistent and without redundancy when each possible combination of conditions can be traced to a decision tule of the tables themselves; moreover the clarity and completeness of the tables can now be determined automatically by the use of standardised systems. Granted the isomorphism between normative systems and logic decision tables, the normative systems formulated in a logical calculation con be translated into decision tables and the properties of consistency, independence and completeness can be transferred from the table to the normative system.

vai al testo integrale / see full text