Inteligencia en Redes de Comunicaciones

Razonamiento lgico

Julio Villena Romn

jvillena@it.uc3m.es

ndice
La programacin lgica Lgica de predicados de primer orden Sistemas inferenciales

2007 Julio Villena - 2

La programacin lgica
algoritmo

Mquina convencional (von Neumann)

datos

resultados

especificacin (reglas)

Sistema Basado en Conocimiento

datos (hechos)

resultados

Algoritmo = lgica + control

(Clculo de predicados como lenguaje de programacin, Kowalski 1974)

2007 Julio Villena - 3

Fundamentos de la lgica formal

Inferencia = razonamiento formalmente vlido Razonamiento: tipo de pensamiento que consiste en obtener una conclusin a partir de unas premisas Formal: atencin a la forma (abstraccin del contenido) Vlido: si las premisas son verdaderas, la conclusin tambin lo ser ( deductivo)
2007 Julio Villena - 4

Definicin
La lgica es la disciplina que se preocupa de estudiar los aspectos funcionales de las inferencias
(Los aspectos procesales son estudiados por la informtica y la psicologa)

2007 Julio Villena - 5

Lgica de predicados de primer orden

Un predicado representa una propiedad o relacin de un determinado objeto del universo del discurso Un predicado de primer orden es aquel que se refiere a propiedades de objetos y relaciones entre ellos
rubia(sara). moreno(carlos). noviazgo(sara,carlos). primos(X,Y):-progenitor(A,X),progenitor(B,Y),hermanos(A,B).

La lgica de predicados de primer orden estudia razonamientos de tipo deductivo, exactos (true/false) y basados en predicados de primer orden
2007 Julio Villena - 6

Alfabeto de la lgica
Smbolos de constantes, variables, predicados y funciones Conectivas
negacin conjuncin disyuncin condicional bicondicional

Cuantificadores
existencial universal

Smbolos auxiliares
2007 Julio Villena - 7

Interpretacin y asignacin
Interpretacin: correspondencia entre smbolos y elementos de la conceptuacin Asignacin: asociar elementos del universo a las variables de las sentencias Si una sentencia S es verdadera o falsa bajo una cierta interpretacin I y una asignacin A se representa

2007 Julio Villena - 8

Implicacin y equivalencia lgica

{S1, S2, Sn} implica lgicamente a S:

Razonamiento deductivo: las premisas implican lgicamente la conclusin S1 y S2 son sentencias equivalentes

2007 Julio Villena - 9

Equivalencias lgicas bsicas

Doble negacin Leyes de De Morgan

Leyes distributivas

Reduccin al absurdo
2007 Julio Villena - 10

Reglas de inferencia
Las reglas de inferencia son esquemas bsicos de la forma que encadenndolos sirven para hacer razonamientos deductivos en varios pasos (siguiendo un proceso)
modus ponens P1: A B P2: A C: B modus tollens P1: A B P2: B C: A
2007 Julio Villena - 11

Reglas de resolucin y refutacin

Resolucin:

Se utiliza para encadenar hechos y obtener conclusiones de forma deductiva

Refutacin:

Se utiliza para comprobar si una determinada conclusin es vlida y, en su caso, qu valores de variables la hacen vlida
2007 Julio Villena - 12

Forma clausulada
Para facilitar el procesamiento computacional y poder aplicar la regla de resolucin se usa la forma clausulada:

Procedimiento para pasar a forma clausulada:

eliminar condicionales y bicondicionales introducir negaciones independizar variables eliminar existencial y universal distribuir sobre renombrar variables

Clusulas de Horn: mximo un literal positivo

2007 Julio Villena - 13

Sistemas inferenciales/de produccin

{reglas de inferencia, estrategia de control} Ejecutan procesos inferenciales:
basados en una base de datos (sentencias) y partiendo de un estado inicial (premisas) aplicando operadores (reglas de inferencia) van obteniendo conclusiones

Razonamiento montono (las conclusiones que se van

obteniendo son siempre definitivas)

2007 Julio Villena - 14

Reglas
A1 op1 A2 op2 . . . opn-1 An => B
Reglas de implicacin: si antecedentes consecuente Reglas de activacin: si condiciones accin Reglas causales: si causa efecto

deductivas puede admitirse incertidumbre

Reglas de diagnstico: si efecto

posible causa

no deductivas (razonamiento basado en hiptesis) siempre hay incertidumbre

2007 Julio Villena - 15

Consistencia y completitud
Consistencia: toda conclusin C obtenida es tal que las premisas implican a C Completitud: si las premisas implican a C entonces el proceso que genera el sistema es tal que en alguno de sus estados est incluida C
(permite obtener todas las conclusiones posibles)

2007 Julio Villena - 16

Asuncin de mundo cerrado

Todo lo que no figura explcitamente como un hecho y tampoco se puede deducir, es falso

Muy importante!
(como la presuncin de inocencia)

2007 Julio Villena - 17

Prolog
La lgica proporciona:
un lenguaje base para la representacin del conocimiento modelos para el razonamiento

Prolog es:
una sintaxis para la construccin de sistemas expertos una herramienta basada en el lenguaje de la lgica, con muchas versiones:
Prolog - 1 0(1975 - 7 9), Prolog II (1981) SICStus, GNU Prolog, SWI Prolog, Ciao Prolog
2007 Julio Villena - 18