viernes, 11 de noviembre de 2016

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



No hay comentarios:

Publicar un comentario