INFORMAZIONE, SCIENZA DELLA
Roman Tirler
Pierluigi Ridolfi
Stefano Ceri e Alfonso Fuggetta
Tecnologie della comunicazione di Roman Tirler
Sommario: 1. Introduzione. 2. Tecniche di comunicazione dati: [...] della soluzione da ricercare e le regole secondo le quali tale soluzione deve essere individuata. L'esecuzione di un programmalogico consiste, quindi, nell'accertare se una data asserzione sia o meno verificata. L'esempio più famoso di linguaggio ...
Leggi Tutto
L'Io cosciente: una visione neuroeuristica della mente
Alessandro E.P. Villa
(Laboratoire de Neuro-heuristique, Institut de Physiologie, Université de Lausanne, Losanna, Svizzera)
John G. Taylor
(Centre [...] ciò che il cervello compie. Si capisce che stiamo proponendo un programma di lavoro per il futuro, ma torniamo ora al nostro da non poter essere facilmente descritta in termini matematici o logici. Per questo motivo non ci sembra possibile riuscire a ...
Leggi Tutto
La grande scienza. Computer science
Scott Kirkpatrick
Computer science
La computer science si colloca con caratteristiche peculiari tra le scienze cosiddette esatte e dell'ingegneria, costituendo dal [...] LISP, un linguaggio interprete per la manipolazione di espressioni logiche, fu inventato da John McCarthy nel 1958 ca. ( utente, in grado di condividere le risorse del computer fra più programmi in esecuzione, fu il CTSS del MIT, sviluppato intorno al ...
Leggi Tutto
La vita artificiale
Thomas S. Ray
(ATR Human lnformation Processing, Research Laboratories Kyoto, Giappone)
La vita artificiale (VA) estende il campo di indagine della biologia, permettendo di studiare [...] digitale. Nella sua forma più avanzata, gli elementi di un programma di VA sono studiati in qualità di oggetti con identità propria sistema chimico. Si tratta, quindi, di un universo logico di informazione binaria invece che di un universo materiale. ...
Leggi Tutto
Visione artificiale
Pietro Parodi
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
Vincent Torre
(Scuola Internazionale di Studi Superiori Avanzati, Trieste, Italia)
La visione artificiale, [...] costruita a partire da un certo numero di variabili logiche Xl, ... Xn che possono assumere solo due valori x2 + x̅1). Huffman e Clowes non realizzarono questo programma completamente, ma trovarono entrambi un'importante condizione necessaria per la ...
Leggi Tutto
Elettronica
Vittorio Capecchi
Definizione di elettronica
L'elettronica è la tecnica che permette di manipolare gli elettroni (le particelle dell'atomo che hanno carica negativa) in modo da ottenere [...] comportamento può essere confuso con quello di una persona). I primi programmi di intelligenza artificiale, progettati nel 1956 e 1957 da A. caratterizzano il cervello umano: quella intuitiva e quella logica. Al momento Synaptics I 1000 è in grado di ...
Leggi Tutto
Reti neurali
100.000.000.000 neuroni, 700.000.000.000.000 sinapsi per costruire un pensiero
Modelli interpretativi dei circuiti neuronali
diPaolo Del Giudice
13 luglio
Al Dartmouth College, nel New Hampshire, [...] ancora al di là delle capacità degli strumenti di calcolo programmabili (è tipico il caso del riconoscimento visivo in situazioni , ma che hanno senz’altro con queste una continuità logica. Di particolare importanza sono le così dette SVM (Support ...
Leggi Tutto
Internet e Web
Alberto Marinelli
In senso tecnico Internet è un network di computer-network: è infatti costituita da una serie di reti (private, pubbliche, aziendali, universitarie, commerciali) connesse [...] i quali chiunque può facilmente accedere a dati e programmi da qualsiasi luogo fisico della terra. Un’idea che tasca o che ci circondano, cose radicalmente diverse. La logica evolutiva implicita nell’Internet of things punta a esportare nel nostro ...
Leggi Tutto
Cognitivi, processi
Domenico Parisi
La psicologia cognitiva
Il termine 'cognitivo', benché derivato originariamente dal latino, è stato importato nella letteratura scientifica italiana dalla lingua [...] comportano i fenomeni che si vogliono studiare e capire. Nel programma è incorporata una teoria o modello dei fenomeni, e il cognitivo), di filosofia (che nelle sue versioni logico-linguistiche di origine anglosassone ha partecipato a pieno titolo ...
Leggi Tutto
La grande scienza. Automi e linguaggi formali
Dominique Perrin
Automi e linguaggi formali
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. [...] di insiemi) della detta teoria. Più recentemente è stata introdotta una variante di questa logica, la 'logica temporale', che viene applicata alla verifica dei programmi.
Parole infinite e alberi
Il lavoro di Büchi ha dato luogo a una teoria dei ...
Leggi Tutto
logicismo
s. m. [der. di logica, logico1]. – 1. a. In senso ampio, ogni dottrina che pone la logica a fondamento della filosofia, o le assegna comunque un posto preponderante in questa disciplina. b. In filosofia della matematica, indirizzo...
simbolico
simbòlico agg. [dal lat. tardo symbolĭcus, gr. συμβολικός, der. di σύμβολον «simbolo»] (pl. m. -ci). – 1. Che ha natura e valore di simbolo: numeri, segni s.; il linguaggio s. della matematica; un atto, un gesto s.; in partic., azioni...