sistemi esperti
Francesco Amigoni
Viola Sciaffonati
Insiemi di programmi software in grado di risolvere problemi simili a quelli affrontati da esperti umani in uno specifico dominio applicativo, utilizzando [...] anche motore inferenziale), che svolgono l’attività di risoluzione automatica di problemi posti al sistema esperto, sia dagli algoritmi funzionali di supporto e di interfaccia, che rendono possibile l’impiego del sistema esperto da parte degli utenti ...
Leggi Tutto
deterministico
determinìstico [agg. (pl.m. -ci) Der. di determinismo] [FAF] Effetto d.: effetto che proviene in modo univoco e quantitativamente definibile da cause chiaramente individuate; per es., [...] nella fisica medica, v. radiazioni ionizzanti, effetti biologici delle: IV 668 b. ◆ [INF] Funzionamento d.: v. algoritmi, teoria degli: I 101 e. ◆ [FAF] Legge d.: regola la transizione da uno stato di un sistema a un unico altro stato funzione del ...
Leggi Tutto
ALGOL
ALGOL 〈àlgol〉 [ELT] [INF] Sigla dell'ingl. ALGOrythmic Language "linguaggio algoritmico" con cui s'indica un linguaggio di programmazione simbolico di tipo numerico per calcolatori elettronici, [...] atto alla trattazione di problemi matematici e scientifici in genere, basato sull'uso di insiemi compiuti di istruzioni (algoritmi). ...
Leggi Tutto
Aames
Aames 〈aàmes〉 (o Ahmose 〈amòse〉) [STF] Scriba egiziano che copiò, intorno al 1600 a.C., un'opera risalente, per dichiarazione dello stesso A., a un paio di secoli prima, in cui sono trattati interessanti [...] problemi di aritmetica, geometria, algebra, ecc. ◆ [INF] Algoritmo di moltiplicazione di A.: v. algoritmi, teoria degli: I 101 f. ...
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 [...] individuale non coinvolge interazioni con altri individui. Un tipo di ottimizzazione è la riduzione del numero di istruzioni dell'algoritmo, e il limite di questo processo ha portato a un organismo (non parassita) di ventidue byte. Questo organismo è ...
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, [...] di tale algoritrno è lineare, nel numero delle cifre: T(n) è un numero di ordine n. Più in generale, si dice che la complessità di un algoritmo è T(n) = O(f (n)) se esiste una costante c tale che T(n) ≤ c ∙ f (n) per tutti i numeri interi n.
La ...
Leggi Tutto
criptoanalisi
Mauro Cappelli
Strategia di ricostruzione del testo in chiaro a partire da uno o più testi cifrati di cui non si possiede la chiave. Tipicamente l’oggetto dell’analisi è la chiave segreta [...] crescente dei metodi criptografici di volta in volta proposti (dall’uso di carta e penna ai più avanzati algoritmi di decodifica implementati nei più potenti calcolatori di oggi). In particolare, la criptoanalisi ha avuto notevole sviluppo in ...
Leggi Tutto
intelligènza artificiale (IA) Disciplina che studia se e in che modo si possano riprodurre i processi mentali più complessi mediante l'uso di un computer. Tale ricerca si sviluppa secondo due percorsi [...] per i sistemi esperti è stato accresciuto dall’opportunità di modellare la conoscenza e non di meccanizzare gli algoritmi risolutivi, rendendo possibile l’interazione con la macchina direttamente a coloro che possiedono la conoscenza stessa. A ...
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. [...] la (b, ac), che consta di due parole irriducibili derivate dalla stessa parola, si definisce 'coppia critica'.
Esiste un algoritmo che permette di completare un sistema di riscrittura e trasformarlo in un uno confluente senza alterare la relazione di ...
Leggi Tutto
esecuzione
esecuzióne [Der. del lat. exsecutio -onis, dal part. pass. exsecutus di exsequi "eseguire"] [LSF] L'atto e l'effetto dell'eseguire, compimento, attuazione pratica di un esperimento, un processo, [...] un calcolo, ecc. ◆ [ELT] [INF] In un calcolatore elettronico, l'insieme delle fasi mediante le quali l'unità centrale esegue automaticamente le istruzioni contenute in un programma. ◆ [INF] E. condizionata: v. algoritmi, teoria degli: I 102 a. ...
Leggi Tutto
algoritmista
s. m. [der. di algoritmo] (pl. -i). – Nome con cui sono indicati i seguaci, nell’Europa occidentale dei secoli 12°-13°, delle nuove regole di calcolo contenute nel trattato di al-Khuwārizmī: si distinguevano per l’abbandono dell’abaco...