viernes, 28 de octubre de 2016

Vídeo Nº 115: IA Lógica - Inferencia 05 (DPLL y WalkSAT)

Se explican dos algoritmos (DPLL y WalkSAT) basados en el algoritmos de las tablas de verdad, también basados en vuelta atrás de PSR, y que son más efectivos ya que llevan a cabo ciertas mejoras para que la búsqueda tarde mucho menos. Se explican y se muestra su pseudocódigo. Estos algoritmos pueden determinar la satisfacibilidad de la base de conocimiento y se pueden usar en combinación con la resolución y los encadenamientos hacia delante y hacia atrás para obtener inferencia de forma efectiva con lógica de proposiciones.

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