Matematico e informatico statunitense (San Francisco 1927 - Pittsburgh 1992). Prof. di computer science alla Carnegie-Mellon University (1967), ha dato importanti contributi in intelligenzaartificiale, [...] simulando con H. A. Simon e J. C. Shaw il pensiero umano con processi informatici e dimostrando così, mediante l'elaborazione di diversi teoremi del calcolo, predicati del primo ordine della logica matematica. ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1971-1980
1971-1980
1971
I problemi NP-completi. L'informatico americano Stephen Cook dà il primo esempio di problema algoritmico NP-completo. La classe NP [...] di chemioterapia e radioterapia.
Simulato al calcolatore il comportamento paranoide. Lo psichiatra e pioniere dell'intelligenzaartificiale Kenneth Mark Colby, della Stanford University, presenta un programma realizzato insieme a Sylvia Weber e ...
Leggi Tutto
La grande scienza. Cronologia scientifica: 1951-1960
1951-1960
1951
Sui gruppi di omotopia e di omologia. In una serie di articoli (Homologie singulière des espaces fibrés) Jean-Pierre Serre fornisce [...] . La motivazione di McCarthy era quella di sviluppare un linguaggio algebrico di manipolazione delle liste per l'intelligenzaartificiale. Da allora Lisp è stato implementato su molti calcolatori e ha generato numerosi dialetti; fra questi segnaliamo ...
Leggi Tutto
L'Universo matematico
John D. Barrow
(Astronomy Centre, University of Sussex, Brighton, Gran Bretagna)
Parte di questo saggio è stata pubblicata sotto il titolo Perché il mondo è matematico? Roma-Bari, [...] non può essere un sistema formale. Qualora ciò fosse vero, allora l'impresa di quegli studiosi dell'intelligenzaartificiale che vorrebbero ridurre il funzionamento della mente umana a un singolo algoritmo, sarebbe senza speranza. Ecco un esempio ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] Wiener (1894-1964) e Turing hanno addirittura lasciato cadere ogni qualificazione, dando così inizio al sogno dell'intelligenzaartificiale, nella forma: le attività cerebrali si possono simulare mediante i computer. Per quanto riguarda la mente, l ...
Leggi Tutto
spazio
spàzio [Der. del lat. spatium, probab. da patere "essere aperto"] [FAF] Con signif. intuitivo astratto e assoluto, il luogo illimitato in cui tutti gli oggetti materiali appaiono collocati, di [...] : II 568 c. ◆ [ALG] S. dei tensori: v. gruppi, rappresentazione dei: III 121 d. ◆ [INF] S. della ricerca: v. intelligenzaartificiale: III 233 f. ◆ [MCC] [MCS] S. delle configurazioni: s. generalizzato, a n dimensioni, utilizzato per rappresentare le ...
Leggi Tutto
logica
lògica [Lat. logica, dal gr. loġiké (sottinteso téchne "arte"), a sua volta da lógos "discorso, ragionamento"] [ELT] [INF] Il complesso dei circuiti logici che fanno parte di un dispositivo elettronico [...] a contraddizioni con enunciati già dimostrati e conseguentemente si può rendere necessaria l'esclusione di alcuni di essi: v. intelligenzaartificiale: III 235 e. ◆ [FAF] L. polivalente: v. sopra: L. a più valori. ◆ [ELT] [INF] L. positiva: quella ...
Leggi Tutto
rete
réte [Lat. rete] [ALG] (a) Sistema lineare di ∞2 curve piane o di superfici nello spazio o di forme in un iperspazio; si ottiene combinando linearmente tre elementi linearmente indipendenti (nessuno [...] numerica integrata nei servizi (ISDN): v. trasmissione di segnali su mezzi fisici: VI 309 a. ◆ [INF] R. semantica: v. intelligenzaartificiale: III 234 b. ◆ [ELT] R. telefonica: v. segnali telefonici: V 113 d. ◆ [INF] R. telematica: v. telematica: VI ...
Leggi Tutto
calcolo
càlcolo [Der. del lat. calculus, propr. "pietruzza", qui nel signif. di "gettone per fare conti"] [ALG] [ANM] (a) Insieme di procedimenti atti a dare la soluzione di un dato problema matematico [...] 467 e. ◆ [ALG] C. formale: lo stesso che manipolazione algebrica. ◆ [INF] C. morbido (ingl. soft computing): v. intelligenzaartificiale: sviluppi recenti: VI 641 b. ◆ [ANM] C. non numerico: lo stesso che manipolazione algebrica. ◆ [ANM] C. numerico ...
Leggi Tutto
linguaggio
linguàggio [Der. di lingua] [LSF] Il mezzo con cui gli uomini si scambiano reciprocamente informazioni; tale scambio, i cui veicoli (vocaboli) sono simboli di significato noto agli interlocutori, [...] usato normalmente dall'Uomo nell'ambito dei calcolatori elettronici: v. intelligenzaartificiale: III 234 b, c. ◆ [ELT] [INF] L. per l'intelligenzaartificiale: v. intelligenzaartificiale: III 235 b. ◆ [ELT] [INF] L. procedurale e non procedurale ...
Leggi Tutto
intelligenza artificiale generativa (AI generativa, IA generativa) loc. s.le f. Qualsiasi tipo di intelligenza artificiale in grado di creare, in risposta a specifiche richieste, diversi tipi di contenuti come testi, audio, immagini, video....
agente di intelligenza artificiale (Agente AI; agente IA; ingl. AI agent; pl. AI agents) loc. s.le m. In informatica, programma software che interagisce con l’ambiente in modo autonomo, raccogliendo dati e utilizzandoli per raggiungere certi...