Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

El objetivo del Tema 4 es presentar una panormica general sobre cmo se pueden realizar razonamientos lgicos en un sistema software.

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Esta es la tabla de contenidos del tema: se estudia la programacin lgica, la lgica de predicados de primer orden y cmo funcionan los sistemas inferenciales (o motores de inferencias lgicas).

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

La programacin lgica surge como una generalizacin de la mquina de von Neuman tradicional de algoritmo+datos producen resultados, de tal forma que ahora los programas son hechos+reglas, y el motor de inferencias es el que produce unos resultados aplicando razonamientos.

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Las inferencias (o razonamientos) son los fundamentos de la lgica formal.

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

El objetivo de la lgica es estudiar los aspectos funcionales (por qu) de las inferencias. Los aspectos procesales (cmo) los estudian la psicologa (en seres vivos) y la informtica (en ordenadores).

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Conceptos esenciales de la lgica: predicados de primer orden.

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Esta diapositiva presenta el alfabeto de la lgica: smbolos ms conectivas ms cuantificadores y smbolos auxiliares.

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Los conceptos tericos de interpretacin y asignacin son los soportes bsicos de la lgica clsica.

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Los razonamientos se basan en que una serie de premisas impliquen o no una determinada conclusin.

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Lista (reducida) de equivalencias lgicas bsicas: doble negacin, leyes distributivas, leyes de De Morgan (distributivas del AND y OR), cuantificacin de un existencial, reduccin al absurdo (si negando algo se llega a una contradiccin, es que eso era afirmativo).

10

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Las reglas de inferencia son esquemas de razonamiento tipo si A y B y C entonces Conclusin que, encadenndolos, sirven para hacer razonamientos deductivos en varios pasos.

11

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Los razonamientos de la lgica clsica modus ponens y modus tollens son los ejemplos tpicos de inferencias deductivas: Todos los hombres (A) son mortales (B); Scrates es un hombre (A); luego Scrates es mortal (B).

12

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Las reglas lgicas de resolucin y refutacin son muy importantes porque son la base de los motores de inferencias basados en el lenguaje de la lgica. La resolucin permite eliminar hechos combinando diferentes afirmaciones y encadenar resultados. La refutacin es una reduccin al absurdo: si cumpliendo la premisa y negando la conclusin llegamos a un imposible, no sirve otra cosa que afirmar que la premisa implica la conclusin.

13

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Una clusula es una regla lgica de la forma A o B o C y D o E o F. La forma clausulada es el procedimiento tpico de los motores de inferencia para poder aplicar la regla de resolucin. Las clusulas de Horn son clusulas con mximo un literal positivo, que aplicando las equivalencias lgicas bsicas, son lo mismo que reglas de la forma si A y B y C entonces conclusin.

14

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Los sistemas inferenciales, tambin llamados motor de inferencias o sistemas de produccin, son aquellos que ejecutan procesos inferenciales. Llevan a cabo un razonamiento montono, que significa que las conclusiones que van obteniendo son siempre definitivas y que conclusiones futuras no invalidan conclusiones anteriores.

15

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Hay dos tipos de reglas segn su direccin (de izquierda a derecha o viceversa): causales o de diagnstico.

16

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Todo sistema inferencial debe cumplir obligatoriamente las propiedades de consistencia y completitud para que sea utilizable.

17

Inteligencia en Redes de Comunicaciones 04 Razonamiento lgico

Segn lo definido por la lgica clsica, para que los razonamientos sigan siendo vlidos en ausencia de informacin, los sistemas inferenciales deben asumir la hiptesis de mundo cerrado: todo lo que no se sabe, es falso. Si no fuera as, el sistema de inferencias podra llegar a contradicciones y no aplicar razonamientos montonos.

18