| 133373 | |
| IDG800400025 | |
| 80.04.00025 - Ist. Doc. Giur. / CNR - Firenze
| |
| sanchez-mazas miguel
| |
| modelli aritmetici per l' informatica giuridica
| |
| | |
| | |
| | |
| | |
| | |
| Inf. dir., an. 4 (1978), fasc. 2, pag. 163-215
| |
| (Bibliografia: a pie' di pagina o nel corpo del testo)
| |
| f79
| |
| | |
| | |
| | |
| | |
| l' a. propone dei metodi e degli strumenti di calcolo per analizzare
in termini di logica matematica e applicare con l' ausilio delle
tecniche informatiche modelli di sistemi normativi. la metodologia
utilizzata consiste nel tradurre le relazioni tra concetti in
relazioni tra i loro numeri caratteristici. il modello aritmetico
costruito e' costituito da un sistema di coordinate cartesiane,
ognuna delle quali identifica un' azione (o una condizione elementare
o una funzione logica dell' una o dell' altra) e consente d'
individuarla rispetto a tutti gli altri componenti del sistema e di
trarre mediante algoritmi le conseguenze logiche della sua
situazione. al fine di rendere operativo il sistema l' a. illustra
due programmi per calcolatori, denominati rispettivamente calculus
ratiocinator e calculus consequentiarura. il primo consente di
costruire il modello aritmetico d' una parte qualsiasi d' un sistema
normativo mediante il calcolo automatico dei numeri caratteristici di
tutte le condizioni e azioni prese in considerazione e delle
congiunzioni, disgiunzioni e negazioni pertinenti. il secondo
permette, a sua volta, la deduzione automatica di conseguenze
deontiche da qualsiasi congiunzione di condizioni e azioni del
modello aritmetico costruito col programma precedente.
| |
| | |
| Ist. per la documentazione giuridica - Firenze
| |