De la Resolución Proposicional a la Resolución LPO

8 de Diciembre de 2018, 17 vistas

En esta entrada se presentan mecanismos para extender la Resolución Proposicional al contexto de los Lenguajes de Primer Orden. Esta entrada no es autocontenida, sino que está orientada a aclarar algunos conceptos de resolución en primer orden a los alumnos del curso de Lógica Informática, por lo que se supone que el lector ha asistido a las clases de esa materia y conoce la nomenclatura usada y los conceptos previos de los que depende.

Etiquetas utilizadas: , ,

Leer más »

Metaheurísticas para Búsqueda y Optimización (Parte 2)

29 de Septiembre de 2018, 191 vistas

 Otro nombre habitual que se le da a la perspectiva de obtener estrategias en IA es metaheurística. En este contexto, una heurística es un algoritmo que localiza soluciones "suficientemente buenas" para un problema pero sin preocuparse de si se puede probar que la solución sea correcta u óptima. Los métodos heurísticos compensan la precisión y calidad de las soluciones con la eficiencia computacional (en espacio y tiempo). Al igual que las heurísticas, las metaheurísticas pueden ser consideradas un marco algorítmico general que puede ser aplicado a diferentes problemas de optimización con ligeras modificaciones para adaptarlos a los problemas específicos.

Etiquetas utilizadas: , , ,

Metaheurísticas para Búsqueda y Optimización (Parte 1)

29 de Septiembre de 2018, 233 vistas

 Otro nombre habitual que se le da a la perspectiva de obtener estrategias en IA es metaheurística. En este contexto, una heurística es un algoritmo que localiza soluciones "suficientemente buenas" para un problema pero sin preocuparse de si se puede probar que la solución sea correcta u óptima. Los métodos heurísticos compensan la precisión y calidad de las soluciones con la eficiencia computacional (en espacio y tiempo). Al igual que las heurísticas, las metaheurísticas pueden ser consideradas un marco algorítmico general que puede ser aplicado a diferentes problemas de optimización con ligeras modificaciones para adaptarlos a los problemas específicos.

Etiquetas utilizadas: , ,

Descubrimiento de Conocimiento en Grafos Multi-Relacionales

25 de Marzo de 2018, 316 vistas

En Junio de 2017 Pedro Almagro Blanco presentó la Tesis Doctoral de título Descubrimiento de Conocimiento en Grafos Multi-Relacionales. En esta entrada se publica la introducción de su trabajo, así como el enlace al contenido de la tesis y algunos de los artículos a los que ha dado lugar.

Etiquetas utilizadas: , , , , ,

Modelado de Sistemas Dinámicos con Machine Learning

25 de Marzo de 2018, 534 vistas

En Febrero de 2018 Diego Cabrera Mendieta presentó la Tesis Doctoral de título Modelado de Sistemas Dinámicos con Machine Learning: Aplicaciones al Mantenimiento Basado en la Condición. En esta entrada se publica la introducción de su trabajo, así como el enlace al contenido de la tesis y algunos de los artículos a los que ha dado lugar.

Etiquetas utilizadas: , , , ,


ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

Redes Booleanas

19 de Marzo de 2014, 946 vistas

La Teoría de Sistemas Complejos trabaja sobre sistemas dinámicos que tienen un gran número de variables, en los que el comportamiento puede ser arbitrariamente complejo. Por tanto, es importante disponer de una serie de ejemplos de sistemas dinámicos, a modo de modelos de control, que puedan ser investigados con mayor comodidad y en los que podamos controlar o predecir de alguna forma su comportamiento.

Las redes booleanas (aquellas que tienen únicamente variables binarias) constituyen este tipo de sistemas complejos dinámicos canónicos, y muestran de forma mucho más sencilla comportamientos observados en sistemas reales.

Etiquetas utilizadas: , , ,

Emprendimiento descabezado

25 de Noviembre de 2016, 219 vistas

Llevamos años experimentando, con mayor o menor acierto, un empuje desmesurado del emprendedor como medio de salvación del nuevo titulado español. En realidad, se nos presenta como solución salvadora para todo aquel que se crea con la habilidad y el derecho de salir de la clase media-baja a la que nos empuja un sistema, uno cuya única preocupación es la de mantener unos principios motores útiles para unos pocos. 

Resulta, cuanto menos, llamativo que en una etapa de decadencia universitaria, tanto por medios técnicos como humanos, se invierta tanto tiempo y dinero en enseñarles a nuestros alumnos los buenos modos que los pueden llevar a ser mejores emprendedores, que haya tantos concursos de ideas premiados con ayudas a la formación de sus primeras empresas, y tantos cursos y charlas acerca de cómo convertirse en sus propios jefes.

Etiquetas utilizadas: , ,