REGLAS DE INFERENCIA

REGLAS DE INFERENCIA
LOGICA DE PREDICADOS
Modificado y adaptado: Modificado y adaptado:
LEONARDO BERNAL ZAMORA LEONARDO BERNAL ZAMORA
QUE ES INFERENCIA?
QUE ES INFERENCIA?
Inferir es concluir o decidir a
partir de alo conocido o
asu!ido" llear a una
conclusi#n$ A su %e&' Ra&onar
es pensar co(erente )
l#ica!ente" esta*lecer
inferencias o conclusiones a
partir de (ec(os conocidos o
asu!idos$
CO+O SE PUEDE INFERIR?
CO+O SE PUEDE INFERIR?
Reali&ar inferencias sini,ca
deri%ar nue%os (ec(os a partir
de un con-unto de (ec(os
conocidos co!o %erdaderos$ La
l#ica de predicados
proporciona un rupo de relas
s#lidas' con las cuales se
pueden reali&ar inferencias$
QUE SON REGLAS DE
QUE SON REGLAS DE
INFERENCIA?
INFERENCIA?
+ecanis!os sint.cticos /ue per!iten
deducir f$*$d apartir de otras f$*$d
Fuente: Lgica una sntesis didctica: Fabio Gutirrez Correal
Modus Ponens
Modus Ponens
0+P1
0+P1

de 0P Q1 ) P' se deduce Q

conocida co!o la rela de la

a,r!aci#n del antecedente

E-e!plo2
Si el sol *rilla' +ar3a est. en la
pla)a$
El sol *rilla$
Por lo tanto' +ar3a est. en la
pla)a$
Modus Tollens
Modus Tollens
0+41
0+41

de 0P Q1 ) 5Q' se in,ere 5P

conocida co!o neaci#n del

consecuente

E-e!plo2
Si el sol *rilla' +ar3a est. en la
pla)a$
+ar3a no est. en la pla)a$
Lueo' el sol no *rilla$
Silogismo Hipottico
Silogismo Hipottico
0S61
0S61

de 0P Q1 ) 0Q R1' deduci!os 0P R1$

se conoce co!o ra&ona!iento en cadena

E-e!plo2
Si el sol *rilla' +ar3a est. en la pla)a
Si +ar3a est. en la pla)a' est. nadando$
Si est. nadando' estar. cansada esta
noc(e$
Por lo tanto' si el sol *rilla' +ar3a estar.
cansada esta noc(e$
Silogismo Disyuntivo
Silogismo Disyuntivo
0SD1
0SD1

de 0P % Q1 ) 5P' deduci!os /ue

Q$

5P puede ser ta!*i7n 5Q$

E-e!plo2
El sol *rilla o est. llo%iendo
El sol no *rilla$
Por lo tanto est. llo%iendo
Conjuncin
Conjuncin
0Con-1
0Con-1

de P ) Q' deduci!os P 8 Q

E-e!plo2
El sol *rilla
Est. llo%iendo
Por lo tanto' el sol *rilla ) est.
llo%iendo
Simplifcacin
Simplifcacin
0Si!p1
0Si!p1

De P 8 Q deduci!os P

E-e!plo2
Est. llo%iendo ) el sol *rilla
Por lo tanto' est. llo%iendo
Adicin
Adicin
0Ad1
0Ad1

De P inferi!os P % Q

si sa*e!os /ue P es %erdadera' P

% Q' P % R' P % S9 lo ser.
ta!*i7n

E-e!plo2
Est. llo%iendo
Por lo tanto' est. llo%iendo o la
luna es de /ueso$
Dilema constructivo
Dilema constructivo
0DC1
0DC1

de 0P Q1 8 0R S1 ) 0P % R1
inferi!os 0Q % S1$

E-e!plo2
Si :uan se %a a Alas;a' se
conelar. en in%ierno$
Si se %a a +ia!i' se asar. en
%erano$
:uan se %a a Alas;a o a +ia!i$
Por lo tanto' se conelar. en
in%ierno o se asar. en %erano
Prue*as For!ales de <alide&
Prue*as For!ales de <alide&
de Aru!entos
de Aru!entos
Fuente: Lgica una sntesis didctica: Fabio Gutirrez Correal
Fuente: Lgica una sntesis didctica: Fabio Gutirrez Correal
O4RA REGLA DE
O4RA REGLA DE
INFERENCIA
INFERENCIA

La resoluci#n es una t7cnica

poderosa para pro*ar teore!as
en l#ica ) constitu)e la t7cnica
*.sica de inferencia en PROLOG'
un lenua-e /ue !anipula en
for!a co!putacional la l#ica de
predicados$
Resolucin
Resolucin

Si A v !" es verdadero y #! v C"

es verdadero$ entonces A v C"
tam%in es verdadero&

Utili&a refutaci#n para co!pro*ar

una deter!inada sentencia$ La
refutaci#n intenta crear una
contradicci#n con la neaci#n de
la sentencia oriinal'
de!ostrando' por lo tanto' /ue la
sentencia oriinal es %erdadera$
RESOLUCION
RESOLUCION
Resoluci#n
Resoluci#n

Es un !ecanis!o de prue*a /ue opera

so*re estatutos /ue (an sido con%ertidos
a for!a clausal ) produce prue*as por
refutaci#n' es decir /ue para pro*ar si un
estatuto es %erdadero 0de!ostrar /ue es
%.lido 1 intenta !ostrar /ue la neaci#n
de ese estatuto produce una
contradicci#n$
forma clausal = forma clausulada
CNF : conjuntive normal form
Demostrar que la negacin de
una sentencia genera una
contradiccin con los hechos
conocidos (no es satisfacible).
Resoluci#n
Resoluci#n

La resoluci#n fue introducida co!o una rela

de inferencia

Resu!e !uc(os es/ue!as de inferencia

cl.sicos$

Es un procedi!iento co!pleto de inferencia'

por /ue solo con ella pueden dise=arse
siste!as deducti%os consistentes )
co!pletos$

Se aplica a sentencias /ue tienen /ue estar

escritas for!a clausulada$

Para toda sentencia se puede encontrar una

sentencia e/ui%alente en for!a clausulada$

Una vez que tenemos las clusulas, Una vez que tenemos las clusulas,
pueden utilizarse en la resolucin para pueden utilizarse en la resolucin para
generar pruebas. generar pruebas.
Aplicaci#n de la rela de
Aplicaci#n de la rela de
resoluci#n
resoluci#n

La propiedad e>traordinaria de la rela de

resoluci#n es /ue casi todas las relas de
inferencia se reducen a ella si pre%ia!ente se
escri*en las pre!isas en for!a clausulada$
Forma Normal m!licativa
Modus Ponens P Q
P
Q
Modus Tollens P Q
Q
P
Encadenamiento P Q
Q R
P R
Forma Normal Conjuntiva
Modus Ponens P Q
P
Q
Modus Tollens P Q
Q
P
Encadenamiento P Q
Q R
P R
Aplicaci#n de la rela de
Aplicaci#n de la rela de
resoluci#n
resoluci#n
Asu!ir /ue se tienen un con-unto de cl.usulas F ) el estatuto a pro*ar P

Con%ertir todos los estatutos de F a la For!a clausal

Near P ) con%ertirla a for!a clausal$ Arear al con-unto de cl.usulas

o*tenidas en el paso anterior

Repetir (asta /ue una contradicci#n sea alcan&ada2

Seleccionar dos cl.usulas ) lla!arlas cl.usulas
padre
Resol%erlas$ Para o*tener la cl.usula lla!ada
resolvente$ ?uscar en las cl.usulas padre un par
de literales 4@ ) 4@ de tal for!a /ue 4@
pertenece a una ) 4@ a la otra' eli!inar a!*as
literales ) crear el resol%ente$
Si el resol%ente es la cl.usula %ac3a 0FALSE1' la
contradicci#n (a sido encontrada$ De otra
!anera el resol%ente se area al con-unto de
cl.usulas$
4eore!a A A>io!as 0co!o f#r!ulas *ien for!adas' f*f1
4eore!a A A>io!as 0co!o cl.usulas1
+7todo de resoluci#n por refutaci#n
Uni,caci#n
De!ostraci#n auto!.tica de teore!as
A
A
Lo /ue /uere!os (acer $$$
:ore Ca*rera G.!e&
Departa!ento de Infor!.tica ) Siste!as
Uni%ersidad de Las Pal!as de Gran Canaria
B 4odos los derec(os reser%ados
E-e!plo
E-e!plo
Axiomas:
Es ileal /ue un turista %enda (uacos en Rusia
>') 4urista0>1 C (uacos0)1 C
<ender0>')1DEInfractor0>1
Su!ac es un turista en Rusia
4urista0Su!ac1
Cada uno de los turistas en Rusia %enden
alunos (uacos
>') 4urista0>1 C 6uacos0)1 C <ende0>')1
FEs Su!ac un infractor?
Infractor0Su!ac1
E-e!plo
E-e!plo
@$ Eli!inaci#n Uni%ersal
>') 4urista0>1 C 6uacos0)1 C
<ender0>')1DEInfractor0>1
4urista0>1 C 6uacos0)1 C
<ender0>')1DEInfractor0>1
>') 4urista0>1 C 6uacos0)1 C <ende0>')1
4urista0>1 C 6uacos0)1 C <ende0>')1
E-e!plo
E-e!plo
G$ Aplicando resoluci#n
Turista(x) Huacos(y) Vender(x,y)=>Infractor(x) Turista(x) Huacos(y) Vende(x,y)
Infractor(x) Turista(Sumac) Infractor(Sumac)
FALS
E-e!plo Co!pleto
:ac; es due=o de un perro
Quien es due=o de un perro es un a!ante de los ani!ales
NinHn a!ante de los ani!ales !ata a un ani!al
O :ac; o Curiosidad !at# al ato' cu)o no!*re era 4una
F+at# Curiosidad al ato?
Programacin Lgica: !orge "abrera #$me%. De&artamento de 'nform$tica
( )istemas. *ni+ersidad de ,as Palmas de #ran "anaria.
Ref: Programacin Lgica
A$ :ac; es due=o de un perro
?$ Quien es due=o de un perro es un a!ante de los ani!ales
C$ NinHn a!ante de los ani!ales !ata a un ani!al
D$ O :ac; o Curiosidad !at# al ato' cu)o no!*re era 4una
E$ F+at# Curiosidad al ato?
@$ E>presi#n co!o predicados de pri!er orden
A$ 0I1 perro0I1 due=o0-ac;' I1
?$ 0I1 J0K1 perro0K1 due=o0I' K1L naturalista0I1
C$ 0I1 0K1 naturalista0I1 ani!al0K1 !ata0I'K1
D@$ !ata0-ac;' tuna1 !ata0curiosidad' tuna1
DG$ ato0tuna1
E$ !ata0curiosidad' tuna1
Es necesario a=adir /ue los atos son ani!ales
F$ 0I1 ato0I1 ani!al0I1
Ref: Programacin Lgica
G$ 4ransfor!aci#n a cl.usulas
Neaci#n del teore!a2
E$ !ata0curiosidad' tuna1
G$@ Eli!inaci#n de la i!plicaciones
?$ 0I1 J0K1 perro0K1 due=o0I' K1L naturalista0I1
C$ 0I1 0K1 naturalista0I1 ani!al0K1 !ata0I'K1
F$ 0I1 ato0I1 ani!al0I1
?$ 0I1 J0K1 perro0K1 due=o0I' K1L naturalista0I1
C$ 0I1 0K1 J naturalista0I1 ani!al0K1L !ata0I'K1
F$ 0I1 ato0I1 ani!al0I1
Ref: Programacin Lgica
G$ 4ransfor!aci#n a cl.usulas
G$G +o%er las neaciones (asta las f#r!ulas at#!icas
?$ 0I1 J0K1 perro0K1 due=o0I' K1L naturalista0I1
C$ 0I1 0K1 J naturalista0I1 ani!al0K1L !ata0I'K1
?$ 0I1 J0K1 perro0K1 due=o0I' K1L naturalista0I1
C$ 0I1 0K1 naturalista0I1 ani!al0K1 !ata0I'K1
Ref: Programacin Lgica
G$ 4ransfor!aci#n a cl.usulas
G$M Reno!*rar %aria*les
A$ 0I1 perro0I1 due=o0-ac;' I1
?$ 0K1 J0N1 perro0N1 due=o0K' N1L naturalista0K1
C$ 0U1 0O1 naturalista0U1 ani!al0O1 !ata0U'O1
F$ 0C1 ato0C1 ani!al0C1
G$P Eli!inar los cuanti,cadores e>istenciales
A$ 0I1 perro0I1 due=o0-ac;' I1
A$ perro0a1 due=o0-ac;' a1
donde a es una funci#n de S;ole! constante
Ref: Programacin Lgica
G$ 4ransfor!aci#n a cl.usulas
G$Q Despla&ar los cuanti,cadores uni%ersales (asta
el co!ien&o de las f#r!ulas
?$ 0K1 J0N1 perro0N1 due=o0K' N1L
naturalista0K1
?$ 0K1 0N1 perro0N1 due=o0K' N1
naturalista0K1
G$R Con%ertir los operadores AND en los !.s
e>ternos
G$S Eli!inar los cuanti,cadores uni%ersales
G$T Eli!inar los conectores AND
Ref: Programacin Lgica
G$ 4ransfor!aci#n a cl.usulas
Con-unto de cl.usulas resultante
A$@ perro0a1
A$G due=o0-ac;'a1
?$ perro0N1 due=o0K' N1 naturalista0K1
C$ naturalista0U1 ani!al0O1 !ata0U'O1
D@$ !ata0-ac;' tuna1 !ata0curiosidad' tuna1
DG$ ato0tuna1
E$ !ata0curiosidad' tuna1
F$ ato0C1 ani!al0C1
Programacin Lgica: !orge "abrera #$me%. De&artamento de 'nform$tica
( )istemas. *ni+ersidad de ,as Palmas de #ran "anaria.
M$ Resoluci#n por refutaci#n
!ata0curiosidad' tuna1 !ata0-ac;' tuna1 !ata0curiosidad' tuna1
!ata0-ac;' tuna1
naturalista0U1 ani!al0O1 !ata0U'O1
naturalista0-ac;1 ani!al0tuna1
perro0N1 due=o0K' N1 naturalista0K1
perro0N1 due=o0-ac;' N1 ani!al0tuna1 due=o0-ac;' a1
perro0a1 ani!al0tuna1
ato0C1 ani!al0C1
ato0tuna1 perro0a1 ato0tuna1
perro0a1
perro0a1
U V
JU -ac;' O tunaL
JK -ac;L
JN aL
JC aL
O*tenci#n de respuestas
Procedi!iento A2
@$ De!ostrar el teore!a por el procedi!iento )a
e>plicado$
G$ A=adir al con-unto de cl.usulas inicial' no el
teore!a neado 0p0I11' sino la dis)unci#n de 7ste
con su neado' es decir' 0p0I1 p0I11 0una
tautolo3a1$
M$ Seuir los !is!os pasos /ue condu-eron a la
de!ostraci#n del teore!a$ Dado /ue la cl.usula del
teore!a contiene una tautolo3a no se concluir. en el
resol%ente nulo' sino /ue se concluir. en la cl.usula
del teore!a$
P$ La respuesta es el resol%ente ,nal$
E-e!plo2
A>io!as2 A@$ 0I10 -uea0pedro' I1 -uea0luis' I11
AG$ -uea0pedro' fHt*ol1$
4eore!a2 4$ 0I1 -uea0luis' I1
El pro*le!a consiste en de!ostrar el teore!a )'
ade!.s' en sa*er a /u7 -uea luis$
E>presados en for!a clausular ) neando el
teore!a2
A@$ -uea0pedro' I1 -uea0luis' I11
AG$ -uea0pedro' fHt*ol1$
4$ -uea0luis' K1
El .r*ol de refutaci#n ser3a2
-uea0luis' K1 -uea0pedro' I1 -uea0luis' I1
-uea0pedro' fHt*ol1$
-uea0pedro' I1
JL
JKIL
JIfHt*olL
K la o*tenci#n de la respuesta ser3a2
-uea0luis' K1 -uea0luis' K1 -uea0pedro' I1 -uea0luis' I1
-uea0pedro' fHt*ol1$ -uea0pedro' I1 -uea0luis' I1
-uea0luis' fHt*ol1
JKIL
JIfHt*olL
Puede enerali&arse el procedi!iento anterior de
!anera /ue en luar de incluir la tautolo3a 0p0I1
p0I11' se inclu)a la cl.usula2
0p0I1 respuesta0I11
donde WrespuestaX es un predicado co!od3n' /ue no
puede aparecer en el con-unto de a>io!as$
Dado /ue este predicado no aparece en el resto del
con-unto es i!posi*le /ue pueda desaparecer del
.r*ol !odi,cado de refutaci#n )' por tanto' no se
concluir. en la cl.usula nula$
O*tenci#n de respuestas
Procedi!iento ?2
@$ A=adir al con-unto de cl.usulas de los a>io!as la
cl.usula 0p0I1 respuesta0I11$ El predicado
co!od3n de*e contener tantos t7r!inos co!o
respuestas se deseen' p$e$
0p0I'K1 respuesta0I'K11
G$ Reali&ar la de!ostraci#n del teore!a' utili&ando
co!o o*-eti%o no la cl.usula nula' sino una cl.usula
/ue contiene sola!ente el predicado co!od3n
WrespuestaX$
M$ Las respuestas son los t7r!inos del predicado
co!od3n en el estado ,nal$
Con este procedi!iento' la o*tenci#n de la
respuesta ser3a2
-uea0luis' K1 respuesta0K1
-uea0pedro' I1 -uea0luis' I1
-uea0pedro' fHt*ol1$ -uea0pedro' I1 respuesta0I1
respuesta0fHt*ol1
JKIL
JIfHt*olL
Referencias
Referencias

Funda!entos de la Prora!aci#n L#ica$

:ore Ca*rera G.!e&$ Departa!ento de
Infor!.tica ) Siste!as$ Uni%ersidad de Las
Pal!as de Gran Canaria$ B 4odos los
derec(os reser%ados

Inferencia en L#ica de Predicados$ +$

Sa!uel Oporto D3a&

Uni%ersidad de Los Andes$ Facultad de

Inenier3a$ Centro de Si!ulaci#n ) +odelos
0CESI+O1$ +aestr3a de +odelado )
Si!ulaci#n de Siste!as$ Presentaci#n de la
tesis de !aestr3a de Luis Astora