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



No hay comentarios:

Publicar un comentario