La grande scienza. Intelligenza artificiale
Marco Somalvico
Francesco Amigoni
Viola Schiaffonati
Intelligenza artificiale
In questa trattazione viene presentata l'intelligenza artificiale (nel seguito [...] di un elaboratore elettronico. Il seminario si proponeva inoltre di raccogliere e analizzare i programmi caratterizzati da prestazioni definibili come intelligenti - come il Logic theorist di Allen Newell, Bernard Shaw e Herbert A. Simon in grado di ...
Leggi Tutto
Automi e linguaggi formali
Dominique Perrin
La teoria degli automi e dei linguaggi formali ha lo scopo di descrivere le proprietà delle successioni di simboli. Tali successioni si presentano in situazioni [...] a quella priva di variabili di insiemi. Più recentemente è stata introdotta una variante di questa logica, la logica temporale, che è applicata alla verifica dei programmi.
Parole infinite e alberi
Il lavoro di Büchi ha dato luogo a una teoria dei ...
Leggi Tutto
Banche dati e basi di dati
Guido M. Rey
Introduzione: banche dati e basi di dati
I termini 'banca di dati' e 'base di dati' sono entrati nell'uso corrente per indicare un sistema di dati memorizzati [...] nella base di dati: il significato dei dati stessi, le connessioni concettuali, l'organizzazione logica e fisica, l'indicazione delle applicazioni (procedure, programmi) che producono e/o utilizzano i dati. Il dizionario dati può essere visto come ...
Leggi Tutto
L'analisi dell'attività sportiva attraverso strumenti informatici
Anna Ludovico
La rappresentazione computerizzata dei movimenti sportivi
Possiamo considerare l'anglismo ormai universale del termine [...] di gioco. Precisando che in ogni momento è possibile, con molta facilità, variare la programmazione del Master Autoscore, si applica una logica combinatoria simbolica sia alle funzioni dei tasti-giocatori numerici sia alle situazioni di gioco ...
Leggi Tutto
Macchina
Roberto Vacca
Il termine macchina indica qualsiasi dispositivo o apparecchio costruito collegando opportunamente due o più elementi, in modo che il moto relativo di questi trasmetta o anche [...] (falso) e permette di determinare se siano vere o false proposizioni logiche complesse costruite in funzione di altre elementari. Nel 1938, C.E anche lui un uomo o una donna. Liza, un programma di J. Weizenbaum, ha fatto credere ad alcuni ragazzi di ...
Leggi Tutto
SISTEMI ESPERTI
I s.e. sono programmi per calcolatore che cercano di riprodurre le prestazioni di esperti umani nella risoluzione di problemi. Essi rappresentano il più conosciuto risultato pratico della [...] 4 − allora 4.
Merita di essere sottolineato che l'implicazione logica è solo uno dei casi che può essere modellato da una che gli conferisce potenza e lo distingue da un programma convenzionale, è la conoscenza. L'acquisizione della conoscenza ha ...
Leggi Tutto
Parte introduttiva
di Costante De Simone
Alle tradizionali forme di n. si sono aggiunte, per estensione, quella terrestre automobilistica e anche più semplicemente pedonale ed escursionistica, grazie [...] dai motori di ricerca, sistemi (hardware e software) programmati per scandagliare tutta la rete e associare a ogni sono stati trovati. Si crea così un link, ossia una connessione logica tra i vocaboli e fisica tra i computer. Attraverso i motori ...
Leggi Tutto
INFORMATICA MEDICA
Giorgio Migliau
Il progressivo sviluppo dell'informatica negli ultimi anni ha permesso la messa a punto di tecnologie molto avanzate e di sistemi sempre più veloci e affidabili. D'altra [...] come il LISP (List Processing) o il più recente PROLOG (Programming in Logic). Attualmente esistono linguaggi di programmazione con interprete e compilatore (Expert System Shell: GENIE e SAVOIR). Modelli di hardware, completamente rivoluzionari ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] Un tipico esempio di formula modale di questa natura è il seguente:
[4] [p] φ
che appartiene alla logica dinamica ed esprime il fatto che, se l'esecuzione del programma p termina, ci si trova in uno stato che soddisfa la proprietà φ. Gli assiomi e le ...
Leggi Tutto
Automazione
Alessandro Agnetis
Alberto Bemporad
Nell’automazione si fondono contenuti e metodologie che si sono sviluppate nella scienza dell’automatica e nella ricerca operativa grazie all’impiego [...] Infatti si parte da molte macchine operatrici per ogni settore di impiego, con impiego prevalente di controllori logiciprogrammabili incorporati negli impianti stessi, per giungere alle macchine utensili per metalli, ai robot, alle cosiddette celle ...
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...