Fundamentele satisfacției constrângerilor: Textul clasic

Recenzii ale cititorilor

Recenziile cărții sunt puternic contrastante. Un utilizator o laudă pentru că este în stare excelentă și este o afacere excelentă pentru un manual utilizat într-un curs Stanford, în timp ce un alt utilizator critică vehement o anumită reeditare pentru că este prost produsă, cu numeroase erori și formatare neadecvată.

Cartea este primită în stare excelentă, cu pagini îngrijite. Este, de asemenea, foarte accesibilă la aproximativ 5 $, ceea ce o face o valoare bună pentru studenți.

Retipărirea de la „Books on Demand” este criticată pentru introducerea de noi erori, notație matematică slabă și fonturi neadecvate, ceea ce o face inutilă pentru un studiu serios și o risipă de bani.

(pe baza a 2 recenzii ale cititorilor)

Titlul original:

Foundations of Constraint Satisfaction: The Classic Text

Conținutul cărții:

Acest text fundamental al informaticii, cea mai citată carte pe această temă, este acum disponibil pentru prima dată în format paperback. Satisfacerea constrângerilor este o problemă de decizie care implică alegeri finite.

Ea este omniprezentă. Scopul este de a găsi valori pentru un set de variabile care să satisfacă un set dat de constrângeri. Este nucleul multor aplicații în inteligența artificială și și-a găsit aplicarea în multe domenii, cum ar fi planificarea și programarea.

Datorită generalității sale, majoritatea cercetătorilor AI ar trebui să poată beneficia de pe urma unei bune cunoașteri a tehnicilor din acest domeniu. Publicată inițial în 1993, această carte devenită clasică a fost prima încercare de a defini domeniul de aplicare al satisfacției constrângerilor.

Ea acoperă atât aspectele teoretice, cât și pe cele de punere în aplicare a subiectului. Ea oferă un cadru pentru studierea acestui domeniu, relaționează diferite cercetări și rezolvă ambiguitatea unui număr de concepte și algoritmi din literatura de specialitate. Acest text fundamental este, fără îndoială, cea mai riguroasă carte din domeniu.

Toate conceptele majore au fost definite în First Order Predicate Calculus. Conceptele definite în acest mod sunt precise și lipsite de ambiguitate.