¿Se pueden resolver los problemas de "asistencia a la fiesta" en Prolog? Por ejemplo: Burdock Muldoon y Carlotta Pinkstone dijeron que vendrían si venía Albus Dumbledore. Albus Dumbledore y Daisy Dodderidge dijeron que vendrían si viniera Carlotta Pinkstone. Albus Dumbledore, Burdock Muldoon y...
Si tengo un problema difícil, un enfoque estándar es expresarlo como una instancia SAT e intentar ejecutar un solucionador SAT en él. Otro enfoque estándar es expresarlo como un problema de satisfacción de restricciones e intentar usar un solucionador CSP. Los dos se sienten de alguna manera...
Considere un modelo CSP donde cambiar el valor de una variable particular es costoso. ¿Existe algún trabajo en el que la función objetivo también considere el número de cambios en el valor de la variable durante el proceso de búsqueda? Un ejemplo: la variable costosa de cambiar puede estar bajo el...
Se nos da un conjunto de frutas. Cada fruta tiene un precio y un contenido de vitaminas ; asociamos la fruta con el par ordenado . Ahora tenemos que organizar estas frutas de tal manera que la lista ordenada contenga los precios en orden ascendente y el contenido de vitaminas en orden...
No se cree que la satisfacción general (con algunas excepciones, como las cláusulas Horn) tenga una solución algorítmica. Sin embargo, el siguiente algoritmo parece ser una solución para la satisfacción general. ¿Cuál es exactamente la falla con el siguiente algoritmo? Sea un conjunto vacío que...