Aed 00B

ESEUNA
Curso:
Engenharia Informática e Telecomunicação
Disciplina:
Algoritmos e Estrutura de Dados

Plano Temático
TEMA Aulas
I - Análise da correção de programas
Introdução à lógica proposicional e de predicados 6
Cálculo de Hoare e especificação formal de comandos 8
II - Tipos de Dados Abstratos
8
Desenvolvimento de comandos abstratos
Vectores; Listas; Filas e Pilhas 12
III - Formas de organização dos dados e algoritmos associados

Árvores, árvores n-áreas, árvores binárias, árvores de pesquisa, árvores
12
de pesquisa equilibradas, árvores de Bayer
Grafos 10
Algoritmos de ordenação (elementares e avançados); 8
Lógica de Predicados
Há vários tipos de argumentos que não podem ser adequadamente
formalizados em logica proposicional. Como exemplo, considere o
argumento a seguir:
 James é homem.
 Todo homem é mortal.
 Logo, James é mortal.
Intuitivamente, podemos ver que esse argumento e valido. No entanto, usando
logica proposicional, a formalização desse argumento resulta em {p,q} = r;
 Não ha como mostrar que a conclusão r é uma consequência lógica das

premissas p e q.
Porque a validade desse argumento depende do signicado da palavra TODO, que
não pode ser expresso na logica proposicional. Para tal, precisamos da logica de
predicados.

Simbologia

O objecto é usada num sentido bastante amplo, podendo ser:
Objecto Concretos – Quando nos referimos a objectos reais e
existentes;
Ex.: esse livro, a lua, o Computador,…,
Objectos Abstratos – Quando nos referimos a um vazio;

Ex.: o conjunto vazio, a paz, felicidade, estar saudavel,…
Objectos Fictícios – Quando referimos a algo puramente imaginario.

Ex.: unicornio, fantasma, paraiso,…
Objetos compostos – Quando mos referimos a algo constituido por

serie de elementos;
Ex.: um teclado e composto de teclas, uma turma é composto por
alunos,…
Resumo::
Objecto pode ser qualquer coisa a respeito da qual precisamos
dizer algo.
Por convenção, nomes de objetos são escritos com inicial

minúscula e assumimos que nomes diferentes denotam
objectos diferentes.
Predicados
Denota uma relação entre objectos de um determinado contexto de
discurso.
No contexto da Figura 1, podemos dizer que:

 O bloco a está sobre o bloco b usando o predicado sobre e
Escrevendo a notação fica:
sobre(a, b)
Para dizer que o bloco b é azul, podemos usar o predicado cor e

Escrevendo a notação fica:
cor(b, azul) e,
Para dizer que o bloco b é maior que o bloco c, podemos usar o predicado
maior e escrevendo a notação fica:
maior(b, c)
Os nomes dos predicados são escritos com inicial minúsculas.

Variáveis e quantificadores
Grande parte da expressividade da lógica de predicados é devida ao uso
dos conectivos lógicos, que nos permitem formar sentenças complexas a
partir de sentenças mais simples.
Por exemplo, considerando o contexto da Figura 1, podemos

dizer que o bloco a está sobre o bloco b e que este está sobre a mesa
escrevendo:
sobre(a, b) ^ sobre(b, mesa)
 usando variáveis, podemos estabelecer factos a respeito de objectos de

um determinado contexto de discurso, sem ter que nomear
explicitamente esses objectos;
Cont...
 usando o quantificador universal (), podemos estabelecer factos a
respeito de todos os objectos de um contexto, sem termos que enumerar
explicitamente todos eles; e,
 Usando o quanticador existencial () podemos estabelecer a existência de

um objecto sem ter que identicar esse objecto explicitamente.
Ex.:Considerando novamente a Figura 1, podemos dizer:

- Todo bloco está sobre alguma coisa (bloco ou mesa) escrevendo fica:
[bloco(x) [sobre(x, y)]]

O significado das fórmulas na lógica de predicados depende da semântica

dos conectivos e da interpretação de objectos e predicados.
Uma interpretação na lógica de predicados consiste em:
- Um conjunto D , denominado domínio da interpretação;

- Um mapeamento que associa cada objecto a um elemento fixo em D;
- Um mapeamento que associa cada predicado a uma relação em D.
Lógica de Predicados - Semântica
O quantificador denota uma conjunção e o quanticador denota
umadisjunção.
Ex.: Para D = {a; b; c}, a fórmula x[colorido(x)] denota a

conjunção colorido(a) ^ colorido(b) ^ colorido(c) e
A formula x[cor(x,azul)] denota a disjunção

cor(a, azul) v cor(b, azul) v cor(c, azul).
Além disso, como, é fácil ver que

cor(x, azul)] .
De modo análogo, concluímos que :
[cor(x, roxo)] [cor(x, roxo)].
Lógica de Predicados – Formalização de arg.
James é homem. Formalizando fica:

Todo homem é mortal.
Logo, James é mortal.
a) “Toda cobra é venenosa”:

a) [cobra(x) venenosa(x)]
b) “Nenhuma bruxa é bela”:
b) [bruxa(x) bela(x)]
c) “Algumas pedras são preciosas”:
c) [preda(x) v preciosa(x)]
d) “Alguns políticos não são
d) [politico(x) v honesto(x)]
honestos”:
Lógica de Predicados - EXERCÍCIOS
Exerccio 1: Usando logica de predicados, formalize as sentencas a seguir:
a) Tudo que sobe, desce.

l) Todo cão é fiel ao seu dono.
b) Nenhum leão é manso.
m) Existe um lugar onde todos são
c) Todo circo tem palhaço.
felizes.
d) Toda pedra preciosa é cara.
e) Nenhum homem e infalível.
f) Ninguém gosta de impostos.
g) “Os remedios são perigosos”:
h) “Não existe bébado feliz”:
i) “Existem plantas que são carnívoras”:
j) “Há aves que não voam”:
k) Existem impostos que não são bem empregados.
Fonte usada:
• Brachman, R. J. & Levesque, H. J. Knowledge Representation and

Reasoning,Morgan Kaufmann, 2004.
• Pereira,Silvio Logica de Predicados, Addison-Wesley, 1987.
Obrigado

Aed 00B

Enviado por

Direitos autorais:

Formatos disponíveis

Aed 00B

Enviado por

Dados do documento

Descrição original:

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Aed 00B

Enviado por

Direitos autorais:

Formatos disponíveis

ESEUNA

Algoritmos e Estrutura de Dados

II - Tipos de Dados Abstratos

III - Formas de organização dos dados e algoritmos associados

 Não ha como mostrar que a conclusão r é uma consequência lógica das

Ex.: esse livro, a lua, o Computador,…,

Objectos Abstratos – Quando nos referimos a um vazio;

Objectos Fictícios – Quando referimos a algo puramente imaginario.

Objetos compostos – Quando mos referimos a algo constituido por

Por convenção, nomes de objetos são escritos com inicial

No contexto da Figura 1, podemos dizer que:

Para dizer que o bloco b é azul, podemos usar o predicado cor e

Os nomes dos predicados são escritos com inicial minúsculas.

Por exemplo, considerando o contexto da Figura 1, podemos

 usando variáveis, podemos estabelecer factos a respeito de objectos de

 Usando o quanticador existencial () podemos estabelecer a existência de

Ex.:Considerando novamente a Figura 1, podemos dizer:

[bloco(x) [sobre(x, y)]]

O significado das fórmulas na lógica de predicados depende da semântica

Uma interpretação na lógica de predicados consiste em:

- Um conjunto D , denominado domínio da interpretação;

Ex.: Para D = {a; b; c}, a fórmula x[colorido(x)] denota a

A formula x[cor(x,azul)] denota a disjunção

Além disso, como, é fácil ver que

James é homem. Formalizando fica:

a) “Toda cobra é venenosa”:

a) Tudo que sobe, desce.

• Brachman, R. J. & Levesque, H. J. Knowledge Representation and

• Pereira,Silvio Logica de Predicados, Addison-Wesley, 1987.

Você também pode gostar