La lógica es la capacidad humana que nos permite generar nueva información a partir de una previa y tomar decisiones que podemos calificar de "inteligentes". La inteligencia artificial también puede, utilizando varias formalizaciones para hacer riguroso este tipo de proceso, tomar decisiones lógicas para resolver problemas.
Este tema trata sobre algoritmos lógicos, que son aquellos que se apoyan en diversos tipos de formalizaciones matemáticas que buscan reproducir algunos de los aspectos más relevantes de la lógica humana. Particularmente nos centraremos en dos
aplicaciones: la de los agentes inteligentes basados en lógica proposicional, que buscan cómo utilizar automáticamente las reglas de la lógica para inferir y aplicar conocimiento nuevo; y la de los sistemas de inferencia difusos, que buscan utilizar una noción más
flexible de la lógica para construir modelos que capturen la intuición humana y puedan hacer uso de esta de manera automática, pero comprensible. El contenido está dividido en dos niveles: una primera mitad introductoria, que tiene por objetivo presentar el marco a nivel muy general, incluyendo algunas aplicaciones, y una segunda un poco más avanzada que presenta la descripción formal (aunque a un nivel muy ligero) de la lógica proposicional y de la lógica difusa, culminando con una aplicación práctica para la construcción de sistemas de inferencia difusa.