SISTEMASDERAZONAMIENTO

LOGICO
ASESOR:ALEJANDRALILTORRESJIMNEZ
Temario
3.1Reglasdeproduccin.
3.2Sintaxisdelasreglasdeproduccin.
-A1A2...An=>C
-representacinobjeto-atributo-valor
3.3SemnPcadelasreglasdeproduccin
3.3.1Conocimientocausal.
3.3.2ConocimientodediagnsPco.
3.4ArquitecturadeunsistemadeProduccin(SP)(Sistemasbasados
enreglas,SBR).
3.4.1Hechos
3.4.2Basedeconocimientos.
3.4.3Mecanismodecontrol.
3.5CiclodevidadeunsistemadeProduccin.
Programacinlogica
La programacin lgica
!"#$%&'()*&+,&)%*&'-(
.+*&(/,$0'&&1
'-2*3%40*
5'4*6
3,6$-4'5*6
,67,)%8%)')%9&(.3,2-'61
:%64,0'(;'6'5*(,&(
<*&*)%0%,&4*
,67,)%8%)')%9&(.3,2-'61
5'4*6(.=,)=*61
3,6$-4'5*6
Algoritmo = lgica + control
(Clculo de predicados como lenguaje de programacin, Kowalski 1974)
IRC 2009 - JVR - 2
Fundamentosdelalgicaformal
Inferencia=razonamientoformalmentevlido
Razonamiento:Ppodepensamientoqueconsisteen
obtenerunaconclusinaparPrdeunaspremisas.

Formal: atencin a la forma (abstraccin del

contenido).

Vlido: si las premisas son verdaderas, la conclusin

tambinloser(deducPvo)
Denicin
La lgica es la disciplina que se
preocupa de estudiar los aspectos
funcionalesdelasinferencias

(Losaspectosprocesalessonestudiadospor
lainform4caylapsicologa)
Lgicadepredicadosdeprimerorden
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). 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
IRC 2009 - JVR - 5
Alfabetodelalgica
Alfabeto de la lgica
! Smbolos de constantes, variables, predicados y
funciones
! Conectivas
"negacin
"conjuncin !
"disyuncin " "disyuncin "
"condicional !
"bicondicional #
! Cuantificadores
"existencial $
"universal %
! Smbolos auxiliares
IRC 2009 - JVR - 6
Interpretacinyasignacin
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
IRC 2009 - JVR - 7
Implicacinyequivalencialgica
Implicacin y equivalencia lgica
{S1, S2, Sn} implica lgicamente a S:
!Razonamiento deductivo: las premisas implican !Razonamiento deductivo: las premisas implican
lgicamente la conclusin
S1 y S2 son sentencias equivalentes
IRC 2009 - JVR - 8
Equivalenciaslgicasbasicas
Equivalencias lgicas bsicas
Doble negacin
Leyes de De Norgan
Leyes distributivas Leyes distributivas
Reduccin al absurdo
IRC 2009 - JVR - 9
Reglasdeinferencia
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
IRC 2009 - JVR - 10
Reglasderesolucinyrefutacin
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
IRC 2009 - JVR - 11
Formaclausulada
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 "eliminar condicionales y bicondicionales
"introducir negaciones
"independizar variables
"eliminar existencial y universal
"distribuir ! sobre "
"renombrar variables
! Clusulas de Horn: mximo un literal positivo
IRC 2009 - JVR - 12
Sistemasinferenciales/deproduccin
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)
IRC 2009 - JVR - 13
Reglas
Reglas
A
1
op
1
A
2
op
2
. . . op
n-1
A
n
=> B
Reglas causales: si causa !efecto
deductivas deductivas
puede admitirse incertidumbre
Reglas de diagnstico: si efecto !posible causa
no deductivas (razonamiento basado en hiptesis)
siempre hay incertidumbre
IRC 2009 - JVR - 14
ConsistenciaycomplePtud
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)
IRC 2009 - JVR - 15
Asuncindemundocerrado
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)
IRC 2009 - JVR - 16