sábado, 12 de marzo de 2016

Vídeo Nº 036: IA Lógica - Lógica de Proposiciones 03

Una vez visto el léxico, la sintaxis (gramática) y la primera parte de semántica (tablas de verdad) vamos a hablar sobre equivalencias, validez, satisfacibilidad y deducciones en esta segunda parte de la semántica de la lógica de proposiciones.



Vídeo Nº 035. IA Probabilidad - Independencia Condicional

La independencia condicional tiene una importancia vital para el tratamiento de la incertidumbre con la probabilidad, ya que permite reducir el orden de complejidad de los algoritmos muy significativamente, desde exponencial a, incluso, lineal. Junto con la Regla de Bayes, son las bases de todos los algoritmos y técnicas usados en la IA para tratar la incertidumbre.



Vídeo Nº 034: IA Grafos - Búsqueda Voraz

Este algoritmo se basa en dos premisas: la primera, que una vez tomada una decisión, no vuelve a deshacerla; y la segunda, intenta ver si sólo con una función heurística, sin tener en cuenta los costes, se puede lograr una búsqueda completa y óptima. Como se verá, no será suficiente pero reduce bastante el orden de complejidad temporal con respecto de los algoritmos de búsqueda no informada.



Vídeo Nº 033: IA Lógica - Lógica de Proposiciones 02

Tras analizar el léxico y la sintaxis (gramática) en el vídeo anterior, en este vídeo comenzamos a tratar la semántica de la lógica de proposiciones explicando los valores de verdad y las tablas de verdad.



Vídeo Nº 032: IA Probabilidad - Teorema de Bayes

Explicación de la regla más importante que existe en el tratamiento de la incertidumbre mediante la probabilidad y ejemplo de cómo calcularlo de forma fácil.



Vídeo Nº 031: IA Grafos - Función Heurística

Primer vídeo sobre búsqueda informada en grafos. Se va a explicar cómo se usan las funciones heurísticas dentro de la búsqueda, las características que deben cumplir para poderse usar y su uso en el búsquedas de tipo primero el mejor (que están basadas en la búsqueda de coste uniforme). También se va a hablar de los contornos y su importancia para el análisis de algoritmos de búsqueda informada.



Vídeo Nº 030: IA Grafos - Búsqueda Bidireccional

Variante de la búsqueda primero en anchura en el que se lanzan dos búsquedas simultáneas: una desde el estado inicial y otra desde el estado final, hasta encontrar estado común. Mejora significativamente la complejidad.



Vídeo Nº 029: IA Grafos - Búsqueda en Profundidad Iterativa

El mejor algoritmo de búsqueda no informada ya que, aparte de ser completo y óptimo, no cae en bucles infinitos y tiene una complejidad espacial de orden lineal. Aunque tiene algunos inconvenientes que pueden paliarse en parte.



Vídeo Nº 028: IA Grafos - Búsqueda en Profundidad Limitada

Modificación del algoritmo de búsqueda primero en profundidad para evitar que entre en bucles infinitos y poder trabajar con espacios de estados infinitos. Para ello, se va a definir un nivel máximo al que descender en el árbol de búsqueda.