L intelligenza artificiale
|
|
|
- Benedetta Lolli
- 9 anni fa
- Просмотров:
Транскрипт
1 L intelligenza artificiale Le macchine possono pensare? Le macchine sono intelligenti? AI (IA) La storia Il termine Intelligenza Artificiale (IA)) venne introdotto per la prima volta nel 1956 da John McCarthy,, in occasione di un incontro al Darthmouth College I computer possono pensare? Thomas Hobbes: Ragionare non è nient altro che calcolare L intelligenza artificiale si occupa dell indagine sui meccanismi soggiacenti alle facoltà cognitive umane e della loro riproduzione mediante computer (Ciotti e Roncaglia,, 2000) 1
2 Che cos è l intelligenza umana? Tra le altre cose: Capacità di pensare, ragionare Risolvere problemi (logici, pratici, probabilistici) Usare sistemi simbolici (in produzione e ricezione): comunicare e comprendere Capacità di interagire con l esternol Necessità di un corpo e dei sensi Come si misura l intelligenza? l Il test di Turing Il test di Turing serve per determinare se una macchina sia in grado di pensare Test di controllo sono necessari 3 personaggi: F, femmina, M, maschio, I, interrogante Separati in stanze diverse F ed M possono comunicare mediante uno o schermo con I I deve interrogarli e capire chi è il maschio e chi la femmina F ed M devono ingannare I Test di Turing Si sostituisce F o M con una macchina intelligente Si chiede a I di indovinare chi sia la macchina Se I non indovina, o non riesce a indovinare allora la macchina ha superato il test ed è da definire INTELLIGENTE. Eliza e ALICE Parry,, lo schizofrenico paranoide 2
3 Elementi necessari ai modelli di AI Il ragionamento è una forma di calcolo I calcoli operano su simboli I simboli sono in numero chiuso e finito L insieme dei simboli è detto inventario I simboli sono rappresentazioni Il calcolo consiste in una manipolazione di simboli La manipolazione è l applicazione di una regola che modifica i simboli dell inventario I modelli interpretativi dell AI Posizione forte pensiero è interamente riducibile a un processo di manipolazione di simboli che si realizza usando algoritmi. Un algoritmo è un metodo di calcolo (algebrico o numerico), come pure una sequenza di operazioni, da eseguire nell'ordine assegnato to Si possono costruire macchine dotate di mente in senso pieno e letterale (J. Haugeland) L'idea alla base di questa teoria è del filosofo empirista Thomas Hobbes,, oggi è sostenuta ad esempio dal filosofo Daniel Dennet è sostenitore di questa tesi. Posizione debole L AI è uno strumento che può essere di grande aiuto nella comprensione dei processi cognitivi Il computer può simulare operazioni della mente umana Sono sostenitori di questa tesi i filosofi John Searle, Hilary Putnam e Jerry Fodor 3
4 Di cosa si occupa l AI? l Ragionamento logico-matematico (la rappresentazione della conoscenza e il ragionamento automatico) Risoluzione di problemi (problem solving) Elaborazione del linguaggio naturale (Natural Language Processing) l'apprendimento automatico (machine learning) Reti neurali L elaborazione del linguaggio naturale Il paradigma di Chomsky I linguaggi formali Le grammatiche Si applica soprattutto alla dimensione sintattica delle lingue Definizione: lo studio dei sistemi informatici per la comprensione e generazione del linguaggio naturale (Grisham,, 1986: 4) Natural Language Processing (NLP), o trattamento del linguaggio naturale Natural Language Understanding,, o Natural Language Analysis,, o analisi del linguaggio naturale 4
5 Il paradigma di Chomsky Teoria generativo- trasformazionale Formalizzazione delle lingue Centralità del sistema a REGOLE Centralità della SINTASSI Natural Language Processing Natural language generation Natural language understanding Il Parsing Statistical Natural Language Processing Analisi sintattica ad albero F SN SV Det N V SN SN SP Det N P SN Agg N Il professore ama le classi con pochi studenti 5
6 Il funzionamento delle grammatiche regole language-dependent che stabiliscono cosa può essere incluso in ogni tipo di sintagma (regole di struttura per i nodi non terminali) SN Det + N; SV V + SN; SP P + SN vocabolario per riconoscere a che categoria grammaticale appartiene ogni forma (regole di attribuzione per i simboli terminali) V ama; Det il; N professore AI alle frontiere: le reti neurali Connessionismo Una rete neurale è un modello matematico di processamento delle informazioni Le reti neurali si basano principalmente sulla simulazioni di neuroni artificiali opportunamente collegati Le reti neurali per come sono costruite lavorano in parallelo e sono quindi in grado di trattare molti dati in tempi molto ridotti Sono difficili da integrare in hardware Necessitano di una fase di addestramento utilizzo è nei software di OCR 6
7 Per approfondire: Ernesto Burattini e Roberto Cordeschi (2001), Intelligenza artificiale,, Roma: Carocci, 30,00 Sam Williams (2003), Storia dell'intelligenza artificiale. La battaglia per la conquista della scienza del XXI secolo,, Milano; Garzanti, 13,50 Su Alphabit e sul Web: Associazione italiana per l Intelligenza l Artificiale. Informazioni su eventi, convegni, pubblicazioni e mailing lists nel campo dell AI. ALICE software in lingua inglese, molto simile a ELIZA, che conversa in modo abilmente plausibile. Eliza e Parry,, il dialogo tra psichiatra e paziente 7
Le aree dell informatica
Fondamenti di Informatica per la Sicurezza a.a. 2006/07 Le aree dell informatica Stefano Ferrari UNIVERSITÀ DEGLI STUDI DI MILANO DIPARTIMENTO DI TECNOLOGIE DELL INFORMAZIONE Stefano Ferrari Università
CAPITOLO 1 CENNI STORICI
CAPITOLO 1 CENNI STORICI 1. Gli abachi: calcolare con sassi e palline..... 1 2. I bastoncini di Nepero...... 7 3. Un antico calcolatore analogico: riga+compasso...... 10 4. Oltre le quattro operazioni:
Intelligenza Artificiale A (lezione introduttiva parte di teoria)
Intelligenza Artificiale A (lezione introduttiva parte di teoria) Prof. Alfonso E. Gerevini Dipartimento di Elettronica per l Automazione Facoltà di Ingegneria Università degli Studi di Brescia Testo di
CHE COS è L INTELLIGENZA ARTIFICIALE? Si può definire l intelligenza artificiale (IA) l insieme di studi e tecniche che tendono alla realizzazione di
CHE COS è L INTELLIGENZA ARTIFICIALE? Si può definire l intelligenza artificiale (IA) l insieme di studi e tecniche che tendono alla realizzazione di macchine in grado di risolvere problemi e di riprodurre
Computation and the Philosophy of Science. P. Thagard
Computation and the Philosophy of Science P. Thagard Computation and the Philosophy of Science La Filosofia della Scienza e l Intelligenza Artificiale sono due discipline separate che possono interagire
Intelligenza artificiale
Corso di storia della scienza e della tecnica A.A. 2009/2010 Intelligenza artificiale Il problema della definizione e delle origini Viola Schiaffonati Dipartimento di Elettronica e Informazione Sommario
Informatica e Comunicazione Digitale Crediti formativi 9. No, ma la frequenza è fortemente consigliata Lingua di erogazione
Principali informazioni sull insegnamento Titolo insegnamento Linguaggi di Programmazione Corso di studio Informatica e Comunicazione Digitale Crediti formativi 9 Denominazione inglese Programming Languages
CHE COS È L INFORMATICA. Prof. Enrico Terrone A. S. 2014/15
CHE COS È L INFORMATICA Prof. Enrico Terrone A. S. 2014/15 Definizione L informatica è la scienza che studia il computer sotto tutti i suoi aspetti. In inglese si usa l espressione computer science, mentre
Lez. 5 La Programmazione. Prof. Salvatore CUOMO
Lez. 5 La Programmazione Prof. Salvatore CUOMO 1 2 Programma di utilità: Bootstrap All accensione dell elaboratore (Bootsrap), parte l esecuzione del BIOS (Basic Input Output System), un programma residente
Introduzione al Calcolo Scientifico
Introduzione al Calcolo Scientifico Francesca Mazzia Dipartimento di Matematica Università di Bari Francesca Mazzia (Univ. Bari) Introduzione al Calcolo Scientifico 1 / 14 Calcolo Scientifico Insieme degli
Che cos e l Informatica. Informatica generale. Caratteristiche fondamentali degli algoritmi. Esempi di algoritmi. Introduzione
Che cos e l Informatica Scienza dell elaborazione dell informazione Informatica generale non si riduce all utilizzo di strumenti (e.g. linguaggi di programmazione e basi di dati); si occupa del trattamento
Intelligenza Artificiale. Introduzione. Intelligenza Artificiale Daniele Nardi, 2003 Introduzione 0
Intelligenza Artificiale Introduzione Intelligenza Artificiale Daniele Nardi, 2003 Introduzione 0 Sommario Cosa è l AI? Una breve storia Intelligenza Artificiale Daniele Nardi, 2003 Introduzione 1 Cosa
Università di Pisa Facoltà di Scienze Matematiche Fisiche e Naturali
Facoltà di Scienze Matematiche Fisiche e Naturali Corso di Laurea Specialistica in Informatica (classe 23/S: Informatica) Corso di Laurea Specialistica in Tecnologie Informatiche (classe 23/S: Informatica)
Intelligenza Artificiale. Introduzione. Intelligenza Artificiale Daniele Nardi, 2004 Introduzione 0
Intelligenza Artificiale Introduzione Intelligenza Artificiale Daniele Nardi, 2004 Introduzione 0 Sommario Cosa è l AI? Una breve storia Intelligenza Artificiale Daniele Nardi, 2004 Introduzione 1 Cosa
Materiale didattico. Intelligenza Artificiale. L inizio dell Intelligenza Artificiale
Intelligenza Artificiale Prof. Alfonso E. Gerevini Dipartimento di Ingegneria dell Informazione Università degli Studi di Brescia Materiale didattico Testo di riferimento: Intelligenza Artificiale: un
INTRODUZIONE AL TESTO FILOSOFICO
INTRODUZIONE AL TESTO FILOSOFICO MEDIANTE FORME DI ANNOTAZIONE SEMANTICA Ciclo seminariale 4 febbraio 2011 4 marzo 2011 Fra ontologie e mappe: un introduzione Francesco Bianchini DI COSA PARLEREMO Mappe
Informatica per la Comunicazione/ Verdicchio/ 09/02/2017/ Domande / VERSIONE 1
Informatica per la Comunicazione/ Verdicchio/ 09/02/2017/ Domande / VERSIONE 1 1) In origine, il termine computer indicava a) un calcolatore meccanico b) un algoritmo c) una persona 2) L informatica si
Lez. 8 La Programmazione. Prof. Pasquale De Michele (Gruppo 2) e Raffaele Farina (Gruppo 1) 1
Lez. 8 La Programmazione Prof. Pasquale De Michele (Gruppo 2) e Raffaele Farina (Gruppo 1) 1 Dott. Pasquale De Michele Dott. Raffaele Farina Dipartimento di Matematica e Applicazioni Università di Napoli
L approccio costruzionista attraverso la robotica educativa. Scritto da Roberto Orazi
La robotica educativa è un settore di ricerca che si ispira al paradigma costruttivista rielaborato in ottica più tecnologica, grazie alla teoria costruzionista, da Seymour Papert [1] considerato dai più
REGISTRI D'ESAME CODICE ESAME CORSO DI LAUREA NOME DEL CORSO LAUREA CFU
REGISTRI D'ESAME Con "" si intende la Triennale del Nuovo Ordinamento (Legge 270) Con "" si intende la Specialistica di due anni del Nuovo Ordinamento (Legge 270) CODICE ESAME CORSO DI LAUREA NOME DEL
L evoluzione e il pensiero matematico Filippo Spagnolo
L evoluzione e il pensiero matematico Filippo Spagnolo Homo habilis: capacità 1 senso del numero + capacità 9 (ragionamento spaziale) + capacità 5 (causa effetto). Homo erectus: capacità 6 (concatena fatti
Linguistica Computazionale. 22 settembre 2014
Linguistica Computazionale 22 settembre 2014 Obiettivi del corso Introduzione ai principali metodi di linguistica computazionale e di Natural Language Processing (NLP) Docenti Alessandro Lenci (Dip. di
[Giuseppe Alessandri, Appunti]
Partendo da una differenziazione, oramai assodata, fra progettazione sul versante della razionalità tecnica e quello della complessità (Cristianini, tecnodid, 2001), è possibile sviluppare dei parallelismi
LICEO DELLE SCIENZE APPLICATE
LICEO DELLE SCIENZE APPLICATE San Benedetto PIANO DI LAVORO Docente Stefano Maggi Disciplina INFORMATICA Classe/Sezione Quinta Anno scolastico 2014-2015 FINALITÀ SPECIFICHE E TRASVERSALI DELLA DISCIPLINA
Prof. Giorgio Poletti
C è vero progresso solo quando i vantaggi di una nuova tecnologia diventano per tutti. (Henry Ford) 1 Informatica Laurea Triennale in Economia Anno Accademico 2017-2018 Prof. Giorgio Poletti [email protected]
IL CURRICOLO VERTICALE DI MATEMATICA
IL CURRICOLO VERTICALE DI MATEMATICA Sinossi delle competenze per ciascun grado scolastico Scuola primaria Scuola secondaria I grado Scuola secondaria II grado Operare con i numeri nel calcolo scritto
Tecnologie per la mente. Laboratorio di Psicologia e Scienze Cognitive
Tecnologie per la mente Laboratorio di Psicologia e Scienze Cognitive Il Laboratorio afferisce al Dipartimento di Linguistica dell Università della Calabria, diretto dalla Prof.ssa Eleonora Bilotta, è
PROGRAMMA CONSUNTIVO
PAGINA: 1 PROGRAMMA CONSUNTIVO A.S.2014-2015 SCUOLA Liceo Linguistico Manzoni DOCENTE: Marina Barbàra MATERIA: Matematica e Informatica Classe 1 Sezione A OBIETTIVI: le parti sottolineate sono da considerarsi
Introduzione al funzionamento di un calcolatore elettronico
1 / 21 Introduzione al funzionamento di un calcolatore elettronico Natascia Piroso 23 settembre 2009 2 / 21 Sommario Che cos è un calcolatore? 1 Che cos è un calcolatore? Definizioni preliminari Il calcolatore
SCIENZE COGNITIVE. Mente Linguaggio Comunicazione
SCIENZE COGNITIVE Mente Linguaggio Comunicazione SCIENZE COGNITIVE Ricerche interdisciplinari finalizzate allo studio scientifico della mente umana SCIENZE COGNITIVE Ricerche interdisciplinari finalizzate
Intelligenza. Germano Rossi ISSR 2011/12
Intelligenza Germano Rossi ISSR 2011/12 Intelligenza Il concetto di intelligenza è stato ed è uno dei più controversi della storia della In realtà è anche difficile definire l intelligenza perché dipende
Introduzione all Intelligenza Artificiale
Introduzione all Intelligenza Artificiale Corso di Intelligenza Artificiale, a.a. 2017-2018 Prof. Francesco Trovò 26/02/2018 Come Viene Percepita l Intelligenza Artificiale L Intelligenza Artificiale di
Per un vocabolario filosofico dell informatica. Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine
Per un vocabolario filosofico dell informatica Angelo Montanari Dipartimento di Matematica e Informatica Università degli Studi di Udine Udine, 11 maggio, 2015 Obiettivi del corso In un ciclo di seminari,
Intelligenza artificiale
Scopo del corso Intelligenza artificiale Fornire tecniche e strumenti tipici dell intelligenza artificiale Docenti: Francesca Rossi, Alessandro Sperduti Suddivise in tante aree diverse, ognuna con le sue
UNIVERSITA DEGLI STUDI DI MILANO-BICOCCA FACOLTA DI SCIENZE MATEMATICHE, FISICHE E NATURALI
UNIVERSITA DEGLI STUDI DI MILANO-BICOCCA FACOLTA DI SCIENZE MATEMATICHE, FISICHE E NATURALI Manifesto degli Studi A.A. 2001-2002 CORSO DI LAUREA IN INFORMATICA DIPLOMA UNIVERSITARIO IN INFORMATICA (Vecchio
Circuiti e algoritmi per l elaborazione dell informazione
Università di Roma La Sapienza Facoltà di Ingegneria Laurea Specialistica in Ingegneria Elettronica Orientamento: Circuiti e algoritmi per l elaborazione dell informazione L x[n] y[n] Circuito: V g (t)
Introduzione al Calcolo Scientifico
Introduzione al Calcolo Scientifico Corso di Analisi Numerica, a.a. 2006/2007 Francesca Mazzia Dipartimento di Matematica Università di Bari 16 Ottobre 2006 Francesca Mazzia (Univ. Bari) Introduzione al
V ANNO LICEO CLASSICO
Consolidamento della nozione di limite di successioni e di funzioni. Teorema del confronto. Il limite di somme e prodotti. funzione. Derivate di funzioni elementari. Derivata della somma e del prodotto
Pensiero e progettazione
Emanuele Arielli Pensiero e progettazione La psicologia cognitiva applicata al design e all'architettura Introduzione di Paolo Legrenzi Bruno Mondadori campus - IUAV - VENEZIA H 9999 BIBLIOTECA CENTRALE
P R O G R A M M A Z I O N E D I D A T T I C A D I D I P A R T I M E N T O
P R O G R A M M A Z I O N E D I D A T T I C A D I D I P A R T I M E N T O DIPARTIMENTO DISCIPLINA CLASSI SCIENZE UMANE SCIENZE UMANE Triennio Scienze Umane ANNO SCOLASTICO 2018-2019 DOCENTE Pessina Francesco
Linguaggi e Ambienti di Programmazione
Linguaggi e Ambienti di Programmazione Principi e tecniche diffuse che si incontrano spesso nelle applicazioni dell informatica. Compilatori Editor di struttura: riceve in input una sequenza di comandi
LINGUAGGI DI ALTO LIVELLO. Si basano su una macchina virtuale le cui mosse non sono quelle della macchina hardware
LINGUAGGI DI ALTO LIVELLO Si basano su una macchina virtuale le cui mosse non sono quelle della macchina hardware 1 LINGUAGGI DI ALTO LIVELLO Barriera di astrazione Fortran Cobol Basic Pascal Python C
Secondo anno modulo recupero
Secondo anno modulo recupero Unità didattica_1 livello recupero: equazioni di primo grado e formule inverse Padroneggiare il linguaggio formale e i procedimenti dimostrativi. Riconoscere e saper applicare
