motore inferenziale
motore inferenziale in informatica, programma cui, all’interno di un sistema esperto, è assegnato il compito di trarre delle conseguenze coerenti con le premesse e i dati di un problema. [...] in avanti, perchè partendo da fatti noti si applicano le regole allo scopo di dedurre altri fatti; inferenzainduttiva, detta anche backward chaining, cioè concatenazione all’indietro, perché si scompone l’obiettivo finale in sottoproblemi e ...
Leggi Tutto
Nicod
Nicod Jean George Pierre (? 1893 - Ginevra 1924) logico ed epistemologo francese. Dopo aver studiato per alcuni anni matematica a Parigi, si trasferì a Cambridge e, sotto la direzione di B. Russell, [...] (La géométrie dans le monde sensible, La geometria nel mondo sensibile, 1924) e, soprattutto, della giustificazione logica dell’inferenzainduttiva (Le problème logique de l’induction, Il problema logico dell’induzione, 1923), cercando tra l’altro di ...
Leggi Tutto
inferenza
Ricavare pensieri o enunciati da altri pensieri ed enunciati, partendo da premesse e arrivando a una conclusione. Un’i. può essere deduttiva o induttiva: si ha una deduzione quando le premesse [...] posseggono un grado di universalità maggiore della conclusione e, posto che la deduzione sia valida, la conclusione segue necessariamente dalle premesse: se queste sono vere, anche la conclusione lo è. ...
Leggi Tutto
Procedimento logico, mediante il quale si passa dalla considerazione di casi particolari a una conclusione universale.
Nel linguaggio scientifico, in genere, modificazione che determinate proprietà di [...] linguistica non ulteriormente riconducibile a qualche forma di inferenza logico-sintattica. Più radicale il punto di , una grandezza, detta coefficiente di mutua i. (o induttanza mutua), dipendente soltanto dalla forma e dalla posizione reciproca dei ...
Leggi Tutto
INTELLIGENZA ARTIFICIALE
Marco Somalvico
L'i.a. è una moderna disciplina sorta nell'ambito della scienza dei calcolatori e dell'informatica che negli anni recenti, specialmente per merito dell'avvento [...] derivarne, mediante un'attività inferenziale (sia deduttiva che induttiva) una legge che permetta di caratterizzare le proprietà e l'adduzione sono esclusive dell'attività dell'uomo, l'inferenza, ovvero l'insieme dell'induzione e della deduzione, può ...
Leggi Tutto
LOGICA MATEMATICA (XXI, p. 398; App. II, 11, p. 226)
Alberto PASQUINELLI
Ludovico GEYMONAT
MATEMATICA Il recente sviluppo della l. m. è caratterizzato da un ulteriore consolidamento istituzionale e [...] df ~ p V q):
dall'altro lato, formulare regole specifiche (d'inferenza e di sostituzione) per la derivazione dei teoremi dagli assiomi.
Un sistema di considerare la logica non strettamente deduttiva o induttiva e le applicazioni della l. m. in ...
Leggi Tutto
Scienza
Gerard Radnitzky
Paolo Rossi
di Gerard Radnitzky, Paolo Rossi
SCIENZA
Teoria della scienza di Gerard Radnitzky
sommario: 1. Introduzione. 2. Che specie di disciplina è la teoria della scienza [...] secondo la logica standard priva di validità.
Sorge di conseguenza un problema tecnico, quello di costruire una logica induttiva che codifichi inferenze siffatte (P4). Se tale problema è di competenza della matematica, l'‛applicazione' di una logica ...
Leggi Tutto
La civilta islamica: teoria fisica, metodo sperimentale e conoscenza approssimata. Ibn al-Haytam e la nuova fisica
Hossein Masoumi Hamedani
Ibn al-Hayṯam e la nuova fisica
Apartire dalla fine del XIX [...] diverse condizioni. È solamente al termine di questo procedimento induttivo, condotto su 'tutto ciò che è visibile e in pura" (bi-muǧarrad al-ḥiss), mentre le altre sono colte o dall'"inferenza e dal discernimento" (bi-'l-qiyās wa-'l-tamyīz) o dal " ...
Leggi Tutto
Metodo
GGerard Radnitzky
di Gerard Radnitzky
Metodo
sommario: 1. Introduzione. 2. Concetto e definizione di procedimento metodico, metodo e metodologia. a) Distinzione tra i vari livelli. b) Definizione [...] così la probabilità. Si è cercato anzi di costruire con le regole di queste inferenzeinduttive di probabilità un intero sistema di ‟logica induttiva" (v. Carnap, 1952). Ma già Hume aveva mostrato che è logicamente impossibile dimostrare la ...
Leggi Tutto
La seconda rivoluzione scientifica: scienze biologiche e medicina. La biologia evoluzionistica e la genetica
Garland E. Allen
La biologia evoluzionistica e la genetica
L'eredità di Darwin
Alla fine [...] storici hanno comunque dimostrato che Darwin procedette molto meno induttivamente di quanto avesse dichiarato o, almeno, di quanto tra queste molecole possono essere utilizzate ‒ per inferenza a livello genetico ‒ per distinguere una popolazione dall ...
Leggi Tutto
sperimentare
(o esperimentare, ant. spermentare) v. tr. [dal lat. tardo experimentare, der. di experimentum «esperimento, prova»] (io speriménto, ecc.). – 1. a. Sottoporre a esperimento; applicare, usare, mettere alla prova qualche cosa per...
abduttivo
agg. [der. di abdurre, sul modello di deduttivo, induttivo (già presenti nel lat. tardo) e in contrapp. a adduttivo]. – Relativo ad abduzione: movimento a. di un arto, inferenza abduttiva.