Intelligenza Artificiale 1 Gestione della conoscenza Prof. M.T. PAZIENZA a.a. 2000-2001 Struttura del corso Lezioni in aula Esercitazioni in laboratorio Approfondimenti tematici Test in itinere Esame finale Supporto ad esperienze professionalizzanti Syllabus (1) • Presentazione argomenti e struttura del corso • Agenti intelligenti: autonomia • Agenti intelligenti: struttura, interazione con ambienti • Problemi: formulazione, soluzioni, valutazioni • Problemi: strategia di ricerca • Problemi: strategia di ricerca • I° test in itinere Syllabus (2) • Agenti che ragionano: ragionamento, rappresentazione e logica • Logica proposizionale /Logica del primo ordine • Basi di conoscenza: rappresentazione, relazioni di dominio, ontologie, inferenze • Sistemi a frame e reti semantiche • Programmazione logica: Prolog • II° test in itinere Syllabus (3) • Linguaggio naturale per comunicare • Linguaggio naturale : grammatiche • Linguaggio naturale : semantica • Prova finale • Prova di appello • Libro di testo “Intelligenza artificiale: un approccio moderno”, Russel e Norvig; Prentice Hall Cosa è l’I.A. ? 1. 2. 3. 4. Sistemi che Sistemi che Sistemi che Sistemi che pensano come un umano pensano razionalmente agiscono come un umano agiscono razionalmente Sistemi che pensano come un umano Il nuovo sforzo entusiasmante di far pensare i computer.. macchine con la mente, in senso completo e letterale. (Haugeland, 19859) (scienza cognitiva, neuroscienza) Sistemi che pensano come un umano Scienza cognitiva Predire e testare il comportamento di soggetti umani (top-down) Neuroscienza Identificazione diretta da dati neurologici (bottom-up) Sistemi che pensano razionalmente Lo studio di facoltà mentali attraverso l’uso di modelli computazionali (Charniak e McDermott, 1985) (logica) Sistemi che pensano razionalmente Logica Aristotele altri filosofi greci proposero diversi tipi di logica indipendentemente da una loro automazione Discendenza diretta dell’IA moderna dalla filosofia e dalla matematica Sistemi che pensano razionalmente Logica / Problemi-Limitazioni 1. Non tutti i comportamenti intelligenti sono attuati in base ad una deliberazione logica 2. Qual è lo scopo del pensare? Quali pensieri dovrei avere? Sistemi che agiscono come un umano • L’arte di creare macchine che eseguono funzioni che richiedono intelligenza se vengono eseguite da persone • (Kurzweil, 1990) • Lo studio di come far fare ai computer delle cose che, attualmente, le persone fanno meglio • (Rich e Knight, 1991) Agire come un umano: test di Turing Definizione operativa: 1. Elaborazione del linguaggio naturale 2. Rappresentazione della conoscenza 3. Ragionamento automatico 4. Apprendimento automatico Simulazione fisica dell’umano • Visione artificiale • Robotica Sistemi che agiscono razionalmente Un campo di studio che cerca di spiegare ed emulare un comportamentop intelligente in termini di processi computazionali (Schalkoff, 1990) Il ramo dell’informatica che si occupa di automatizzare un comportamento intelligente (Luger e Stubblefield, 1993) (agenti razionali/intelligenti) Sistemi che agiscono razionalmente Comportamento razionale = fare la cosa giusta (che si aspetta ottimizzare il raggiungimento dell’obiettivo, date le informazioni utilizzabili) Non si richiede necessariamente un pensare, anche se il pensare dovrebbe aiutare l’azione razionale.