Documente Academic
Documente Profesional
Documente Cultură
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
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
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 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
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
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
p X
Introdu c ao
Sintaxe
Sem antica
Infer encia
p X
Introdu c ao
Sintaxe
Sem antica
Infer encia
p X
Introdu c ao
Sintaxe
Sem antica
Infer encia
Introdu c ao
Sintaxe
Sem antica
Infer encia
Introdu c ao
Sintaxe
Sem antica
Infer encia
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
Introdu c ao
Sintaxe
Sem antica
Infer encia
Introdu c ao
Sintaxe
Sem antica
Infer encia
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
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
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
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);
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 ))