Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] (fuzzy sets); per studiare il comportamento di processi concorrenti sono state introdotte opportune logiche questa natura è il seguente:
[4] [p] φ
che appartiene alla logica dinamica ed esprime il fatto che, se l'esecuzione del programma p termina ...
Leggi Tutto
Informatica giuridica
Mario G. Losano
L'evoluzione dell'informatica giuridica
L'informatica giuridica studia l'applicazione degli elaboratori elettronici al diritto, insieme con i presupposti e le conseguenze [...] sulle origini (a cura della Fondazione Adriano Olivetti), Torino 1993.
Losano, M. G. (a cura di), The computer and vagueness: fuzzylogic and neural nets, in "Informatica e diritto", 1993, n. 2, pp. 7-120.
Losano, M. G. (a cura di), Tavola ...
Leggi Tutto
Evidence-based medicine
Paolo Vineis
L’evidence-based medicine (EBM) è una branca della medicina, sviluppatasi a partire dai primi anni Novanta del 20° sec., che ha come scopo quello di migliorare la [...] confine tra normale e patologico è sfumato, una specie di fuzzy set (insieme dei confini indistinti) comprendente una zona d’ombra che è una mescolanza di esperienza personale, abilità logica e uso delle probabilità.
La scelta della soglia ...
Leggi Tutto
Formalizzazione della vaghezza
Settimo Termini
Il problema della formalizzazione della vaghezza pone domande innovative al confine tra problemi concettuali e problemi tecnici. In particolare ci chiediamo [...] di predicato vago (non a caso espulsa da Gottlob Frege dal dominio della logica). Si ha l’impressione che l’impostazione data dalla teoria degli insiemi fuzzy al problema della formalizzazione della vaghezza abbia ottenuto vari risultati riuscendo a ...
Leggi Tutto
connettivi generalizzati
Settimo Termini
John von Neumann aveva osservato già nel 1951 che la forma rigida della logica classica poneva una forte limitazione all’espressività di linguaggi di tipo logico [...] logici generalizzati. Questi sviluppi possono vedersi come una parziale realizzazione dell’intuizione di von Neumann a cui si è accennato sopra della fruttuosità di utilizzare tecniche proprie del continuo in problematiche di tipo logico.
→ Fuzzy ...
Leggi Tutto
predicato vago
Settimo Termini
Un predicato si dice vago se la sua estensione non ha confini ben definiti. Già i Greci hanno mostrato effetti paradossali causati dall’inserimento di predicati vaghi [...] Tra le soluzioni proposte ai paradossi citati prima ricordiamo quelle che si fondano sulla logica a più valori. Alla domanda se la teoria degli insiemi fuzzy sia la risposta definitiva al problema della formalizzazione della vaghezza si deve dare una ...
Leggi Tutto
fuzzy
‹fḁ′∫i› agg., ingl. (propr. «confuso, sfocato, indistinto»). – In matematica, insieme f., insieme al quale alcuni elementi appartengono soltanto in modo parziale, nel senso che per essi manca un criterio preciso per decidere sull’appartenenza...