Intelligenza artificiale

Enciclopedia della Scienza e della Tecnica (2008)

Intelligenza artificiale Francesco Amigoni Viola Schiaffonati Marco Somalvico L’intelligenza artificiale è una disciplina recente che negli anni ha fornito un importante contributo al progresso dell’intera [...] riferimento anche alla cibernetica e all’avvento dei primi calcolatori elettronici. Si citano inoltre Charles Babbage e la fisiologia e delle funzioni di base dei neuroni, alla logica proposizionale e alla teoria della computabilità di Alan M. Turing. ... Leggi Tutto

CATEGORIA: CIBERNETICA E INTELLIGENZA ARTIFICIALE

TAGS: ENCICLOPEDIA ITALIANA DI SCIENZE LETTERE ED ARTI – BELL TELEPHONE LABORATORIES – TEORIA DELLA COMPUTABILITÀ – GOTTFRIED WILHELM LEIBNIZ – SECONDA GUERRA MONDIALE

enunciati, linguaggio degli

Enciclopedia della Matematica (2013)

enunciati, linguaggio degli enunciati, linguaggio degli linguaggio formale per esprimere affermazioni elementari a cui è attribuibile un valore di verità e per comporle tra loro, in modo tale che sia [...] le formule ben formate, mediante le seguenti regole: • ogni lettera proposizionale a, b, c ... è una formula ben formata ed è detta allora è possibile costruire una tavola di verità che calcoli il valore di verità di F in corrispondenza dei ... Leggi Tutto

TAGS: INSIEME DEI NUMERI NATURALI – TEOREMA DI COMPLETEZZA – DISGIUNZIONE ESCLUSIVA – INSIEME COMPLEMENTARE – DOPPIA IMPLICAZIONE

L’informatica teorica

Storia della civiltà europea a cura di Umberto Eco (2014)

Giorgio Strano Il contributo è tratto da Storia della civiltà europea a cura di Umberto Eco, edizione in 75 ebook Negli anni Trenta del Novecento i logici riescono a dare uno statuto matematico alla [...] Per esempio, la funzione matematica f(x)= x² è rappresentabile nel λ-calcolo come λx.x². L’unica regola di calcolo (β-riduzione) è la seguente: (λx.u)v → u[v/x di una formula della logica proposizionale in forma normale congiuntiva (con ... Leggi Tutto

funzione

Dizionario di filosofia (2009)

Nel significato di attività rivolta alla realizzazione permanente di uno scopo, il termine corrisponde alla parola greca ἔργον, utilizzata da Platone per designare l’operazione propria di una cosa («ciò [...] moderna nel 17° sec. e lo sviluppo dei metodi di calcolo per lo studio matematico del movimento dei corpi, che ebbe suo correlato oggettivo come il decorso dei valori di una f. proposizionale. La discussione sul concetto di f. e il suo rapporto con ... Leggi Tutto

TAGS: ANALISI INFINITESIMALE – DOTTRINA ARISTOTELICA – GNOSEOLOGICO – MECCANICISTA – TELEOLOGICA

Frege, Gottlob

Enciclopedia on line

Filosofo e matematico tedesco (Wismar 1848 - Bad Kleinen, Meclemburgo, 1925); insegnò lungamente a Jena; erano gli anni in cui scienziati illustri come K. Weierstrass, J. W. R. Dedekind, G. Cantor davano [...] espressa, sul piano logico-linguistico, da una funzione proposizionale, cioè un'espressione con una variabile non vincolata da 1965), in cui viene costruito per la prima volta un calcolo degli enunciati e dei predicati e viene elaborato un opportuno ... Leggi Tutto

CATEGORIA: BIOGRAFIE

TAGS: FILOSOFIA DEL LINGUAGGIO – LOGICA MATEMATICA – WISMAR – JENA

Scienza cognitiva

Enciclopedia Italiana - VI Appendice (2000)

Scienza cognitiva Antonio Rainone Con la locuzione scienza cognitiva, dalla fine degli anni Settanta, si è soliti designare l'insieme delle discipline che hanno per oggetto lo studio dei processi cognitivi [...] , si conformi ai canoni normativi della logica classica (proposizionale e predicativa); anzi, sotto molti aspetti esso si rivela input e output elettrici e il software nel caso dei calcolatori, la struttura neurale e le sue attività nel caso degli ... Leggi Tutto

CATEGORIA: EPISTEMOLOGIA – PSICOLOGIA COGNITIVA – ANTROPOLOGIA CULTURALE – CIBERNETICA E INTELLIGENZA ARTIFICIALE

TAGS: ATTEGGIAMENTI PROPOSIZIONALI – INTELLIGENZA ARTIFICIALE – SCIENZA DEI CALCOLATORI – ELABORATORE ELETTRONICO – NEUROSCIENZA COGNITIVA

TRADUZIONE

Enciclopedia Italiana - V Appendice (1995)

TRADUZIONE Enrico Arcaini Teoria della traduzione. - Nel corso dei secoli, la t. ha avuto varie definizioni che sembrano coincidere con le esigenze particolari dei tempi. Si è parlato di volta in volta [...] (sistema sintattico-semantico, atto illocutorio, modalità proposizionale); segno, inteso come le regole e strategie che fonda la struttura e il significato di una frase sul calcolo probabilistico. Emerge, quindi, nei primi tentativi, il problema del ... Leggi Tutto

TAGS: TEORIA GENERALE DEI SISTEMI – LINGUAGGI SETTORIALI – LINGUISTICA TESTUALE – MONACO DI BAVIERA – SEGNO LINGUISTICO

VERITA PROCESSUALE

Enciclopedia Italiana - IX Appendice (2015)

VERITA PROCESSUALE Michele Taruffo VERITÀ PROCESSUALE. – Una nozione dubbia. Una verità possibile. Quale verità. Verità e realtà. Verità e prova. Verità e probabilità. Bibliografia Una nozione dubbia. [...] si calcola essenzialmente per determinare la frequenza di un certo evento entro una popolazione data (Taruffo 2009, p. 91). La seconda nozione fa invece riferimento alla probabilità logica (detta anche baconiana), ossia alla logica proposizionale e ... Leggi Tutto

TAGS: CALCOLO DELLE PROBABILITÀ – LOGICA PROPOSIZIONALE – REGOLA DI INFERENZA – TEOREMA DI BAYES – PROCESSO CIVILE

GIOVANNI XXI, papa

Dizionario Biografico degli Italiani (2001)

GIOVANNI XXI, papa José Francisco Meirinhos Sono stati identificati diversi Pietro Ispano - nome di G. prima dell'elezione al pontificato - che hanno operato in Portogallo nella prima metà del sec. [...] e prese il nome di Giovanni XXI (per un errore di calcolo non è mai esistito un papa Giovanni XX), scegliendo come proprie prove di validità di norme logiche sul funzionamento proposizionale dei sincategoremi. Per esempio, la logica del mutamento ... Leggi Tutto

CATEGORIA: BIOGRAFIE – STORIA DELLE RELIGIONI

TAGS: SCUOLA MEDICA SALERNITANA – MEDIOEVO E RINASCIMENTO – MICHELE VIII PALEOLOGO – GUGLIELMO DI MOERBEKE – FILIPPO III L'ARDITO

Metodo e tecniche nelle scienze sociali

Enciclopedia delle scienze sociali (1996)

Metodo e tecniche nelle scienze sociali Giancarlo Gasperoni Alberto Marradi Metodo di Alberto Marradi Il termine 'metodo' è di origine greca, ed è formato dal sostantivo ὁδόϚ (strada) e dalla preposizione [...] leggibili, usando scanners ottici). Se il ricorso al calcolatore facilita la rilevazione e la successiva analisi - ed dei testi: analisi automatica del discorso, analisi proposizionale del discorso, analisi dei modi dell'argomentazione, analisi ... Leggi Tutto

CATEGORIA: TEMI GENERALI