Colombetti - Elaborazione simbolica
di Progetto Leonardo
Descrizione
Rilegatura: Brossura 17x24 Edizione: Maggio 2001 Pagine: 133
Codice: 3165
Questo volume fornisce un'introduzione all'elaborazione simbolica, ovvero ai concetti e alle tecniche di programmazione che costituiscono la base classica per la realizzazione dei sistemi d'intelligenza artificiale. Il materiale riportato deriva da una pluriennale esperienza d'insegnamento dell'autore presso la Facoltà di Ingegneria del Politecnico di Milano. In particolare, il testo viene attualmente utilizzato nel corso di Ingegneria della conoscenza e sistemi esperti del corso di Laurea in Ingegneria Informatica. Non si presuppongono conoscenze specifiche nel settore, anche se si richiede al lettore un minimo di esperienza precedente nel campo della programmazione dei calcolatori. L'introduzione alla programmazione simbolica avviene dapprima attraverso l'esposizione del concetto di espressione simbolica, poi attraverso una breve e schematica introduzione al linguaggio LISP, e infine attraverso la presentazione di MPS, un linguaggio basato su regole di produzione. Ogni capitolo è corredato da indicazioni bibliografiche e di una serie di esercizi a vari livelli di difficoltà. I vari tipi di strutture simboliche sono trattati da tre punti di vista diversi (astratto, esterno e interno), la programmazione ricorsiva è analizzata in dettaglio dal punto di vista metodologico, e le implicazioni della programmazione mediante regole di produzione sono discusse e approfondite. I concetti sono chiariti attraverso esempi significativi, condotti fino al livello del codice LISP ed MPS.
MARCO COLOMBETTI
E' PROFESSORE ASSOCIATO DI INGEGNERIA DELLA CONOSCENZA E SISTEMI APERTI PRESSO LA FACOLTA' DI INGEGNERIA DEL POLITECNICO DI MILANO, ED E' MEMBRO DEL PROGETTO DI INTELLIGENZA ARTIFICIALE E ROBOTICA PRESSO IL DIPARTIMENTO DI ELETTRONICA E INFORMAZIONE DELLO STESSO ATENEO. ATTIVO NELL'AREA DELLA INTELLIGENZA ARTIFICIALE DAL 1976, SI E' DEDICATO ALLA RAPPRESENTAZIONE DELLA CONOSCENZA E AI MODELLI DELLA COMUNICAZIONE LINGUISTICA. ATTUALMENTE SI OCCUPA SOPRATTUTTO DI AGENTI ARTIFICIALI E DI INGEGNERIA DEL COMPORTAMENTO. HA PUBBLICATO UNA SETTANTINA DI LAVORI SCIENTIFICI E ALCUNI TESTI DIDATTICI E DIVULGATIVI.
Scheda Tecnica
INDICE
LE ESPRESSIONI SIMBOLICHE - SIMBOLI, ATOMI E LISTE - IL LISP - RICORSIONE E ITERAZIONE - ALTRE STRUTTURE SIMBOLICHE - PATTERN MATCHING E UNIFICAZIONE - I SISTEMI DI PRODUZIONI - TECNICHE DI PROGRAMMAZIONE MEDIANTE PRODUZIONI - BIBLIOGRAFIA - ESERCIZI RISOLTI
