Particionamiento y resolución distribuida multivariable de problemas de satisfacción de restricciones

Hoy en día, muchos problemas reales pueden modelarse como problemas de satisfacción de restricciones (CSPs) y se resuelven usando técnicas específicas de satisfacción de restricciones. Estos problemas pertenecen a áreas tales como Inteligencia Artificial, investigación operativa, sistemas de información, bases de datos, etc. La mayoría de estos problemas pueden modelarse de forma natural mediante CSPs. Sin embargo, algunos de estos problemas son de naturaleza distribuida, bien por motivos de seguridad, por requerimientos de privacidad, o por restricciones espaciales. Ello requiere que este tipo de problemas sean modelados como problemas de satisfacción de restricciones distribuidos (DCSPs), donde el conjunto de variables y restricciones del problema está distribuido entre un conjunto de agentes que se encargan de resolver su propio sub-problema y deben coordinarse con el resto de agentes para alcanzar una solución al problema global. En la literatura de satisfacción de restricciones, la necesidad de manejar DCSP comenzó a tratarse a principios de los 90. No obstante, la mayoría de los investigadores que trabajan en este campo centran su atención en algoritmos en los que cada agente maneja una única variable. Estos algoritmos pueden ser transformados para que cada agente maneje múltiples variables. Sin embargo, los algoritmos resultantes no son escalables para manejar grandes sub-problemas locales debido tanto a requerimientos espaciales como a su coste computacional. Por lo tanto, la resolución de problemas reales mediante este tipo de algoritmos resulta prácticamente inviable. En esta tesis presentamos nuevos algoritmos para la resolución de problemas de satisfacción de restricciones distribuidos capaces de manejar multiples variables por agente. Estos algoritmos realizan un manejo eficiente de la información obtenida mediante la comunicación entre los agentes, consiguiendo con ello una mayor eficiencia durante el proceso de resolución. Además, sus requerimientosAbril López, M. (2007). Particionamiento y resolución distribuida multivariable de problemas de satisfacción de restricciones [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/1946Palanci

Un criterio para seleccionar operadores genéticos para resolver CSP

Nuestro interés es definir algoritmos evolucionistas para la resolución de problemas de satisfacción de restricciones (CSP), los cuales tomen en cuenta tanto las ventajas de los métodos tradicionales de resolución de CSP, así como las características propias de este tipo de problemas. En este contexto, se propone en el presente artículo un criterio para poder evaluar la performance de los operadores gen'eticos dentro de algoritmos evolucionistas que resuelven CSP.Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Un criterio para seleccionar operadores genéticos para resolver CSP

Nuestro interés es definir algoritmos evolucionistas para la resolución de problemas de satisfacción de restricciones (CSP), los cuales tomen en cuenta tanto las ventajas de los métodos tradicionales de resolución de CSP, así como las características propias de este tipo de problemas. En este contexto, se propone en el presente artículo un criterio para poder evaluar la performance de los operadores gen'eticos dentro de algoritmos evolucionistas que resuelven CSP.Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

Un criterio para seleccionar operadores genéticos para resolver CSP

Nuestro interés es definir algoritmos evolucionistas para la resolución de problemas de satisfacción de restricciones (CSP), los cuales tomen en cuenta tanto las ventajas de los métodos tradicionales de resolución de CSP, así como las características propias de este tipo de problemas. En este contexto, se propone en el presente artículo un criterio para poder evaluar la performance de los operadores gen'eticos dentro de algoritmos evolucionistas que resuelven CSP.Sistemas InteligentesRed de Universidades con Carreras en Informática (RedUNCI

MODELOS Y TÉCNICAS DE CONSISTENCIA EN PROBLEMAS DE SATISFACCIÓN DE RESTRICCIONES

Hoy en día, muchos problemas reales pueden ser modelados como problemas de satisfacción de restricciones (CSPs) y ser resueltos utilizando técnicas de programación de restricciones. Estos problemas pertenecen a diferentes áreas de conocimiento tales como inteligencia artificial, investigación operativa, sistemas de información, bases de datos, etc. Los CSPs pertenecen a la categoría de problemas NP-completos por lo que es necesario el uso de herramientas que simplifiquen el problema de forma que se encuentre una solución de forma eficiente. Las técnicas más comunes para manejar un CSP son las técnicas de consistencia y las técnicas de búsqueda. Las técnicas de consistencia o de filtrado tienen por objeto reducir el espacio de búsqueda mediante el filtrado de los dominios de las variables. Las técnicas de arcoconsistencia son las más utilizadas ya que llevan a cabo una importante poda de dominios; eliminando valores que no formaran parte de la solución; de una manera eficiente. Por ello, proponer algoritmos que alcancen la arco-consistencia ha sido un punto central en la comunidad científica reduciendo la complejidad tanto espacial como temporal de estos algoritmos. Sin embargo, muchos trabajos que investigan la arco-consistencia llevan a cabo asumpciones que no están presentes en muchos problemas de la vida real. Por ejemplo, un mismo par de variables pueden participar en más de una restricción (lo que se denomina problema no-normalizado), y cuando el tamaño de los dominios es grande, el proceso de normalización puede resultar prohibitivo. En estos casos la 2-consistencia lleva a cabo una reducción de los dominios de las variables mayor que la arco-consistencia por lo que los algoritmos de búsqueda pueden resultar más eficientes. Sin embargo, la literatura es escasa en relación al desarrollo de algoritmos que alcancen la 2-consistencia. En esta tesis presentamos nuevos algoritmos de arco-consistencia y de 2-consistencia como algoritmos de preproceso para la resolución de problemas de satisfacción de restricciones.Arangú Lobig, MA. (2011). MODELOS Y TÉCNICAS DE CONSISTENCIA EN PROBLEMAS DE SATISFACCIÓN DE RESTRICCIONES [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/14120Palanci

Modelación para la programación del transporte de productos refinados en la red nacional de poliductos de Ecopetrol S.A.

En general, uno de los objetivos de las empresas del sector petrolero se fundamenta en generar valor agregado en los procesos de exploración, producción, refinación, transporte, investigación y desarrollo. El grado de competitividad no solo de las empresas, sino de la nación entera, dependen de la capacidad de ejecutar este tipo de actividades de forma eficaz, eficiente y bajo los requerimientos de calidad inherentes a la industria. En relación a los procesos de transporte de productos derivados del petróleo, la industria generalmente utiliza buques, camiones, ductos (oleoductos para el petróleo y poliductos para los productos refinados) y ferrocarriles. Sin embargo, el medio más eficaz y económico para transportar este tipo de productos en grandes cantidades y a través largas distancias son los ductos (de Souza, Algoritmo Evolucionário para a Distribuição de Produtos de Petróleo por Redes de Polidutos, 2010). Adicionalmente, se considera que este método resulta más confiable y es aquel que acarrea menos pérdidas en comparación a las demás opciones (de Souza, Algoritmo Evolucionário para a Distribuição de Produtos de Petróleo por Redes de Polidutos, 2010). No obstante, esta alternativa requiere una adecuada planeación estratégica, como el trazado de la línea (ducto) o la ubicación de los centros de almacenamiento; táctica, como las tarifas y las políticas de mantenimiento; y finalmente operativa, como la elaboración de los programas de envío semanales.Ingeniero (a) IndustrialPregrad

Integración de procesos de negocio basados en servicios Web: Coreografía y satisfacción de restricciones

Los procesos de negocio en ocasiones necesitan funcionalidades adicionales que pueden alcanzarse empleando servicios del mismo dominio o de uno externo. Durante este procedimiento, los servicios web involucrados deben integrarse, de tal forma que sus funcionalidades individuales generen un comportamiento global. La coreografía de servicios web controla la secuencia de las interacciones entre los servicios durante el proceso de integración. Este artículo presenta una aproximación al modelado basado en restricciones de la coreografía de servicios web, a fin de lograr su automatización

Programación de turnos para los tecnólogos en radiología e imágenes diagnósticas en las sedes de Cartago de la empresa Radiólogos Asociados S.A.S usando algoritmos de inteligencia artificial

La distribución, asignación u organización de recursos sean estos tangibles o intangibles, en cualquier institución, es indispensable para un adecuado funcionamiento. Esto muchas veces se convierte en un inconveniente por la demanda de tiempo y procesamiento que requiere establecer dicha distribución, de forma óptima que satisfaga las necesidades de la institución sin implicar nuevos costos en dinero, tiempo, recursos humanos o materiales de cualquier otra índole. Este es el caso de la empresa de Radiólogos Asociados SAS, donde el proceso de asignación de horarios y recursos como salas, para los tecnólogos se hace de forma manual, es decir no existe un sistema o aplicativo que permita generar dicha asignación. Es entonces este el objetivo del actual proyecto de grado, implementar una solución automatizada para la asignación de horarios, utilizando para ello métodos de inteligencia artificial. para hallar una solución a este problema se implementó un hibrido entre el algoritmo genético y enfriamiento simulado, decisión basada en resultados de investigaciones previas similares a este tipo de problemas, estudios que arrojaron buenos resultados y soluciones óptimas sin indicar que fueran las mejores, aun así se debe tener en cuenta que cada institución tiene necesidades y requerimientos propios que son independientes y diferentes a las de otras instituciones, razón por la cual una buena solución depende de los requisitos que se deban satisfacer de la institución en particular

Modelo de negociación automática bilateral para entornos abiertos de comercio electrónico

Este artículo presenta un modelo para la negociación automática bilateral y multiparámetrica en entornos abiertos de\ud comercio electrónico. El modelo se describe en el ámbito de un entorno competitivo de agentes software, en el que uno\ud de los agentes del sistema actúa como comprador y otro de los agentes como vendedor. En un sistema abierto, la\ud incertidumbre acerca del comportamiento de otro agente es clave, correspondiéndose con la realidad presente en medios\ud convencionales de negociación o en comercio electrónico e Internet. Aún así, la actitud de un agente en un entorno\ud competitivo frente a otro agente, puede diferir en cuanto al nivel de confianza recíproca existente. De esta manera, el\ud modelo integra diferentes estrategias de interacción que son función de este nivel de confianza. Estas estrategias abarcan\ud desde un posicionamiento púramente competitivo, con criterios estrictos de mínima revelación de información, hasta una\ud estrategia cooperativa, en la que este criterio de privacidad se relaja. El modelo es capaz de encontrar una solución o\ud acuerdo justo si dicha solución existe, de manera que en el proceso de negociación ningún usuario tenga privilegios. Se\ud emplean restricciones difusas con prioridades (PFCSPs) con valoraciones y graduación de privacidad para representar\ud propuestas, ya sean específicas o de espacios de soluciones, y para definir el grado de satisfacción de estas posibles\ud soluciones. Dicho grado de satisfacción es función del cumplimiento de las restricciones impuestas al proceso de\ud negociación, del perfil del usuario, y de mecanismos de argumentación