Publisher's Synopsis
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.
