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*).
Planificación: Fundamentos (y NetLogo)
NetLogo: Grafos
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.
Lógica de Primer Orden: una Introducción Informal
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.
Introducción a la Lógica
(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 Sintaxis. No 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.
Brevísima historia de la Lógica
(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).
- « Página anterior
- 1
- 2
- 3
- 4
- …
- 27
- Página siguiente »
ALGUNAS ENTRADAS ANTERIORES ... AL AZAR
Búesquedas Estocásticas: Templado Simulado
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).
