miércoles, 30 de noviembre de 2016

Vídeo Nº 122: IA Probabilidad - Redes Bayesianas 27 (Probabilidad y Lógica)

Vídeo introductorio sobre las técnicas que permiten mezclar la lógica con la probabilidad y las redes bayesianas. Esto permite tratar la incertidumbre desde el enfoque lógico y mejorar la capacidad expresiva de las redes bayesianas. Se verán los Modelos de Probabilidad Relacional (RPM) y los Modelos de Probabilidad de Universos Abiertos (OUPM).

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

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

"Inteligencia Artificial - Técnicas, Métodos y Aplicaciones"
José T. Palma Méndez y Roque Marín Morales
Editorial McGraw Hill
ISBN: 978-84-481-5618-3



viernes, 11 de noviembre de 2016

Vídeo Nº 121: IA Lógica - Agentes LPO

Agentes reactivos basados en modelos para la lógica de primer orden, sobre todo comparándolos con los agentes lógicos basados en la lógica de proposiciones. También se hablará al final sobre la ingeniería del conocimiento y los pasos generales a realizar para crear programas lógicos.

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

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

"Inteligencia Artificial - Técnicas, Métodos y Aplicaciones"
José T. Palma Méndez y Roque Marín Morales
Editorial McGraw Hill
ISBN: 978-84-481-5618-3



Vídeo Nº 120: IA Lógica - Inferencia 02 (Encadenamientos)

Segundo vídeo sobre inferencia en lógica de primer orden. En este caso, encadenamientos hacia delante y hacia atrás, siendo este último la base de la inferencia en los lenguajes lógicos como Prolog. Los encadenamientos son casos específicos y más eficientes de resolución, a costa de tener que usar sólo cláusulas de Horn y otras mejoras para reducir su coste computacional.

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

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

"Inteligencia Artificial - Técnicas, Métodos y Aplicaciones"
José T. Palma Méndez y Roque Marín Morales
Editorial McGraw Hill
ISBN: 978-84-481-5618-3



Vídeo Nº 119: IA Lógica - Inferencia 01 (Deducción y Resolución)

Resumen de dos métodos de inferencia de primer orden: deducción y sus reglas de inferencia, que no se suele usar mucho en IA; y resolución (forma normal prenexa, skolemización, forma clausulada, unificación), que es el método más usado en IA y que es la base de los encadenamientos hacia delante y hacia atrás. El problema es que tiene un rendimiento muy pobre y un alto costo computacional, por lo que también se nombrarán algunos métodos para mejorar su eficiencia.

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

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

"Inteligencia Artificial - Técnicas, Métodos y Aplicaciones"
José T. Palma Méndez y Roque Marín Morales
Editorial McGraw Hill
ISBN: 978-84-481-5618-3



viernes, 4 de noviembre de 2016

Vídeo Nº 118: IA Lógica - Lógica de Primer Orden 02 (Semántica)

Explicación de la semántica en la lógica de primer orden, en especial cómo se construye un mundo, cómo se calcula los valores de verdad de las fórmulas, las equivalencias en las que intervienen los cuantificadores y la semántica de base de datos, que suele simplificar los cálculos de inferencia.

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

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

"Inteligencia Artificial - Técnicas, Métodos y Aplicaciones"
José T. Palma Méndez y Roque Marín Morales
Editorial McGraw Hill
ISBN: 978-84-481-5618-3



miércoles, 2 de noviembre de 2016

Vídeo Nº 117: IA Lógica - Lógica de Primer Orden 01 (Léxico y Sintaxis)

Motivación para pasar ampliar la lógica de proposiciones e introducción a la lógica de primer orden, explicando su léxico (símbolos, alfabeto) y su sintaxis (gramática).

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

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

"Inteligencia Artificial - Técnicas, Métodos y Aplicaciones"
José T. Palma Méndez y Roque Marín Morales
Editorial McGraw Hill
ISBN: 978-84-481-5618-3