Macchina di Turing
Mauro Cappelli
Modello di agente di calcolo adatto a simulare la logica di qualsiasi algoritmo computazionale. La macchina formale fu proposta nel 1936 dal logico e matematico britannico [...] di dimostrare che alcuni problemi non ammettono nessuna soluzione generale calcolabile. La tesi o congettura di Church-Turing .
→ Complessità algoritmica; Informatica teorica; Intelligenza artificiale; Sistemi chimico-fisici: autorganizzazione ...
Leggi Tutto
modello linguistico di grandi dimensioni (LLM, Llm) loc. s.le m. Algoritmo di intelligenza artificiale che, processando massivamente una grande quantità di dati, utilizza tecniche di deep learning in vari àmbiti dell’elaborazione del linguaggio...
bias s. m. inv. Distorsione cognitiva, determinata da pregiudizi, che è causa di previsioni sbagliate. ◆ I pregiudizi algoritmici sono una delle principali ombre che pesano sul futuro (già in molti casi “presente”) dei sistemi di intelligenza...