Resolviendo Problemas de Satisfacción de Restricciones con Hormigas

20 de Noviembre de 2017, 6 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 más »

Nuevo Bloque de Cursos

29 de Octubre de 2017, 41 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.

Introducción a la Lógica Difusa

16 de Octubre de 2017, 3632 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: , , ,

Introducción a Prover9 y Mace4

26 de Septiembre de 2017, 47 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.

Representación del Conocimiento

24 de Septiembre de 2017, 239 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: , ,


ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

El auge de un joven paradigma científico

13 de Septiembre de 2013, 154 vistas

Desde el siglo XVI ha habido dos paradigmas principales en la metodología para hacer ciencia. El primero de ellas es el paradigma "experimental". Durante un experimento observamos, medimos y cuantificamos los fenómenos naturales con el fin de resolver un problema específico, responder a una pregunta, o decidir si una hipótesis es verdadera o falsa. El segundo paradigma es el "teórico". Una teoría generalmente se entiende como un fundamento, por ejemplo, una explicación lógica y/o matemática de un fenómeno natural observado.

Etiquetas utilizadas: , , , , ,

Sobre el modelado matemático

21 de Mayo de 2013, 2755 vistas

De entre todas las opciones para crear modelos, la del modelado matemático destaca sobre las demás por su eficacia y buenas propiedades. Se presenta bajo formas tan dispares como son: las teorías matemáticas (basadas en sistemas de axiomas y demostraciones, etc.); los modelos numéricos (basados en ecuaciones lineales, ecuaciones diferenciales, cálculo estocástico, etc.); o los modelos computacionales (basados en sistemas de agentes y sus interacciones, sistemas de partículas, algoritmos evolutivos, etc.), que surgen como resultado de las capacidades tecnológicas alcanzadas en los últimos años y que eran inimaginables poco tiempo atrás.

Etiquetas utilizadas: , , ,