Fondamenti della soddisfazione dei vincoli: Il testo classico

Recensioni dei lettori

Le recensioni del libro sono nettamente contrastanti. Un utente lo elogia perché è in ottime condizioni e rappresenta un ottimo affare per un libro di testo utilizzato in un corso di Stanford, mentre un altro utente critica aspramente una specifica ristampa perché prodotta male, con numerosi errori e una formattazione inadeguata.

Il libro è stato ricevuto in condizioni eccellenti con pagine ordinate. Inoltre, il prezzo di circa 5 dollari è molto conveniente, il che lo rende un buon affare per gli studenti.

La ristampa da “Books on Demand” viene criticata per l'introduzione di nuovi errori, notazioni matematiche scadenti e caratteri non adatti, rendendola inutile per uno studio serio e uno spreco di denaro.

(basato su 2 recensioni dei lettori)

Titolo originale:

Foundations of Constraint Satisfaction: The Classic Text

Contenuto del libro:

Questo testo fondamentale dell'informatica, il più citato in materia, è ora disponibile per la prima volta in edizione tascabile. La soddisfazione dei vincoli è un problema decisionale che comporta scelte finite.

È onnipresente. L'obiettivo è trovare valori per un insieme di variabili che soddisfino un determinato insieme di vincoli. È il fulcro di molte applicazioni dell'intelligenza artificiale e ha trovato applicazione in molti settori, come la pianificazione e la programmazione.

Data la sua generalità, la maggior parte dei ricercatori di IA dovrebbe essere in grado di trarre vantaggio dalla conoscenza delle tecniche di questo campo. Pubblicato originariamente nel 1993, questo libro ormai classico è stato il primo tentativo di definire l'ambito della soddisfazione dei vincoli.

Copre sia gli aspetti teorici che quelli applicativi dell'argomento. Fornisce un quadro di riferimento per lo studio di questo campo, mette in relazione le diverse ricerche e risolve l'ambiguità di alcuni concetti e algoritmi presenti in letteratura. Questo testo fondamentale è probabilmente il libro più rigoroso del settore.

Tutti i concetti principali sono stati definiti nel calcolo dei predicati del primo ordine. I concetti così definiti sono precisi e privi di ambiguità.