PROVA 02 01 18

Prévia do material em texto

1) Um argumento na lógica proposicional representa uma sequência de premissas 
seguidas por uma conclusão e só será válido se a conclusão for consequência do conjunto 
de premissas. Dessa forma, uma expressão do tipo: se o time joga bem, ganha o 
campeonato pode ser representada como p → q. Assim, utilizando recursos da lógica 
proposicional, formalize os seguintes argumentos através do uso de proposições (simples 
ou compostas) e conectivos lógicos. 
a) Se Ana é alta e magra então, ela é elegante. 
b) Se Caio ama a natureza então, ele ama as plantas e os animais. 
c) Se faz frio ou chove então, Eva fica em casa e vê televisão. 
Resposta: 
a) Considerando: A: Ana é alta M: Ana é magra E: Ana é elegante, Logo: A M ⇒ E 
b) Considerando: N: Caio ama a natureza P: Caio ama as plantas A: Caio ama os animais, 
Logo: N ⇒ (P A) 
c) Considerando: F: faz frio C: chove E: Eva fica em casa T: Eva vê televisão, 
Logo: (F C) ⇒ (E T) 
2) Os conectivos lógicos e ⇒ são lidos como “e”, “ou” e “implica”. O operador “não” 
pode ser representado por ou ~. 
Considere essa notação e a tabela verdade dada a seguir: 
 
Diante do exposto, analise as seguintes fórmulas e escolha a 
alternativa CORRETA: 
 
 
o A) A fórmula I é uma tautologia enquanto a II é uma contradição. 
o B) A fórmula I é uma contradição enquanto a II é uma consistência. 
o C) A fórmula I é uma consistência enquanto a II é uma tautologia. 
o D) As fórmulas I e II são consistências. 
Alternativa correta: 
 d) As fórmulas I e II são consistências. 
 
 
 
3) Redes Semânticas, Frames e Lógica são formalismos utilizados principalmente em: 
o A) Inferência em sistemas especialistas 
o B) Descoberta de conhecimento em bases de dados 
o C) Representação do conhecimento 
o D) Redes neurais 
Alternativa correta: 
c) Representação do conhecimento 
 
4) Sabendo que a proposição C significa "Caio ama os animais" e a proposição J significa 
"Joana ama as plantas", escreva a inversa, a recíproca e a contrapositiva lembrando que: 
o A proposição ~C ⇒ ~J é denominada inversa; 
o A proposição J ⇒ C é chamada de recíproca; 
o A proposição ~J ⇒ ~C é chamada de contrapositiva ou contrarrecíproca. 
 
Resposta: 
Inversa: Se Caio não ama as plantas, então, Joana não ama os animais 
Recíproca: Se Joana ama as plantas, então, Caio ama os animais. 
Contrapositiva: Se Joana não ama as plantas, então, Caio não ama os animais. 
 
5) Dada a seguinte fórmula responda: qual das seguintes sentenças em 
linguagem natural ela representa? 
o A) Alguém ama a todos. 
o B) Ninguém ama a todos. 
o C) Todos amam alguém. 
o D) Há alguém que todos amam. 
Alternativa correta: 
 c) Todos amam alguém. 
 
 
 
 
 
6) Uma rede semântica é uma representação onde as informações são representadas por 
um conjunto de nós que são as entidades e os links (slots ou arestas) que representam os 
relacionamentos entre essas entidades. Neste contexto, estas relações podem ser de 
cinco tipos, sendo elas: ako (a kind of), is-a (é um), has-a (tem um), part-of (parte de) e os 
tipos variados. Dessa forma, utilizando um máximo de 100 palavras descreva as 
diferenças entre cada um destes cinco tipos de relações. 
Resposta: 
Ako (a kind of): estabelece relações entre classes (exemplo: classe cadeira e classe 
mobília); 
Is-a (é um): estabelece relações entre classes e instâncias (exemplo: Ana é uma instância 
da classe pessoa e Cadeira-27 é uma instância da classe cadeira); 
Has-a (tem um): identifica herança de propriedades das entidades (exemplo: Cadeira-27 
tem um assento); 
Part-of (parte de): identifica herança de propriedades das entidades (com a seta no sentido 
poderíamos ter a seguinte relação: Assento é parte de Cadeira); 
Variados: os demais arcos (dono, cor, estofamento) também chamados de traços são 
específicos para este domínio e representam propriedades de conceitos.