PR

UNIVERSIDADE TECNOLGICA FEDERAL DO PARAN

LGICA DE PRIMEIRA ORDEM (LPO)

Prof. Cesar Augusto Tacla

UTFPR/Campus Curitiba

PROF. CESAR A. TACLA UTFPR/CURITIBA

LGICA DE PRIMEIRA ORDEM

Linguagem possui trs elementos principais:
Sintaxe: alfabeto e gramtica
define um conjunto de frmulas bem formadas (well-formed formulas- wffs)
Semntica: define o significado das frmulas lgicas em termos de
modelo, contexto e avalio de frmulas
Pragmtica: uso (efeito no interlocutor)
Ex. Tem algum atrs de voc!
Pode ser um alerta ou um pedido para deixar o caminho livre para algum que
quer passar

PROF. CESAR A. TACLA UTFPR/CURITIBA

LGICA DE PRIMEIRA ORDEM

SINTAXE

PROF. CESAR A. TACLA UTFPR/CURITIBA

SINTAXE
A sintaxe de uma linguagem definida por:
Alfabeto: So os smbolos lgicos e no lgicos
Smbolos lgicos independem do domnio da aplicao
Smbolos no-lgicos dependem do domnio modelado e so escolhidos pelo
modelador.

Gramtica: regras para gerao de frmulas bem-formadas

pontuao
Smbolos
lgicos
alfabeto

conectivos

variveis

x, y, z

predicados

proposio
(aridade zero)

funes

Constantes
(aridade zero)

Smbolos
no-lgicos

PROF. CESAR A. TACLA UTFPR/CURITIBA

(),. [ ]

SINTAXE: EXEMPLO

C
1

Mundo composto por peas.

Quais so os objetos?

D
2

exemplo retirado do curso on-line AIMA Norvig e Thun

PROF. CESAR A. TACLA UTFPR/CURITIBA

SINTAXE: EXEMPLO

OBJETOS DO DOMNIO

B
2

4
D

PROF. CESAR A. TACLA UTFPR/CURITIBA

SINTAXE: ALFABETO
Smbolos de funo (no-lgicos)
Funes mapeiam objetos para objetos
Constantes so funes de aridade-zero; duas constantes
diferentes podem corresponder ao mesmo objeto

Funes de aridade maior do que zero representam um objeto

funo

Constantes
a1

C
1

B
b

D
2

numDaPea(X)
a
1
a1
1
b
2

dois
PROF. CESAR A. TACLA UTFPR/CURITIBA

SINTAXE: ALFABETO
Smbolos de predicados
(no lgicos)

pea

Predicados representam relaes

entre objetos.

vogal
A
3

Predicados binrios (didicos)

acima(X, Y)

acima

Predicados unrios (mondicos)

vogal(X)
pea(X) = {(a), (b), (c), (d)}

PROF. CESAR A. TACLA UTFPR/CURITIBA

4
2

2D

SINTAXE: GRAMTICA
TERMOS
Toda varivel um termo
Toda constante um termo
Se t1, ..., tn so termos e f um smbolo de funo de aridade n>0,
ento f(t1, ..., tn) um termo
Observar que termos designam objetos do domnio.

PROF. CESAR A. TACLA UTFPR/CURITIBA

SINTAXE: GRAMTICA
Exemplos de termos
X uma varivel e, portanto, um termo

no domno dos inteiros, X pode denotar qualquer nmero inteiro

a uma constante e, portanto, um termo

no domno das vogais, o smbolo a pode denotar a vogal a

PaiDe(X)
uma funo de aridade 1
denota o pai de X que pode ser qualquer objeto do domnio

PaiDe(MeDe(X)) av materno de x

termos aninhados
MeDe(X) denota o objeto me de X, vamos chamar de o1
PaiDe(o1) denota o objeto que pai de o1

PROF. CESAR A. TACLA UTFPR/CURITIBA

10

SINTAXE: GRAMTICA
FRMULAS
1. F o conjunto de smbolos funcionais e P, de predicados
2. Se t1, ..., tn so termos sobre F e P P um smbolo de predicado de
aridade n > 0, ento P(t1, ..., tn) uma frmula
3. Se uma frmula ento () tambm .
4. Se e so frmulas, ento ( ), ( ) e ( ) tambm so.
5. Se uma frmula e x uma varivel ento (x) e (x) so
frmulas
6. Nada mais uma frmula.

PROF. CESAR A. TACLA UTFPR/CURITIBA

11

SINTAXE: GRAMTICA
EXEMPLOS DE FRMULAS
paiDe(Y)

um termo ( uma funo sobre F)

inteligente(paiDe(x))

uma frmula pela regra 2: P(t1)

(x inteligente(paiDe(x)))

uma frmula pela regra (x)

uma frmula pela regra P(t1(t2))

PROF. CESAR A. TACLA UTFPR/CURITIBA

12

SINTAXE: GRAMTICA

GRAMTICA em Backus-Naur Form (BNF)

t:= x | c | f(t, , t)

t um termo
x qualquer smbolo de varivel permitido pela linguagem
c qualquer smbolo do conjunto de smbolos funcionais 0-rios (constantes)
f qualquer smbolo do conjunto F de smbolos funcionais n-rios com n > 0

::= P(t1, , tn) | (

) | ( ) | ( ) | ( ) | (
x) | (
x)

uma frmula
P qualquer smbolo de predicado n-rio com n > 0 de P
ti so termos sobre de F
x uma varivel

PROF. CESAR A. TACLA UTFPR/CURITIBA

13

SINTAXE: GRAMTICA

ESCOPO DOS QUANTIFICADORES

Variveis livres: esto fora do escopo dos quantificadores
Variveis bounded: esto no escopo dos quantificadores (so
chamadas de aparentes)
y(P(x) x(P(y) Q(x)))

SENTENA EM LPO ou FRMULA FECHADA

qualquer frmula sem variveis livres.

PROF. CESAR A. TACLA UTFPR/CURITIBA

14

LGICA DE PRIMEIRA ORDEM

SEMNTICA

PROF. CESAR A. TACLA UTFPR/CURITIBA

15

SEMNTICA

Semntica
Define o significado no mundo (real ou artificial) das frmulas bemformadas
O significados de uma frmula derivam do SIGNIFICADO atribudo aos
smbolos no-lgicos por meio de um MODELO
os smbolos lgicos tem significados fixos (dados pela prpria lgica)
so neutros em relao ao domnio modelado

PROF. CESAR A. TACLA UTFPR/CURITIBA

16

SEMNTICA

EXEMPLOS
vamos supor que
feliz(joo) uma frmula bem formada;
O smbolo joo denota um indivduo;
O smbolo feliz um predicado.
Joo, o indivduo denotado, est feliz.
O problema que a interpretao dada aos smbolos no lgicos (joo
e feliz) pode variar de uma pessoa a outra!

PROF. CESAR A. TACLA UTFPR/CURITIBA

17

SEMNTICA
O exemplo anterior provavelmente no suscita diferenas
de interpretao ainda que
a noo de feliz seja diferente de pessoa para pessoa
e que joo possa denotar diferentes indivduos no mundo

H outros smbolos no-lgicos bem mais problemticos

pela dificuldade de precisar seus significados ou pela
simples dificuldade de entender o ponto de vista do
modelador

PasDemocrtico
MelhorComidaDoMundo
BoaPessoa
txN27

PROF. CESAR A. TACLA UTFPR/CURITIBA

18

SEMNTICA
Na LPO no preciso dar definies precisas (como a de
um dicionrio) para os smbolos no-lgicos, por exemplo,
que um pas democrtico um pais que possui eleies,
liberdade de expresso, etc.
preciso somente declarar quais objetos so pases
democrticos e quais no so.
Se h divergncias na definio de quais so democrticos,
fala-se em diferentes MODELOS

PROF. CESAR A. TACLA UTFPR/CURITIBA

19

SEMNTICA

MODELOS

PROF. CESAR A. TACLA UTFPR/CURITIBA

20

MODELOS: DEFINIO
Um modelo M do par (F
F, P) consiste de:
um conjunto no vazio A de valores concretos
a A um objeto do domnio (ou um referente)
representado (ou no) por um smbolo

Para cada smbolo funcional f F

se f 0-rio (constante): fm : a A
se f n-rio (n > 0): fm : An A
Na lgica clssica no h indeterminao, logo as funes
devem ser totais
f total se para todos x do domnio, existe um y no
contradomnio tal que y = f (x).

Para cada smbolo de predicado P P

a aridade do predicado n
Pm An
o conjunto de tuplas de An a extenso do predicado Pm

PROF. CESAR A. TACLA UTFPR/CURITIBA

An o produto cartesiano de n x A
fm uma funo concreta no modelo M
Pm um relao concreta no modelo M
f um smbolo de funo
P um smbolo de predicado
fonte: (HUTH e RYAN, 2008, pg. 93)
21

EXEMPLO 1
Modelo M para um par (F
F, P )

Par(x) um predicado
suc(x) uma funo que retorna o sucessor de x
um o smbolo de constante que denota o nmero 1
dois o smbolo de constante que denota o nmero 2
trs o smbolo de constante que denota o nmero 3
quatro o smbolo de constante que denota o nmero 4

Construo do modelo M

A = {1, 2, 3, 4}

Interpretao dos predicados

0-rias (constantes)
umm = 1
doism = 2
trsm = 3
quatrom = 4

Funes

sucm = {(1
2), (2
3), (3
4), (4
1)}

F = {suc, um, dois, trs, quatro}

P = {Par}

Interpretao das funes

Parm = {2, 4}

PROF. CESAR A. TACLA UTFPR/CURITIBA

Avaliao de frmulas no
modelo M
M Par(um)
M Par(suc(trs))

22

CONTEXTO
Pode ser entendido como as atribuies de valores s variveis de um
modelo, sendo que os valores possveis so os objetos do domnio
Um contexto l definido por
l: var A tal que, var conjunto de variveis e A o conjunto de objetos

l[x a] representa o mapeamento da varivel x para o valor a - pode ser

escrito como l(x) = a

PROF. CESAR A. TACLA UTFPR/CURITIBA

23

SEMNTICA

Com as definies de modelo e de contexto, possvel definir uma

semntica para as frmulas de LPO.
Dados

 um modelo M para o par (F, P),

 um conjunto no vazio A de valores concretos (os objetos do domnio) e
 um contexto l (letra ele)
ele),

pode-se definir a relao de satisfao M no contexto l, ou seja,

avaliar se verdadeira no modelo M com o contexto l
Escreve-se

M
l

PROF. CESAR A. TACLA UTFPR/CURITIBA

24

SEMNTICA DA LPO

extrado de (Huth e Ryan, 2008, pg. 97)

PROF. CESAR A. TACLA UTFPR/CURITIBA

25

EXEMPLO 1 REVISITADO
Modelo M para um par (F
F, P )

Par(x) um predicado
suc(x) uma funo que retorna o sucessor de x
um o smbolo de constante que denota o nmero 1
dois o smbolo de constante que denota o nmero 2
trs o smbolo de constante que denota o nmero 3
quatro o smbolo de constante que denota o nmero 4

Construo do modelo M

A = {1, 2, 3, 4}

Interpretao dos predicados

0-rias (constantes)
umm = 1
doism = 2
trsm = 3
quatrom = 4

Funes

sucm = {(1
2), (2
3), (3
4), (4
1)}

F = {suc, um, dois, trs, quatro}

P = {Par}

Interpretao das funes

Avaliao de frmulas no
modelo M
=y((Par(y)Par(suc(y))))
M no contexto l ?

Parm = {2, 4}

Contexto:
l(y) = 1
l(y) = 2
l(y) = 3
l(y) = 4

PROF. CESAR A. TACLA UTFPR/CURITIBA

V() = V
V() = V
V() = V
V() = V

26

EXERCCIO
Dada a figura ao lado de um mundo
formado por pessoas e cachorros bem
como pelas relaes apresentadas,
construa um modelo que represente

Domnio

pessoas e cachorros como objetos distintos;

a relao Dono entre pessoas e cachorro;
a funo melhor amigo;
as constantes existentes na figura ao lado.

Ana
Tot

Represente e avalie as sentenas abaixo em

LPO para o modelo e contexto que voc definir:
O melhor amigo de Joo um cachorro.
Todo cachorro tem dono.
H algum cujo melhor amigo um co.

catita

joo

Dono

MelhorAmigo
maria
Dono

scooby

Demonstre que entendeu a diferena entre

termo e frmula por meio de exemplo.

PROF. CESAR A. TACLA UTFPR/CURITIBA

27

SEMNTICA

SATISFAO

PROF. CESAR A. TACLA UTFPR/CURITIBA

28

Consequncia semntica

Consequncia, Satisfabilidade, Validade e Insatisfabilidade

(Huth e Ryan, 2004)

uma teoria (conjunto de frmulas)
Check = verdadeira
Look-up tables = environment = contexto

PROF. CESAR A. TACLA UTFPR/CURITIBA

29

LGICA DE PRIMEIRA ORDEM

PRAGMTICA

PROF. CESAR A. TACLA UTFPR/CURITIBA

30

CONSEQUNCIA LGICA
Embora as regras semnticas da interpretao dependam da
interpretao dos smbolos no-lgicos, h conexes entre sentenas
em LPO que no dependem da interpretao dos smbolos no lgicos
Por exemplo, sendo (gama) definido por ( ), M um modelo
onde verdadeiro, pode-se concluir que verdadeira independente
de como entendemos os smbolos e
Sempre que for verdadeiro, o ser!!! uma consequncia lgica
de ou a verdade de est implcita na verdade de

PROF. CESAR A. TACLA UTFPR/CURITIBA

31

CONSEQUNCIA LGICA

Formalmente: uma consequncia lgica de S se e somente se

verdadeira em todos os modelos de S
S sse para todo modelo M, se M S ento M

 De outra forma,
 no h modelo M onde M S {
}
(i.e. S {
} insatisfazvel)

PROF. CESAR A. TACLA UTFPR/CURITIBA

32

PRAGMTICA
Por que consequncia lgica importante?
Reasonning based on logical consequence only allows safe, logically
guaranteed conclusions to be drawn. However, by starting with a rich
collection of sentences as given premises, including NOT ONLY FACTS
ABOUT PARTICULARS of the intended application but also those
expressing connections among the nonlogical symbols involved, the set of
entailed conclusions becomes a much richer set, closer to the set of
sentences true in the intended interpretation. Calculating these entailments
thus becomes me like the form of reasoning we would expect of somenone
who understood the meaning of the terms involved.
Brachman & Levesques, KR and Reasonning, pg. 25.

PROF. CESAR A. TACLA UTFPR/CURITIBA

33

CRENA EXPLCITA E IMPLCITA

= Dados os blocos a, b e c, h um cubo verde sobre um no verde?

B verde
B
verde

cor desconhecida
c no verde

b est sobre c,
portanto h um cubo
verde sobre um no verde

A
B

Dois casos possveis

C
B

B no
verde

a est sobre b,
portanto h um cubo
verde sobre um no verde

Ou seja, qualquer que seja o modelo, a sentena proposta ser satisfeita!

Portanto, a sentena uma crena implcita.
PROF. CESAR A. TACLA UTFPR/CURITIBA

34

EXERCCIO
Formalize a KB da transparncia anterior utilizando:

os predicados
G(x) que significa x green e
O(x, y) que significa cubo x est sobre cubo y.

As constantes a, b e c para representar os cubos

Demonstre que a sentena = H um cubo verde sobre

um no verde consequncia lgica da KB

Para tal, faa;

A KB, denominada S, em sentenas da LPO

a sentena em LPO
Encontre e represente todos os modelos e contextos que
satisfaam S

PROF. CESAR A. TACLA UTFPR/CURITIBA

35

REFERNCIAS

HUTH, M.; RYAN, M. Logic in Computer Science: modelling and reasoning about systems,
2ND. Edition, 426 p., Cambridge Press, 2004.
HUTH, M.; RYAN, M. Lgica em cincia da computao: modelagem e argumentao sobre
sistemas . 2. ed. Rio de Janeiro, RJ: LTC, 2008. x, 322 p. ISBN 9788521616108.
BRACHMAN, R.; LEVESQUE, H. Knowledge Representation and Reasoning, 2004, Ed.
Morgan Kaufmann.

PROF. CESAR A. TACLA UTFPR/CURITIBA

36