Per quasi due decenni, Kenneth Forbus e Johan de Kleer hanno accumulato un corpo sostanziale di conoscenze sui principi e sulla pratica della creazione di risolutori di problemi. In alcuni casi sono gli inventori delle idee o delle tecniche descritte e in altri partecipano al loro sviluppo. Questo libro comunica questa conoscenza in modo mirato e coeso. È unico tra i testi standard sull'intelligenza artificiale nel combinare scienza e ingegneria, teoria e artigianato per descrivere la costruzione di sistemi di ragionamento dell'intelligenza artificiale e include codice che illustra le idee. Dopo aver letto il testo, i lettori dovrebbero avere una profonda conoscenza dei sistemi di inferenza diretti ai modelli, dei linguaggi di vincolo e dei sistemi di mantenimento della verità. Il lettore diligente avrà lavorato su diversi esempi sostanziali, inclusi sistemi che eseguono algebra simbolica, deduzione naturale, risoluzione, ragionamento qualitativo, pianificazione, diagnosi, analisi della scena e ragionamento temporale. Lungo il percorso Forbus e de Kleer insegnano l'arte di creare robusti software di intelligenza artificiale. Si inizia con esempi semplici come i programmi di ricerca e si passa a casi più complessi con tecniche di intelligenza artificiale all’avanguardia, come i sistemi di diagnosi basati su modelli e un ragionatore qualitativo. Sebbene questo libro sia concepito principalmente come testo per corsi avanzati di intelligenza artificiale o di programmazione AI, può essere utilizzato da ricercatori di università e laboratori industriali che desiderano applicare queste tecniche nel loro lavoro e da programmatori che desiderano incorporare queste idee nelle loro applicazioni.
caricamento...
