Universidade Tecnológica Federal do Paraná (UTFPR)

Aluna: Vanessa Maria da Silva BSI - S73.Curso: Bacharelado em Sistemas de Informação.Disciplina: Lógica para Computação.Professor: Adolfo Neto (DAINF-UTFPR).

Exercícios de Representação do Conhecimento

1- Simbolize as seguintes fórmulas proposicionais, usando letras maiúsculas para representar os enunciados simples:

a) Se Edgar apresentar uma queixa, então Fulton investigará e Greville será desqualificado.

R: A → (B C)

A = Edgar apresentar uma queixa.B = Fulton investigará.C = Greville será desqualificado.

b) Ou Edgar apresenta uma queixa, ou se Fulton investigar, então Greville não será desqualificado.

R: A (B → ¬ C)

A = Edgar apresenta uma queixa.B = Fulton investigar.C = Greville será desqualificado.

c) Se Edgar não apresentar uma queixa, então, nem Fulton investigará, nem Greville será desqualificado.

R: ¬A → (¬B ¬ C)

A = Edgar apresentar uma queixa.B = Fulton investigará.C = Greville será desqualificado.

d) Se não for o caso de Edgar apresentar uma queixa, então, Fulton investigará e Greville será desqualificado.

R: ¬ A → (B C)

A = Edgar apresentar uma queixa.B = Fulton investigará.C = Greville será desqualificado.

2- Simbolize e classifique os seguintes argumentos em válidos ou inválidos:

a) Se Allen se retira do concurso, então Brown será nomeado ou Clark ficará desapontado. Brown não será nomeado. Portanto, se Allen se retira do concurso, então Clark ficará desapontado.

R: A → (B C) ¬B

A → C

A = Se Allen se retira do concurso. B = Brown será nomeado. C = Clark ficará desapontado.

A → (B C), ¬B |= A → C

b) Se o contrato for adjudicado a Davis, então Edwards ganhará bom dinheiro no próximo ano. Se o contrato for adjudicado a Davis, então French sofrerá reveses financeiros. Portanto, se Edwards ganhar bom dinheiro no próximo ano, então French sofrerá reveses financeiros.

R: D → E D → F

E → F

D = Se o contrato for adjudicado a Davis. E = Edwards ganhará bom dinheiro no próximo ano. F = French sofrerá reveses financeiros.

D → E, D → F |= E → F

c) Se Jones descobre a conspiração, e se der valor a sua vida, então abandonará o país. Ele dá valor a sua vida. Portanto, se Jones descobre a conspiração, então abandonará o país.

R: (A B) → C B

A → C

A = Jones descobre a conspiração. B = Jones der valor a sua vida. C = Jones então abandonará o país.

(A B) → C, B |= A → C

Referência:

BUCHSBAUM, Arthur. Exercícios de Representação do Conhecimento. UFSC, INE. Disponível em: <http://wwwexe.inf.ufsc.br/~arthur/index.php?page=material_didatico&lang =pt >. Acesso em: 25 jun. 2009.

Resolução de Problemas de Representação do Conhecimento eRaciocínioAluna: Amanda M. Lins (Turma S71-2009.1, Engenharia da Computação – DAINF-UTFPR)Disciplina: Lógica para ComputaçãoProfessor: Adolfo Gustavo Serra Seca Neto (DAINF-UTFPR)

Problema 1 (SELINGER, 2005): Se o leão não se esconde, então a caçada termina cedo. Se a caçada termina cedo, então ou o leão foi morto ou o caçador foi comido. O leão não foi morto. Portanto, o caçador é comido a não ser que o leão se esconda.

Legenda: L: O leão se esconde H: a caçada termina cedo K: o leão foi morto E: o caçador foi comido

Tradução para lógica proposicional:

Premissas:¬L → HH → (K V E)¬KConclusão:E V L

Problema 2 (SELINGER, 2005):Se o cão está latindo, e ele está na casa, então alguém está na porta da frente. Se alguém está na porta da frente e o cão não está na casa, então o cão está latindo. O cão só late se ninguém está na porta da frente. Portanto, se o cão está latindo, o cão está na casa.

Legenda: B: o cão está latindo H: o cão está na casa F: alguém está na porta da frente

Tradução para lógica proposicional:

Premissas:B H → FF ¬H → BB → FConclusão:B → H

Problema 3 (SELINGER, 2005):O argumento seguinte refere-se a esse fragmento de programa de Java ou C:/* label 1 */if (i != 0) {

j = 0;}/* label 2 */i = i + j;j = i - j;/* label 3 */

Argumento:Se não i=0 na label 1, então j=0 na label 2. Além disso, i=0 na label 2 se e somente se i=0 na label 1. Se i=0 na label 2, então j=0 na label 3. Se j=0 na label 2, então j=i na label 3. Portanto, na label 3, ou j=0 ou j=i.

Legenda:A: i = 0 na label 1B: i = 0 na label 2C: j = 0 na label 2D: j = 0 na label 3E: j = i na label 3

Tradução para Lógica proposicional:Premissas:¬A → CB → AA→ BB→DC→EConclusão:D v E

Referência:

SELINGER, Peter; Exercícios elaborados pelo professor para a disciplinaDiscrete Structures I. Dalhousie University, 2005. Halifax, Nova Scotia, Canadá.Disponível em:<http://www.mathstat.dal.ca/~selinger/2112/01/handouts/handout1.pdf>.