Introducción a la Lógica Difusa

16 de Octubre de 2017, ha tenido 10869 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 »

Simulated Annealing in NetLogo

29 de Septiembre de 2017, ha tenido 14 vistas

In this post we will see implementations of Simulated Annealing algorithm.

Etiquetas utilizadas: , , , , ,

Leer mas »

Búesquedas Estocásticas: Templado Simulado

29 de Septiembre de 2017, ha tenido 22 vistas

 Hay muchas veces en los que los algoritmos de búsqueda deterministas se quedan atascados enseguida en óptimos no demasiado buenos. Para estos casos se han diseñado algoritmos que a veces pueden dar soluciones relativamente buenas y que hacen uso de estocasticidad, como el que veremos en esta sección: templado simulado (simulated annealing).

Etiquetas utilizadas: , , ,

Leer mas »

Introducción a Prover9 y Mace4

26 de Septiembre de 2017, ha tenido 171 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 3417 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

The Crisis in Higher Education

30 de Septiembre de 2012, 224 vistas

Online versions of college courses are attracting hundreds of thousands of students, millions of dollars in funding, and accolades from university administrators. Is this a fad, or is higher education about to get the overhaul it needs?

From Technology Review, by Nicholas Carr

Etiquetas utilizadas: , , ,

Resolviendo Problemas de Satisfacción de Restricciones con Hormigas

20 de Noviembre de 2017, 369 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: , , , ,