Informatica e diritto, V Annata, Vol. V, 1979, n. 2, pp. 55-88
Enrico Maretti
Modello integrativo per la valutazione di insiemi di espressioni predicative
Interactive Model for the Evaluation of Groups of Predicative Statements
L'Autore 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 deducibilità 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 è specificata, passo passo in uno schema la cui forma, mutuata dalle tecniche della programmazione, è però 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.
In the article the Author describes the CRONUS 2 procedure. This is a system formulated in the APL language and conceived for the purpose of supplying the jurist with an easy to use instrument for performing calculations connected with deducibility problems in the ambit of relatively elementary logic situations. The CRONUS 2 algorithm is based on the method of semantic trees proposed by Jeffrey, while the logic functions used are only the negation, the disjunction and the conjunction. The procedure is specified, step by step, in a diagram the form of which, borrowed from programming techniques, is however carried out in natural language. For the operating of the system the statements to be analysed must be constructed in a special form. Therefore two successive transformations must be carried out in advance, the first from the natural language to the usual forms of the predicative calculus, and the second from these to the language accepted by the system itself. The article is completed by a series of examples taken from a work session at the terminal and by some observations on the practical results in law of studies of logic and informatics.