Planificación: Fundamentos (y NetLogo)

13 de Octubre de 2019, 94 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, 62 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, 107 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, 198 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, 114 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

NetLogo: Fundamentos

29 de Octubre de 2016, 3545 vistas

Etiquetas utilizadas: , , ,

Búesquedas Estocásticas: Templado Simulado

29 de Septiembre de 2017, 923 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: , , ,