Fundamentos de la satisfacción de restricciones: El texto clásico

Opiniones de los lectores

Las reseñas del libro son marcadamente opuestas. Un usuario lo elogia por estar en excelentes condiciones y ser una gran oferta para un libro de texto utilizado en un curso de Stanford, mientras que otro critica duramente una reimpresión específica por estar mal producida, con numerosos errores y un formato inadecuado.

El libro se recibe en excelentes condiciones y con las páginas cuidadas. Además, su precio ronda los 5 dólares, lo que lo convierte en una buena opción para los estudiantes.

La reimpresión de 'Books on Demand' es criticada por introducir nuevos errores, mala notación matemática y fuentes inadecuadas, lo que la hace inútil para un estudio serio y una pérdida de dinero.

(basado en 2 opiniones de lectores)

Título original:

Foundations of Constraint Satisfaction: The Classic Text

Contenido del libro:

Este texto seminal de Informática, el libro más citado sobre el tema, está ahora disponible por primera vez en edición de bolsillo. La satisfacción de restricciones es un problema de decisión que implica opciones finitas.

Es omnipresente. El objetivo es encontrar valores para un conjunto de variables que satisfagan un conjunto dado de restricciones. Es el núcleo de muchas aplicaciones de la inteligencia artificial y ha encontrado aplicación en muchos ámbitos, como la planificación y la programación.

Debido a su generalidad, la mayoría de los investigadores en IA deberían poder beneficiarse de un buen conocimiento de las técnicas de este campo. Publicado originalmente en 1993, este libro ya clásico fue el primer intento de definir el alcance de la satisfacción de restricciones.

Abarca tanto los aspectos teóricos como los de aplicación del tema. Proporciona un marco para el estudio de este campo, relaciona diferentes investigaciones y resuelve la ambigüedad de varios conceptos y algoritmos de la bibliografía. Este texto seminal es posiblemente el libro más riguroso en este campo.

Todos los conceptos principales se definen en Cálculo de Predicados de Primer Orden. Los conceptos así definidos son precisos y no presentan ambigüedades.