Pianificazione automatizzata: Teoria e pratica

Recensioni dei lettori

Il libro fornisce una panoramica completa della pianificazione nell'IA, consolidando vari approcci e applicazioni in un formato strutturato. È apprezzato per l'ampia bibliografia e gli esempi, che lo rendono una risorsa utile sia per i principianti che per i ricercatori esperti. Tuttavia, alcuni lettori hanno rilevato imprecisioni matematiche e la necessità di discussioni più dettagliate su alcuni argomenti avanzati.

⬤ Eccellente presentazione e trattazione completa degli approcci alla pianificazione.
⬤ Ampia bibliografia con 565 pubblicazioni.
⬤ Spiegazioni chiare con molti esempi.
⬤ Contesto storico ed esercizi alla fine dei capitoli.
⬤ Ideale sia per i neofiti che per i ricercatori esperti di pianificazione e IA.

⬤ Alcuni errori matematici e difetti nelle definizioni.
⬤ Tratta in modo sommario argomenti importanti come i POMDP e i grafi di pianificazione.
⬤ Problemi con la presentazione dello pseudo-codice.
⬤ Alcuni errori tipografici nei simboli, come i segni di disuguaglianza.
⬤ Mancanza di profondità nelle sezioni avanzate e limitatezza dei teoremi presentati.

(basato su 6 recensioni dei lettori)

Titolo originale:

Automated Planning: Theory and Practice

Contenuto del libro:

La tecnologia di pianificazione automatica svolge oggi un ruolo significativo in una varietà di applicazioni impegnative, che vanno dal controllo di veicoli spaziali e robot al gioco del bridge. Queste applicazioni reali creano nuove opportunità di sinergia tra teoria e pratica: l'osservazione di ciò che funziona bene nella pratica porta a migliorare le teorie della pianificazione e le teorie migliori portano a migliori prestazioni delle applicazioni pratiche.

Automated Planning rispecchia questo dialogo offrendo una risorsa completa e aggiornata sia sulla teoria che sulla pratica della pianificazione automatizzata. Il libro va ben oltre la pianificazione classica, includendo la pianificazione temporale, la programmazione delle risorse, la pianificazione in condizioni di incertezza e le moderne tecniche di generazione dei piani, come la decomposizione dei compiti, la soddisfabilità proposizionale, la soddisfazione dei vincoli e il model checking.

Gli autori combinano oltre 30 anni di esperienza nella ricerca e nello sviluppo della pianificazione per offrire un testo prezioso a ricercatori, professionisti e studenti laureati.