Resolviendo Problemas de Satisfacción de Restricciones con Hormigas

20 de Noviembre de 2017, ha tenido 263 vistas

 Al igual que hemos visto metaheurísticas varias (como BFSA*, o Templado Simulado) para dar soluciones a familias de problemas siempre y cuando pudiéramos representarlos como Espacios de Estados, vamos a usar esta entrada para demostrar cómo podemos usar ACOs para resolver problemas genéricos, siempre y cuando seamos capaces de representarlos como Problemas de Satisfacción de Restricciones. En este sentido, será necesario asociar a cada PSR un grafo de forma que los caminos óptimos en el grafo se asocien a soluciones óptimas en el PSR, así como proporcionar un sistema de probabilidades asociados a las aristas salientes de los nodos para asegurar que las hormigas construyen asignaciones válidas para el PSR considerado.

Etiquetas utilizadas: , , , ,

Leer mas »

Nuevo Bloque de Cursos

29 de Octubre de 2017, ha tenido 140 vistas

 Se ha añadido un apartado de cursos completos al que puedes acceder por medio del nuevo enlace "Cursos" en el menú principal de esta página. El objetivo es ir colgando cursos enteros de forma que estén disponibles independientemente de si se corresponden o no con una asignatura reglada actualmente.

Etiquetas utilizadas: , , ,

Leer mas »

Introducción a la Lógica Difusa

16 de Octubre de 2017, ha tenido 7796 vistas

La forma en que la gente piensa es, inherentemente, difusa. La forma en que percibimos el mundo está cambiando continuamente y no siempre se puede definir en términos de sentencias verdaderas o falsas. Consideremos como ejemplo el conjunto de vasos del mundo, que pueden estar vacíos o llenos de agua. Ahora tomemos un vaso vacío y comencemos a echar agua poco a poco, ¿en qué momento decidimos que el vaso pasa de estar vacío a estar lleno?

Etiquetas utilizadas: , , ,

Leer mas »

Introducción a Prover9 y Mace4

26 de Septiembre de 2017, ha tenido 121 vistas

Prover9 es un Demostrador Automático de Teoremas para Lógicas de Primer Orden (también se puede utilizar con Lógica Proposicional) y Mace4 busca modelos finitos y contraejemplos. Los dos programas se pueden usar por medio de un interfaz gráfico unificado, para aprovechar el uso conjunto que se suele hacer de ambas herramientas en la resolución de problemas. Tanto Prover9 como su antecesor, Otter, y Mace4 fueron creados por William McCune.

Etiquetas utilizadas: , ,

Leer mas »

Representación del Conocimiento

24 de Septiembre de 2017, ha tenido 1802 vistas

Aunque la Representación del Conocimiento es uno de los conceptos centrales y, de alguna manera, más conocidos en Inteligencia Artificial, la pregunta más fundamental "¿qué es?" rara vez se ha contestado directamente. En esta entrada volvemos a lo básico para abordar la cuestión directamente. Creemos que la respuesta se puede entender mejor en función de los cinco roles importantes, y claramente diferentes, que desempeña una representación, cada uno de los cuales plantea necesidades diferentes, y a veces contradictorias, a las propiedades que debe tener una representación.

Etiquetas utilizadas: , ,

Leer mas »

ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

Curso acelerado de Lógica Proposicional

28 de Octubre de 2015, 2996 vistas

En esta entrada vamos a intentar dar un curso acelerado (aceleradísimo) acerca de qué es la Lógica Proposicional y de qué forma se pueden automatizar algunos de los problemas más habituales que se presentan dentro de ella. Debido a que es un curso acelerado, el lector no debe buscar aquí una formalización exahustiva acerca del tema, sino una aproximación intuitiva a cuáles son los fundamentos de la misma, a los problemas que resuelve, y a algunos de los algoritmos más habituales para automatizar las soluciones que se pueden dar a los mismos. Si el lector sabe algo de lógica, y ya ha visto algún curso de lógico proposicional con cierto detalle, lo más probable es que estas notas no le sirvan de mucho, encuentre muchas carencias e incluso alguna "mentira piadosa" (aunque prefiero llamarla "atajo")... en consecuencia, si este es tu caso, es muy probable que estas notas no estén hechas para ti... quedas avisado...

Etiquetas utilizadas: , , ,

Introducción a las redes complejas

28 de Noviembre de 2013, 9795 vistas

Entre los avances realizados en redes complejas (tanto naturales como artificiales) destacan aquellos relacionados con las propiedades de mundo pequeño y libres de escala, que han estimulado un gran interés en el estudio de los principios de organización subyacentes en este tipo de redes, dando lugar a avances espectaculares en este emergente y activo campo de investigación. En esta entrada revisaremos algunos conceptos básicos y mostraremos algunos resultados que relacionan la topología y la dinámica de este tipo de redes complejas.

Etiquetas utilizadas: , , , ,