inferenzainferènza [Der. del lat. inferentia, dal part. pres. inferens -entis di inferre "concludere", comp. di in- e ferre "portare"] [FAF] Ogni forma di deduzione con cui si dimostri il logico conseguire [...] di una verità da un'altra, sinon., quindi, di illazione. ◆ [PRB] I. bayesiana: procedimento statistico, detto anche approccio bayesiano, che, in aggiunta ai dati campionari dell'i. statistica (v. oltre) ...
Leggi Tutto
inferenza bayesiana
Giacomo Aletti
Statistica inferenziale sviluppata dalla scuola di approccio bayesiano. Le osservazioni vengono utilizzate per cambiare e aggiornare le probabilità degli eventi osservabili [...] attraverso il teorema di Bayes. Come esempio di differenza dall’inferenza della scuola frequentista (con cui la scuola bayesiana condivide tutti gli assiomi e la teoria della probabilità), ricordiamo che uno stimatore bayesiano ha una distribuzione ...
Leggi Tutto
Procedimento di generalizzazione dei risultati ottenuti attraverso una rilevazione parziale per campioni, limitata cioè alla considerazione di alcune unità o casi singoli del fenomeno di studio, alla totalità delle unità o casi del fenomeno stesso, sulla base di ipotesi plausibili. Se in un campione di n unità, tratto a caso da una popolazione di N unità, la misura di un dato carattere è a, si tratta ...
Leggi Tutto
Scienza che ha per oggetto lo studio dei fenomeni collettivi suscettibili di misura e di descrizione quantitativa: basandosi sulla raccolta di un grande numero di dati inerenti ai fenomeni in esame, e [...] mediante un’efficace rappresentazione grafica nella quale trovano collocazione gli individui insieme con i caratteri.
Si ha un’inferenza statistica quando, sulla base dell’informazione fornita dall’osservazione di alcuni fatti e poi registrata in s ...
Leggi Tutto
bayesiano
bayesiano 〈beisiano〉 [agg. Dal cognome di T.Bayes] [PRB] Approccio b.: v. statistica: V 589 b. ◆ [PRB] Inferenza b.: v. biometria: I 367 a. ◆ [PRB] Teoria b.: nell'analisi di dati sperimentali, [...] ogni teoria che, a differenza di quelle classiche, tenga conto dei risultati di esperimenti precedenti ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. La statistica metodologica
Domenico Costantini
La statistica metodologica
La statistica metodologica è la disciplina che, sulla scorta della [...] in una finale, nel caso appena visto la [9] nella [11], per il tramite della verosimiglianza, la [10]. Quindi un'inferenza statistica non individua alcun valore preciso e neppure esclude alcuno dei valori possibili, infatti tanto la [9] quanto la [11 ...
Leggi Tutto
Fondamenti della matematica e teoria algoritmica dell'informazione
Gregory J. Chaitin
Ciò che possiamo dimostrare intorno ai fondamenti della matematica usando i suoi stessi metodi costituisce la metamatematica, [...] fatto che si fa matematica usando un linguaggio artificiale e si sceglie un insieme fisso di assiomi e regole di inferenza (regole di deduzione); ciò viene fatto con tanta precisione che si può stabilire un algoritmo di verifica per le dimostrazioni ...
Leggi Tutto
stima
stima [Der. del lat. aestimare "determinare il valore di un bene"] [LSF] Valutazione approssimata del valore di una grandezza e anche il valore medesimo: s. per eccesso e s. per difetto, quando [...] a s. della posizione di un indice sulla sua scala graduata; ecc. ◆ [PRB] S. dei parametri: caso particolare di inferenza statistica che si presenta quando si conosce la forma della distribuzione dei dati riguardanti un dato fenomeno; si effettua ...
Leggi Tutto
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 [...] il linguaggio, si costituisce il calcolo, fissando un insieme di postulati costituito da assiomi e regole di inferenza; applicando queste regole si possono ottenere, a partire dagli assiomi, mediante le dimostrazioni, le formule dimostrabili, dette ...
Leggi Tutto
Insieme di procedimenti matematici atti a dare la soluzione di un dato problema.
Informatica
Sistemi di c. Complesso di unità periferiche con le quali e per mezzo delle quali un calcolatore, specialmente [...]
a) data un’espressione qualsiasi, si deve sempre poter determinare se essa è o no uno degli assiomi,
b) data un’inferenza qualsiasi di un’espressione da un certo numero di altre espressioni, si deve sempre poter determinare se essa è o no in accordo ...
Leggi Tutto
inferenza
inferènza s. f. [der. di inferire nel sign. 2; cfr. illazione]. – 1. Nel linguaggio filos., ogni forma di ragionamento con cui si dimostri il logico conseguire di una verità da un’altra; sinon. quindi di illazione. Regole d’i., in...
logica
lògica (ant. lòica) s. f. [dal lat. logĭca, gr. λογική (sottint. τέχνη «arte»), dall’agg. λογικός: v. logico1]. – 1. Nel pensiero greco classico, la scienza del logos, ossia del pensiero in quanto viene espresso; in partic., in Aristotele,...