Introdu c ao

Sintaxe

Sem antica

Infer encia

L ogica de Predicados
Prof. Dr. Silvio do Lago Pereira
Faculdade de Tecnologia de S ao Paulo

slago@ime.usp.br

Introdu c ao

Sintaxe

Sem antica

Infer encia

Sum ario

1 2 3 4

Introdu c ao Sintaxe Sem antica Infer encia

Introdu c ao

Sintaxe

Sem antica

Infer encia

Introdu c ao
H a v arios argumentos que n ao podem ser adequadamente formalizados e validados em l ogica proposicional. Exemplo S ocrates e homem. Todo homem e mortal. Logo, S ocrates e mortal.
intuitivamente, podemos ver que esse argumento e v alido sua formaliza c ao em l ogica proposicional resulta em {p , q } r por em, n ao h a como mostrar que {p , q } r e um argumento v alido a validade desse argumento deriva do signicado da palavra todo para tratar esse argumento precisamos da l ogica de predicados

Introdu c ao

Sintaxe

Sem antica

Infer encia

Sintaxe

Al em dos conectivos usados na l ogica proposicional (, , e ), as f ormulas da l ogica de predicados tamb em s ao compostas por: objetos predicados vari aveis quanticadores

Introdu c ao

Sintaxe

Sem antica

Infer encia

Objetos
Um objeto e qualquer coisa a respeito da qual precisamos dizer algo Na l ogica de predicados, a no c ao de objeto e usada num sentido bastante amplo. Objetos podem ser: concretos: a B blia, a lua, ... abstratos: o conjunto vazio, a paz, ... ct cios: unic ornio, Saci Perer e, ... at omicos ou compostos: um teclado e composto de teclas nomes de objetos devem iniciar com min uscula e nomes diferentes denotam objetos diferentes

Introdu c ao

Sintaxe

Sem antica

Infer encia

Predicados
Um predicado denota uma rela c ao entre objetos num determinado contexto

A B C

sobre (a, b ) denota que o bloco a est a sobre o bloco b cor (b , azul ) denota que o bloco b tem cor azul maior (b , c ) denota que o bloco b e maior que o bloco c nomes de predicados tamb em devem iniciar com min uscula

Introdu c ao

Sintaxe

Sem antica

Infer encia

Vari aveis e quanticadores

Grande parte da expressividade da l ogica de predicados e devida ao uso dos conectivos l ogicos, que permitem formar sente cas compostas a partir de senten cas simples.
A B C

O bloco a est a sobre o bloco b , que est a sobre a mesa sobre (a, b ) sobre (b , mesa) Entretanto, o que realmente torna a l ogica de predicados mais expressiva que a l ogica proposicional s ao as vari aveis quanticadas

Introdu c ao

Sintaxe

Sem antica

Infer encia

Vari aveis e quanticadores

vari aveis permitem estabelecer fatos a respeito de objetos de um contexto, sem nome a-los explicitamente (nomes de vari aveis devem iniciar com mai uscula) o quanticador universal () permite estabelecer fatos a respeito dos objetos de um contexto, sem enumer a-los explicitamente quanticador existencial () permite estabelecer a exist encia de um objeto, sem identic a-lo explicitamente Todo bloco est a sobre alguma coisa (bloco ou mesa) X [bloco (X ) Y [sobre (X , Y ) (bloco (Y ) mesa(Y ))]]

Introdu c ao

Sintaxe

Sem antica

Infer encia

Formaliza c ao de argumentos

Usando a l ogica de predicados, o argumento S ocrates e homem. Todo homem e mortal. Logo, S ocrates e mortal. pode ser formalizado como:
{homem(socrates ), X [homem(X ) mortal (X )]} mortal (socrates )

Introdu c ao

Sintaxe

Sem antica

Infer encia

Sem antica
Uma interpreta c ao na l ogica de predicados consiste de: um dom nio D = um mapeamento que associa cada objeto a um elemento xo em D um mapeamento que associa cada predicado a uma rela c ao em D O quanticador denota uma conjun c ao Para D = {a, b , c }, a f ormula X [colorido (X )] denota a conjun c ao colorido (a) colorido (b ) colorido (c ) O quanticador denota uma disjun c ao Para D = {a, b , c }, a f ormula X [cor (X , azul )] denota a disjun c ao cor (a, azul ) cor (b , azul ) cor (c , azul ) Como ( ) ( ), e f acil ver que: X [cor (X , azul )] X [cor (X , azul )] X [cor (X , roxo )] X [cor (X , roxo )]

Introdu c ao

Sintaxe

Sem antica

Infer encia

Enunciados categ oricos

Para facilitar a formaliza c ao de argumentos na l ogica de predicados, destacamos quatro tipos de senten cas de especial interesse, denominadas enunciados categ origos: universal armativo universal negativo particular armativo particular negativo

Introdu c ao

Sintaxe

Sem antica

Infer encia

Enunciados categ oricos

Universal armativo e da forma X [p (X ) q (X )] estabelece que o conjunto p e um subconjunto do conjunto q

q p X

Exemplo: Todos os homens s ao mortais X [h(X ) m(X )] ou seja, para todo X , se X h ent ao X m

Introdu c ao

Sintaxe

Sem antica

Infer encia

Enunciados categ oricos

Universal negativo e da forma X [p (X ) q (X )] estabelece que os conjuntos p e q s ao disjuntos

p X

Exemplo: Nenhum homem e extra-terrestre X [h(X ) e (X )] ou seja, para todo X , se X h ent ao X e

Introdu c ao

Sintaxe

Sem antica

Infer encia

Enunciados categ oricos

Particular armativo e da forma X [p (X ) q (X )] estabelece que os conjuntos p e q t em interse c ao n ao-vazia

p X

Exemplo: Alguns homens s ao cultos X [h(X ) c (X )] ou seja, existe X tal que X h e X c

Introdu c ao

Sintaxe

Sem antica

Infer encia

Enunciados categ oricos

Particular negativo e da forma X [p (X ) q (X )] estabelece que existem elementos que est ao no conjunto p mas n ao est ao no conjunto q

p X

Exemplo: Alguns homens n ao s ao cultos X [h(X ) c (X )] ou seja, existe X tal que X h e X c

Introdu c ao

Sintaxe

Sem antica

Infer encia

Enunciados categ oricos

Reconhecer o tipo de uma senten ca facilita a sua tradu c ao para a linguagem da l ogica de predicados. Exemplos Toda cobra e venenosa Os rem edios s ao perigosos Nenhuma bruxa e bela N ao existe b ebado feliz Algumas pedras s ao preciosas Existem plantas que s ao carn voras Alguns pol ticos n ao s ao honestos H a aves que n ao voam

Introdu c ao

Sintaxe

Sem antica

Infer encia

Enunciados categ oricos

Reconhecer o tipo de uma senten ca facilita a sua tradu c ao para a linguagem da l ogica de predicados. Exemplos Toda cobra e venenosa: X [cobra(X ) venenosa(X )] Os rem edios s ao perigosos: X [remedio (X ) perigoso (X )] Nenhuma bruxa e bela: X [bruxa(X ) bela(X )] N ao existe b ebado feliz: X [bebado (X ) feliz (X )] Algumas pedras s ao preciosas: X [pedra(X ) preciosa(X )] Existem plantas que s ao carn voras: X [planta(X ) carnivora(X )] Alguns pol ticos n ao s ao honestos: X [politico (X ) honesto (X )] H a aves que n ao voam: X [ave (X ) voa(X )]

Introdu c ao

Sintaxe

Sem antica

Infer encia

Enunciados categ oricos

Exerc cio - Formalize as senten cas a seguir

1 2 3 4 5 6 7

Tudo que sobe, desce. Nenhum le ao e manso. Todo circo tem palha co. Toda pedra preciosa e cara. Nenhum homem e infal vel. Ningu em gosta de impostos. Existem impostos que n ao s ao bem empregados.

Introdu c ao

Sintaxe

Sem antica

Infer encia

Equival encia entre senten cas

H a senten cas que podem ser escritas de mais de uma forma. Exemplo Nem tudo que brilha e ouro: X [brilha(X ) ouro (X )] Existe alguma coisa que brilha e n ao e ouro: X [brilha(X ) ouro (X )] Demonstra c ao da equival encia X [brilha(X ) ouro (X )] X [brilha(X ) ouro (X )] X [brilha(X ) ouro (X )] X [brilha(X ) ouro (X )]

Introdu c ao

Sintaxe

Sem antica

Infer encia

Equival encia entre senten cas

Nem todo ator americano e famoso X [ator (X ) americano (X ) famoso (X )] Ora, se nem todo ator americano e famoso, ent ao deve existir algum ator americano que n ao e famoso. Algum ator americano n ao e famoso X [ator (X ) americano (X ) famoso (X )] Demonstra c ao da equival encia X [ator (X ) americano (X ) famoso (X )] X [(ator (X ) americano (X )) famoso (X )] X [ator (X ) americano (X ) famoso (X )] X [ator (X ) americano (X ) famoso (X )] X [ator (X ) americano (X ) famoso (X )]

Introdu c ao

Sintaxe

Sem antica

Infer encia

Equival encia entre senten cas

Exerc cio - Verique se as senten cas s ao equivalentes

1

Nem toda estrada e perigosa Algumas estradas n ao s ao perigosas Nem todo b ebado e fumante Alguns b ebados s ao fumantes

Introdu c ao

Sintaxe

Sem antica

Infer encia

Infer encia
Exemplo de argumento S ocrates e homem. Todo homem e mortal. Logo, S ocrates e mortal. Formaliza c ao
{homem(socrates ), X [homem(X ) mortal (X )]} mortal (socrates )

Normaliza c ao
{homem(socrates ), X [homem(X ) mortal (X )]} mortal (socrates )

A regra de infer encia por resolu c ao n ao pode ser aplicada; pois homem(socrates ) e homem(X ) n ao s ao complementares

Introdu c ao

Sintaxe

Sem antica

Infer encia

Instancia c ao universal

em X [homem(X ) mortal (X )], X e uma vari avel universal X pode ser substitu da por qualquer constante do dom nio fazendo X = socrates , obtemos a seguinte inst ancia: homem(socrates ) mortal (socrates ) com essa inst ancia, podemos usar infer encia por resolu c ao (1) homem(socrates ) (2) homem(socrates ) mortal (socrates ) (3) mortal (socrates ) /X=socrates RES (1, 2)

Introdu c ao

Sintaxe

Sem antica

Infer encia

Instancia c ao universal e vari aveis existenciais

Instancia c ao universal n ao funciona com vari aveis existenciais! Todo mestre tem um disc pulo X [mestre (X ) Y [discipulo (Y , X )]] Substituindo a vari avel universal (X = xisto ) mestre (xisto ) Y [discipulo (Y , xisto )] se xisto e um mestre, ent ao existe algu em que e seu disc pulo o signicado original n ao e alterado (X n ao depende de Y ) Substituindo a vari avel existencial (Y = xisto ) X [mestre (X ) discipulo (xisto , X )] se X e um mestre, ent ao xisto e seu disc pulo o signicado original e alterado (Y depende de X )

Introdu c ao

Sintaxe

Sem antica

Infer encia

Skolemiza c ao
Para eliminar uma vari avel existencial, sem alterar o signicado original, supomos a exist encia de uma fun c ao (de Skolem) que d a o valor correto para substituir essa vari avel. X [mestre (X ) Y [discipulo (Y , X )]] fazendo Y = seguidor (X ), obtemos a inst ancia X [mestre (X ) discipulo (seguidor (X ), X )]] o signicado original e mantido; pois n ao h a compromisso com nenhum valor particular de Y Na skolemiza c ao, uma vari avel existencial e substitu da por uma fun c ao, cujos argumentos s ao as vari aveis universais globais a ela

Introdu c ao

Sintaxe

Sem antica

Infer encia

Skolemiza c ao
Exemplo de skolemiza c ao na f ormula X , Y [p (X , Y ) Z W [q (Z , X ) q (W , Z )]], as vari aveis universais globais a Z s ao X e Y ent ao, podemos fazer Z = f (X , Y ) e obtemos a inst ancia X , Y [p (X , Y ) W [q (f (X , Y ), X ) q (W , f (X , Y ))]] Skolemiza c ao com fun c ao constante se n ao h a vari avel universal global ` a existencial a ser skolemizada, usamos uma fun c ao sem argumentos (constante) para eliminar a vari avel X em X Y [p (X ) q (Y )], podemos fazer X = f e obtemos Y [p (f ) q (Y )] Exerc cio - Formalize e skolemize as f ormulas obtidas 1 Todo c ao e el ao seu dono.
2

Existe um lugar onde todos s ao felizes.

Introdu c ao

Sintaxe

Sem antica

Infer encia

Unica c ao
consideramos que todas as vari aveis s ao universais infer encia por resolu c ao requer f ormulas id enticas podemos unicar duas f ormulas usando substitui co es uma vari avel pode ser substitu da por uma constante, por uma fun c ao ou ainda por uma outra vari avel Exemplos podemos unicar gosta(ana, X ) e gosta(Y , Z ), fazendo Y = ana e X = Z podemos unicar ama(deus , Y ) e ama(X , lho (X )), fazendo X = deus e Y = lho (deus ) n ao podemos unicar igual (X , X ) e igual (bola, bala) n ao podemos unicar p (X ) e p (f (X ))

Introdu c ao

Sintaxe

Sem antica

Infer encia

Unica c ao

Para unicar duas f ormulas at omicas (sem vari aveis em comum):

1

compare as f ormulas at e encontrar uma incorrespond encia ou atingir o nal de ambas; ao encontrar uma incorrespond encia:
se n ao envolver pelo menos uma vari avel, nalize com fracasso; caso contr ario, substitua todas as ocorr encias da vari avel pelo outro termo e continue a varredura (no passo 1);

ao atingir o nal de ambas, nalize com sucesso.

Introdu c ao

Sintaxe

Sem antica

Infer encia

Unica c ao
Exerc cio - Unique (se poss vel) as f ormulas a seguir:
1

cor (sapato (X ), branco ) cor (sapato (suspeito ), Y ) mora(X , casa(mae (X ))) mora(joana, Y ) primo (X , Y ) prima(A, B ) ponto (X , 2, Z ) ponto (1, W ) p (f (Y ), Y , X ) p (X , f (a), f (Z ))