Planificación: Fundamentos (y NetLogo)

13 de Octubre de 2019, 60 vistas

En esta entrada completamos el uso de procedimientos de búsqueda en Espacios de Estados para resolver problemas de Planificación Automática. Veremos algunas generalidades acerca del tipo de problemas que podemos resolver y de las aproximaciones formales que se han creado. También podremos ver cómo se puede implementar en NetLogo un algoritmo sencillo de conversión de un problema de planificación en uno de búsqueda (para usar, por ejemplo, BFS o A*).

Etiquetas utilizadas: , , , , , ,

Leer más »

NetLogo: Grafos

9 de Octubre de 2019, 33 vistas

A pesar de que ya con anterioridad hemos hablado de los enlaces (links) como el tercer tipo de agentes que se puede manipular en Netlogo, hasta ahora no hemos trabajado con ellos, principalmente por el hecho de que necesitábamos conocer algunas técnicas de programación para poder sacarles todo el partido que nos puedan dar. En esta entrada haremos un breve repaso a cómo se modelan redes/grafos en NetLogo, usando tortugas como nodos y links como enlaces.

Etiquetas utilizadas: , , , ,

Lógica de Primer Orden: una Introducción Informal

25 de Septiembre de 2019, 69 vistas

A partir de las bondades que ofrece la Lógica Proposicional, y también conociendo sus limitaciones, damos aquí una introducción (principalmente, informal) de la Lógica de Primer Orden, de sus características diferenciadoras más importantes, destacando su mayor capacidad expresiva, pero también las dificultades adicionales que presenta desde el punto de vista computacional.

Etiquetas utilizadas: , , ,

Introducción a la Lógica

22 de Septiembre de 2019, 154 vistas

(Para los cursos LI-TI y IA-IC) Debemos tener en cuenta que la Lógica (cualquier Lógica Matemática) tiene dos componentes fundamentales: Semántica y SintaxisNo se puede comprender la Lógica a menos que se entiendan estas dos ideas y la relación que hay entre ellas. Así que vamos a dar esta introducción con un ejemplo que nos permita entender esta relación de la forma más directa posible. Además, el ejemplo lo veremos representado en las dos lógicas más sencillas y en las que se basa el curso: la Lógica Proposicional, y la Lógica de Primer Orden, y de esa forma también nos prepararemos para ver las ventajas e inconvenientes de usar cada una de ellas.

Etiquetas utilizadas: ,

Brevísima historia de la Lógica

22 de Septiembre de 2019, 96 vistas

(Para el curso LI-TI) Una entrada que hace un rapidísimo y breve recorrido por la historia de la Lógica orientada al curso de Lógica Informática que se imparte en el Grado de Ingeniería Informática - Tecnologías Informáticas de la Universidad de Sevilla. Traducción libre de"A Brief history of Logic" de Moshe Y. Vardi (2003).

Etiquetas utilizadas: ,


ALGUNAS ENTRADAS ANTERIORES ... AL AZAR

Descubrimiento de Conocimiento en Grafos Multi-Relacionales

25 de Marzo de 2018, 562 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: , , , , ,

El Teorema de Takens: cómo predecir un sistema a partir de información parcial

5 de Diciembre de 2015, 1629 vistas

En muchas disciplinas aparecen fenómenos en los que interesa conocer bien la dinámica del sistema que interviene con el fin de poder predecir, aunque sea de forma cualitativa, el comportamiento futuro que mostrará el sistema. ¿Se puede conocer, al menos cualitativamente, la dinámica de un sistema sin conocer todas las variables que lo determinan? Por extraño que pueda parecer, la respuesta a este interrogante es afirmativa. El Teorema de Takens asegura que, bajo ciertas hipótesis sobre el sistema, resulta posible reconstruir la dinámica del sistema original completo a partir de mediciones de algunas de las variables involucradas y, de esta forma, conocer la evolución del mismo.

Etiquetas utilizadas: , , , ,