Intelligenza artificiale e sistema esperto

L'introduzione approfondisce l'evoluzione storica e la definizione di IA sottolineando l'emulazione dei processi cognitivi umani e il compromesso tra ricerca e memorizzazione della conoscenza. La visione astratta della modellazione e della conoscenza elementare apre la strada all'esplorazione della logica computazionale compresa l'analisi degli enunciati composti attraverso connettivi logici semplici la logica dei predicati e l'organizzazione e la manipolazione della conoscenza. Passando alla programmazione e alle logiche nell'IA il programma di studi tratta il LISP e altri linguaggi di programmazione distinguendo tra LISP e PROLOG. Introduce la sintassi le funzioni numeriche ed esplora il significato di input-output variabili locali interazione e ricorsione. L'unità approfondisce anche le logiche simboliche formalizzate i sistemi di mantenimento della verità il ragionamento per difetto e l'ipotesi di mondo chiuso.