Pianificazione, programmazione e soddisfazione dei vincoli: Dalla teoria alla pratica

Titolo originale:

Planning, Scheduling and Constraint Satisfaction: From Theory to Practice

Contenuto del libro:

Portare le applicazioni di pianificazione e schedulazione dell'intelligenza artificiale nel mondo reale è un compito arduo che riceve ogni giorno più attenzione da parte di ricercatori e professionisti di molti settori.

In molti casi, richiede l'integrazione di diverse tecniche di base come la pianificazione, la programmazione, la soddisfazione dei vincoli, la pianificazione e la programmazione a iniziativa mista, il ragionamento temporale, la rappresentazione della conoscenza, i modelli e i linguaggi formali e le questioni tecnologiche. La maggior parte dei documenti inclusi in questo libro sono chiari esempi di come integrare diverse di queste tecniche.

Inoltre, il libro copre anche molti approcci interessanti in aree applicative che vanno dal job shop industriale al turismo elettronico, ai problemi ambientali, all'insegnamento virtuale o alle missioni spaziali. Il libro fornisce anche potenti tecniche che permettono di costruire applicazioni completamente implementabili per risolvere problemi reali e una rassegna aggiornata di molte delle aree di applicazione più interessanti di queste tecnologie, mostrando quanto queste tecnologie siano potenti per superare i problemi di espressività ed efficienza dei problemi del mondo reale.