Respuesta de Programación Continua de Dominios

Respuesta de programación (ASP) es un lenguaje declarativo a la medida para la resolución de problemas de optimización combinatoria. Se ha aplicado con éxito, por ejemplo, problemas de planificación, configuración y verificación de software, diagnóstico y reparaciones de base de datos. Sin embargo, ASP directamente no es adecuado para el modelado de problemas con la continua dominios. Estos problemas se producen de forma natural en diversos campos tales como el diseño de gas y redes de suministro de electricidad, visión por computadora y carteras de inversión. Para superar este problema, hemos de estudio FASP, una combinación de ASP con lógica difusa -- una clase de manyvalued lógicas que puede manejar la continuidad. Específicamente se centran en las siguientes cuestiones: 1. Una cuestión importante cuando se modela la optimización continua de los problemas es cómo debemos manejar overconstrained problemas, es decir, los problemas que no tienen soluciones. En muchos casos podemos optar por aceptar una solución imperfecta, es decir, una solución que no satisface todas las reglas establecidas (restricciones). Sin embargo, esto lleva a la pregunta: ¿qué imperfecto soluciones debemos escoger? Estamos investigando esta cuestión y mejorar el estado-of-the-art proponiendo un enfoque basado en las funciones de agregación. 2. Los usuarios de un lenguaje de programación a menudo quieren un rico lenguaje que es fácil de modelar. Sin embargo, los ejecutores y los teóricos prefieren un pequeño lenguaje que es fácil de implementar y de la razón acerca de. Creamos un puente entre estos dos deseos, al proponer un pequeño núcleo de lenguaje para el FASP y demostrando que este lenguaje es capaz de expresar muchas de sus extensiones comunes como las restricciones, monótonamente decreciente de funciones, agregadores, S-implicators clásica y la negación. 3. Una técnica bien conocida para la resolución de ASP consiste en la traducción de un programa de P a un proposicional, teoría de cuyos modelos se corresponden exactamente con la respuesta de los conjuntos de P. Nos muestran cómo esta técnica puede ser generalizado a FASP, allanando el camino para implementar eficiente aproximada respuesta en solucionadores de problemas que pueden tomar ventaja de los actuales aproximada reasoners.