Vídeo Nº 045: IA Lógica - Inferencia 03 (Resolución)

Tercer método de inferencia en lógica de proposiciones. La resolución es uno de los métodos más utilizados en programación lógica y tiene su importancia, por eso se analiza paso a paso en este vídeo. Nos permite definir una base de conocimiento de forma sencilla y, con una simple regla de resolución, se puede aumentar la base de conocimiento mediante le demostración por contradicción.

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

PDF con las Diapositivas de la Presentación