Nella teoria dei sistemi, tipo di rappresentazione ideato verso la fine degli anni 1970 da L.A. Zadeh, della University of California a Berkeley, ma affermatosi solo a partire dagli anni 1990, che ha l’obiettivo [...] a un insieme corrisponda a un concetto binario, potendo assumere i due soli valori {1,0}. La logica f. si basa su una definizione di insieme f. (fuzzy set) in cui l’appartenenza di un elemento all’insieme può assumere tutti i valori compresi nell ...
Leggi Tutto
Con la locuzione 'insieme fuzzy' si indicano: (a) un insieme al quale alcuni elementi appartengono in modo parziale (tali insiemi possono descrivere situazioni reali nelle quali è difficile precisare un [...] elementi dell'insieme potrebbero corrispondere alla luminosità di elementi dell'immagine. L'espressione 'logicafuzzy' (talora tradotta con 'logica sfumata') indica la logica nella quale si accettano anche valori di verità intermedi tra il vero e il ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1961-1970
1961-1970
1961
Famiglia universale. Il giapponese Masatake Kuranishi mostra che esiste sempre un certo tipo di famiglia olomorfa di strutture complesse [...] di risoluzione delle singolarità che varrà all'autore la medaglia Fields nel 1970.
Logicafuzzy. Un ingegnere azerbaigiano, Lotfi Zadeh, inventa la logicafuzzy, una logica in cui le asserzioni non sono necessariamente vere o false, ma sono più ...
Leggi Tutto
Logiche non standard
Claudio Pizzi
Alcune famiglie di logiche non standard sono costituite da logiche che sono estensioni assiomatiche di quella standard, mentre altre constano di logiche rappresentabili [...] che di fatto ha avuto un durevole successo applicativo.
Negli stessi anni in cui veniva sviluppata la fuzzylogic, il logico brasiliano Newton da Costa, partendo da idee anticipate degli anni Trenta da Nicolai Vasiliev e Stanislaw Jaskowski, dava ...
Leggi Tutto
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
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
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...