| 131875 | |
| IDG800400487 | |
| 80.04.00487 - Ist. Doc. Giur. / CNR - Firenze
| |
| maretti enrico
| |
| modello integrativo per la valutazione di insiemi di espressioni
predicative
| |
| | |
| | |
| | |
| | |
| | |
| Inf. dir., an. 5 (1979), fasc. 2, pag. 55-88
| |
| (Bibliografia: a pie' di pagina o nel corpo del testo)
| |
| f79
| |
| | |
| | |
| | |
| | |
| l' a. descrive la procedura cronus 2: si tratta di un sistema
formulato nel linguaggio apl, concepito con l' intento di fornire al
giurista uno strumento di semplice utilizzazione per affrontare i
calcoli connessi con problemi di deducibilita' nell' ambito di
situazioni logiche relativamente elementari. l' algoritmo di cronus 2
si fonda sul metodo degli alberi semantici proposto da jeffrey,
mentre i funtori logici utilizzati sono soltanto la negazione, la
alternativa e la congiuntiva. la procedura e' specificata, passo
passo in uno schema la cui forma, mutuata dalle tecniche della
programmazione, e' pero' svolta in linguaggio naturale. il
funzionamento del sistema richiede che le espressioni da analizzare
siano costruite in una forma particolare: si rende quindi previamente
necessario operare due successive trasformazioni, una prima dalla
lingua naturale alle forme consuetudinarie del calcolo predicativo e
una seconda da queste al linguaggio accettato dal sistema stesso.
completano l' articolo una serie di esemplificazioni tratte da una
seduta di lavoro al terminale e alcune considerazioni sui risvolti
pratici nel diritto degli studi di logica e d' informatica.
| |
| | |
| Ist. per la documentazione giuridica - Firenze
| |