Vídeo Nº 185: IA Lógica - FOIL 02

Segundo vídeo sobre FOIL, un famoso algoritmo de aprendizaje simbólico basado en la lógica de predicados, que permite obtener Reglas de Horn que se pueden usar directamente en el lenguaje de programación lógica PROLOG. En este vídeo veremos un típico ejemplo de su aplicación.

https://www.youtube.com/watch?v=Fm24KmQ7hug

PDF con las Diapositivas de la Presentación

Vídeo Nº 184: IA Lógica - FOIL 01

Primer vídeo sobre FOIL, un famoso algoritmo de aprendizaje simbólico basado en la lógica de predicados, que permite obtener Reglas de Horn que se pueden usar directamente en el lenguaje de programación lógica PROLOG.

https://www.youtube.com/watch?v=l3pOo0qb0CU

PDF con las Diapositivas de la Presentación

Vídeo Nº 183: IA Lógica - Metodología Estrella Aq 02

Segundo vídeo sobre A^q en el que se muestra un ejemplo, paso a paso, de cómo se van construyendo las reglas VL1 y cómo nos vamos quedando con las más sencillas gracias a la heurística LEF.

https://www.youtube.com/watch?v=4y3ESdqLiqI

PDF con las Diapositivas de la Presentación

Vídeo Nª 182: IA Lógica - Metodología Estrella Aq 01

Primer vídeo sobre la metodología estrella o, también llamado, algoritmo A^q de aprendizaje simbólico. Usa el lenguaje LV1, basado en la lógica de proposiciones, por lo que es más potente que el espacio de versiones. En este vídeo veremos la teoría, en el siguiente veremos un ejemplo práctico.

https://www.youtube.com/watch?v=m-Wq6JW9lZg

 PDF con las Diapositivas de la Presentación

Vídeo Nº 181: IA Lógica - Espacio de Versiones 03

Último vídeo del algoritmo de aprendizaje supervisado simbólico "Espacio de Versiones" en el que se muestra, con un ejemplo más complejo y completo que el visto en el primer vídeo, los diferentes pasos para obtener reglas de clasificación aplicando la especialización de S y la generalización de G.

https://www.youtube.com/watch?v=oI0o9sQL_P8

PDF con las Diapositivas de la Presentación

Vídeo Nº 180: IA Lógica - Espacio de Versiones 02

Una vez vista la teoría del algoritmo Espacio de Versiones, que permite hacer aprendizaje supervisado simbólico con lenguajes LDC en lógica, en este vídeo se muestra el pseudocódigo. Es bastante largo, por lo que se ha divido en varias funciones/métodos que, una vez se combinen, del el pseudocódigo completo.

https://www.youtube.com/watch?v=87rMbfaHIA8

PDF con las Diapositivas de la Presentación

Vídeo Nº 179: IA Lógica - Espacio de Versiones 01

Espacio de Versiones es el algoritmo más simple para hacer aprendizaje supervisado simbólico con lenguajes lógicos, en concreto, el lenguaje de descripción de conceptos (LDC). Se explican las bases del algoritmo mediante un ejemplo simple. También se analizan las ventajas y los inconvenientes.

https://www.youtube.com/watch?v=7nsiF_n2LVc

PDF con las Diapositivas de la Presentación

Curso Online UNED sobre Lógica:
https://oer.ia.uned.es/led/

"Lógica Para Principiantes"
María Manzano y Antonia Huertas
Alianza Editorial
ISBN: 84-206-4570-2

"Aprendizaje Automático"
Daniel Borrajo, Jesús G. Boticario y Pedro Isasi
Sanz y Torres
ISBN: 84-96094-73-1

Vídeo Nº 178: IA Probabilidad - Árboles de Decisión ID3 03

Vídeo con un ejemplo de cómo elegir entre los atributos de un árbol de decisión usando la máxima ganancia, la entropía y la información explicada en los vídeos previos. También se mostrará el árbol resultado de aplicar el algoritmo sobre el ejemplo que se usó en el primer vídeo de la serie.

https://www.youtube.com/watch?v=q_ZFEtZdyF4

PDF con las Diapositivas de la Presentación

Vídeo Nº 177: IA Probabilidad - Árboles de Decisión ID3 02

Vídeo donde se explica la teoría de los árboles de decisión, en especial el cálculo de la ganancia, la entropía y la información que se usará para saber qué atributo será el elegido en cada momento para construir las ramas del árbol de decisión. También se mostrará el algoritmo ID3, que es el más sencillo que permite crear árboles de decisiones efectivos.

https://www.youtube.com/watch?v=PxPKZA87EXU

PDF con las Diapositivas de la Presentación

Vídeo Nº 176: IA Probabilidad - Árboles de Decisión ID3 01

Vídeo introductorio a los árboles de decisión, en el que se mostrará con ejemplos qué son y en qué se basan. Son una técnica muy utilizada hoy día para toma de decisiones, y sun un enfoque mixto de lógica y probabilidad, ya que se usa estadística y teoría  de información para construir estos árboles que luego son fácilmente trasladables a reglas lógicas simbólicas.

https://www.youtube.com/watch?v=ioX_DlrgOLA

PDF con las Diapositivas de la Presentación