| 133366 | |
| IDG800400018 | |
| 80.04.00018 - Ist. Doc. Giur. / CNR - Firenze
| |
| reisinger leo
| |
| sistemi normativi e tavole di decisione
| |
| | |
| | |
| | |
| | |
| | |
| Inf. dir., an. 5 (1979), fasc. 1, pag. 139-174
| |
| (Bibliografia: a pie' di pagina o nel corpo del testo)
| |
| f6002; f79
| |
| | |
| | |
| | |
| | |
| l' a. si propone di dimostrare l' isomorfismo tra sistemi normativi e
tabelle di decisione logica. partendo dalla descrizione verbale di
una norma e' 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) e' 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 e' formalmente coerente e priva di
ridondanza quando ogni combinazione possibile di condizioni e'
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
proprieta' di coerenza, indipendenza e completezza possono essere
trasferite dalle tabelle ai sistemi normativi.
| |
| | |
| Ist. per la documentazione giuridica - Firenze
| |