Cerca in:
SISTEMI ESPERTI
Enciclopedia Italiana - V Appendice (1994)
SISTEMI ESPERTI
I s.e. sono programmi per calcolatore che cercano di riprodurre le prestazioni di esperti umani nella risoluzione di problemi. Essi rappresentano il più conosciuto risultato pratico della [...] di elaborazione della conoscenza più diffuso nei s.e. è quello delle ''regole di produzione''; i sistemi formali di calcolo basati su di esse sono detti sistemi di produzione. Una regola di produzione assume la seguente forma: se 4 − allora 4.
Merita ...
Leggi Tutto
lògica matemàtica
Enciclopedia on line
lògica matemàtica Branca della logica, che utilizza un linguaggio simbolico e adotta un sistema di calcolo di tipo algebrico per esaminare le espressioni di un discorso deduttivo. Queste ultime possono [...] della l.m. che si ebbe a cavallo tra il 19° e il 20° sec. è dovuto al tentativo di definire un sistema formale per la matematica e di dimostrarne la completezza e la coerenza con gli strumenti della logica. Nel 1931 però K. Gödel dimostrò che ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
logica
Enciclopedia on line
Filosofia
Disciplina che studia le condizioni di validità delle argomentazioni deduttive.
La l. antica
I vocaboli ἡ λογική (τέχνη), τὰ λογικά si stabilizzarono nel significato di «teoria del giudizio [...] gli assiomi sono in sé privi di riferimenti ad ambiti particolari di esperienza, e quindi non ha senso considerare un sistema formale ‘più vero’ di un altro; ma in quanto la matematica trova diretto fondamento in una intuizione-base, comune a tutti ...
Leggi Tutto
decisione
Enciclopedia on line
Diritto
D. nel diritto dell'Unione Europea È una delle fonti derivate del diritto dell’Unione Europea (UE), insieme alle direttive e ai regolamenti (art. 288 del Trattato sul funzionamento dell’UE). [...] un procedimento effettivo per stabilire se il predicato conviene o no a ciascun individuo, oppure gruppo di individui. Per i sistemi formali deduttivi della logica matematica il problema della d. può essere posto sotto due diversi aspetti: a) se sia ...
Leggi Tutto
semiotica
Enciclopedia on line
semiotica Scienza generale dei segni, della loro produzione, trasmissione e interpretazione, o dei modi in cui si comunica e si significa qualcosa, o si produce un oggetto comunque simbolico.
Scienze [...] propone la nozione di ‘funzione segnica’, intesa come correlazione di due sistemi formali di differenze, dell’espressione e del contenuto, che costituiscono ciò che chiama sistema semiotico. Essi caratterizzano poi nozioni come quelle di codice e di ...
Leggi Tutto
CATEGORIA:
SEMIOTICA
dimostrazione
Enciclopedia on line
Filosofia
Processo logico-discorsivo (dal gr. apodissi) in virtù del quale si arriva a garantire la validità di un enunciato.
La nozione di d. venne introdotta da Aristotele che la definì come quella forma [...] , inerenti alle forme stesse della intuizione.
In logica matematica, una successione finita di espressioni A1,..., An di un linguaggio L di un sistema formale T si dice d. di un’espressione A di L se: a) ogni espressione Ai compresa tra A1 e An o è ...
Leggi Tutto
Informatica
Enciclopedia Italiana - VI Appendice (2000)
Informatica
Giorgio Ausiello
Carlo Batini
Vittorio Frosini
(App. IV, ii, p. 189; V, ii, p. 704)
Mentre negli anni 1937-38 venivano pubblicati l'ultimo volume della Enciclopedia Italiana e l'App. I, [...] dall'intero programma.
L'approccio assiomatico alla semantica dei programmi ha portato allo sviluppo di una serie di sistemi formali (logiche della programmazione), per lo più estensioni modali di logiche del prim'ordine. Esempi di tali logiche sono ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
metamatematica
Enciclopedia on line
Scienza che ha per oggetto l’analisi formale delle strutture matematiche, e che si può identificare con la logica matematica. Con significato più ristretto la m., o teoria della dimostrazione (Beweistheorie), [...] dimostrò anche l’indipendenza dell’ipotesi del continuo dagli altri assiomi.
La m., che era nata come studio di sistemi formali matematici e delle relative questioni di non contraddittorietà e completezza, si è estesa a campi nuovi divenendo una m ...
Leggi Tutto
CATEGORIA:
LOGICA MATEMATICA
Tarski, Alfred
Enciclopedia on line
Logico, matematico e filosofo di origine polacca (Varsavia 1901 - San Francisco 1983), naturalizzato statunitense. Considerato uno dei massimi esponenti della Scuola logica polacca, fu autore di fondamentali [...] contributi, che vanno dai problemi di metamatematica (teoria assiomatica dei sistemi formali, sistemi basati sulla logica proposizionale, descrizione di sistemi) alla semantica (interpretazione del calcolo proposizionale, modelli e teoria generale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Post, Emil Leon
Enciclopedia on line
Logico e matematico statunitense (Augustów, Polonia, 1897 - New York 1954); prof. (1944) all'univ. di New York. Nel 1921 diede la prima dimostrazione della completezza sintattica del calcolo proposizionale [...] dopo introdusse, indipendentemente da L. Wittgenstein, il metodo delle tavole di verità per la logica elementare, proponendo inoltre un sistema formale in cui ciascuna variabile potesse assumere non solo i due valori di verità V e F, ma un valore ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE