UNIVESP - 2022 - Inteligência Artificial - S6 - Apoio1

Prévia do material em texto

Revisar envio do teste: Exercício de apoio - Semana 6
Inteligência Arti�cial - EEI101 - Turma 001 Semana 6
Revisar envio do teste: Exercício de apoio - Semana 6 
Pergunta 1
Resposta
Selecionada:
Respostas:
Escolhas com todas as respostas
Paris e Marselha localizam-se na França.
a) Em(Paris ∧ Marselha, França). [1]
b) Em(Paris, França) ∧ Em(Marselha,
França). [2]
c) Em(Paris, França) ∨ Em(Marselha,
França). [3]
Paris e Marselha localizam-se na França.
a) Em(Paris ∧ Marselha, França).
 É inválida
sintaticamente e,
portanto, não tem
significado
b) Em(Paris, França) ∧
Em(Marselha, França).
 Expressa
corretamente a
sentença
c) Em(Paris, França) ∨
Em(Marselha, França).
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
Paris e Marselha localizam-se na França.
a) Em(Paris ∧ Marselha, França).
 É inválida
sintaticamente e,
portanto, não tem
significado
b) Em(Paris, França) ∧
Em(Marselha, França).
 Expressa
corretamente a
sentença
c) Em(Paris, França) ∨
Em(Marselha, França).
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
0 em 0 pontos
https://ava.univesp.br/webapps/blackboard/execute/courseMain?course_id=_7254_1
https://ava.univesp.br/webapps/blackboard/content/listContent.jsp?course_id=_7254_1&content_id=_941349_1&mode=reset
Comentário da
resposta:
Expressa corretamente a sentença
É inválida sintaticamente e, portanto, não tem
significado
É válida sintaticamente, mas não expressa o
significado da sentença
a) Em(Paris ∧ Marselha, França).
É inválida sintaticamente e, portanto, não tem
significado. 
Justificativa: não se pode fazer a conjunção de
constantes.
b) Em(Paris, França) ∧ Em(Marselha, França).
Expressa corretamente a sentença.
c) Em(Paris, França) ∨ Em(Marselha, França).
É válida sintaticamente, mas não expressa o significado
da sentença.
Justificativa: é “e” (∧) e não “ou” (∨).
Pergunta 2
Resposta
Selecionada:
Existe um país que faz fronteira tanto com o Iraque como com o Paquistão.
a) ∃ c País(c) ∧ Fronteira(c, Iraque) ∧
Fronteira(c, Paquistão). [1]
b) ∃ c País(c) ⇒ Fronteira(c, Iraque) ∧
Fronteira(c, Paquistão). [2]
c) ∃ c Fronteiras(País(c), Iraque ∧
Paquistão). [3]
d) (∃ c País(c)) ⇒ (Fronteira(c, Iraque) ∧
Fronteira(c, Paquistão)). [4]
Existe um país que faz fronteira tanto com o Iraque como com
o Paquistão.
a) ∃ c País(c) ∧ Fronteira(c,
Iraque) ∧ Fronteira(c, Paquistão).
 Expressa
corretamente a
sentença
b) ∃ c País(c) ⇒ Fronteira(c,
Iraque) ∧ Fronteira(c, Paquistão).
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
c) ∃ c Fronteiras(País(c), Iraque ∧
Paquistão).
 É inválida
sintaticamente e,
portanto, não tem
significado
d) (∃ c País(c)) ⇒ (Fronteira(c, É válida
0 em 0 pontos
Respostas:
Escolhas com todas as respostas
Comentário da
resposta:
Iraque) ∧ Fronteira(c, Paquistão)). sintaticamente, mas
não expressa o
significado da
sentença
Existe um país que faz fronteira tanto com o Iraque como com
o Paquistão.
a) ∃ c País(c) ∧ Fronteira(c,
Iraque) ∧ Fronteira(c, Paquistão).
 Expressa
corretamente a
sentença
b) ∃ c País(c) ⇒ Fronteira(c,
Iraque) ∧ Fronteira(c, Paquistão).
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
c) ∃ c Fronteiras(País(c), Iraque ∧
Paquistão).
 É inválida
sintaticamente e,
portanto, não tem
significado
d) (∃ c País(c)) ⇒ (Fronteira(c,
Iraque) ∧ Fronteira(c, Paquistão)).
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
Expressa corretamente a sentença
É inválida sintaticamente e, portanto, não tem
significado
É válida sintaticamente, mas não expressa o
significado da sentença
a) ∃ c País(c) ∧ Fronteira(c, Iraque) ∧ Fronteira(c,
Paquistão).
Expressa corretamente a sentença.
b) ∃ c País(c) ⇒ [Fronteira(c, Iraque) ∧ Fronteira(c,
Paquistão)].
É válida sintaticamente, mas não expressa o significado
da sentença.
Justificativa: se c não é País, a sentença é verdadeira.
c) ∃ c Fronteiras(País(c), Iraque ∧ Paquistão).
É inválida sintaticamente e, portanto, não tem
significado. 
Justificativa: não existe a conjunção de constantes.
d) (∃ c País(c)) ⇒ (Fronteira(c, Iraque) ∧ Fronteira(c,
Paquistão)). 
É válida sintaticamente, mas não expressa o significado
da sentença. 
Justificativa: c está livre na segunda parte da fórmula.
Pergunta 3
Resposta
Selecionada:
Respostas:
Todos os países que fazem fronteira com o Equador estão na América do Sul.
a) ∀ c País(c) ∧ Fronteira(c, Equador) ⇒
Em(c, América do Sul) [1]
b) ∀ c País(c) ⇒ Fronteira(c, Equador) ⇒
Em(c, América do Sul) [2]
c) ∀ c País(c) ∧ Fronteira(c, Equador) ∧
Em(c, América do Sul) [3]
d) (∃ c País(c)) ⇒ (Fronteira(c, Equador) ∧
Fronteira(c, América do Sul)). [4]
Todos os países que fazem fronteira com o Equador estão na
América do Sul.
a) ∀ c País(c) ∧ Fronteira(c,
Equador) ⇒ Em(c, América do
Sul)
 Expressa
corretamente a
sentença
b) ∀ c País(c) ⇒ Fronteira(c,
Equador) ⇒ Em(c, América do
Sul)
 Expressa
corretamente a
sentença
c) ∀ c País(c) ∧ Fronteira(c,
Equador) ∧ Em(c, América do
Sul)
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
d) (∃ c País(c)) ⇒ (Fronteira(c,
Equador) ∧ Fronteira(c, América
do Sul)). 
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
Todos os países que fazem fronteira com o Equador estão na
América do Sul.
a) ∀ c País(c) ∧ Fronteira(c,
Equador) ⇒ Em(c, América do
Sul)
 Expressa
corretamente a
sentença
b) ∀ c País(c) ⇒ Fronteira(c,
Equador) ⇒ Em(c, América do
Sul)
 Expressa
corretamente a
sentença
c) ∀ c País(c) ∧ Fronteira(c,
Equador) ∧ Em(c, América do
Sul)
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
0 em 0 pontos
Escolhas com todas as respostas
Comentário
da
resposta:
d) (∃ c País(c)) ⇒ (Fronteira(c,
Equador) ∧ Fronteira(c, América
do Sul)). 
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
É válida sintaticamente, mas não expressa o
significado da sentença
É inválida sintaticamente e, portanto, não tem
significado
Expressa corretamente a sentença
a) ∀ c País(c) ∧ Fronteira(c, Equador) ⇒ Em(c, América do Sul)
Expressa corretamente a sentença.
b) ∀ c País(c) ⇒ (Fronteira(c, Equador) ⇒ Em(c, América do Sul))
É válida sintaticamente mas não expressa o significado da
sentença.
Justificativa: se c é um país que não faz fronteira com o
equador então o consequente da primeira implicação lógica é
verdadeiro independentemente se c faz parte da América do Sul
ou não.
c) ∀ c (País(c) ⇒ Fronteira(c, Equador)) ⇒ Em(c, América do Sul)
É válida sintaticamente mas não expressa o significado da
sentença.
Justificativa: Se c não é um país, a expressão entre parênteses
é verdadeira e a expressão completa é verdade se c estiver na
América do Sul (por exemplo, se c for uma cidade). Por outro
lado, se c for um País e não fizer fronteira com o Equador, a
expressão é verdade mesmo que ele não esteja na América do
Sul.
d) ∀ c País(c) ∧ Fronteira(c, Equador) ∧ Em(c, América do Sul)
Expressa corretamente a sentença.
Justificativa: A sentença só é verdade se todo elemento c for
um país e fizer fronteira com o Equador e estiver na AMérica do
Sul.
Pergunta 4
Nenhuma região da América do Sul faz fronteira com qualquer região da
Europa.
a) ¬∃ c, d Em(c, América do Sul) ∧ Em(d,
Europa) ∧ Fronteira(c, d) [1]
b) ∀ c, d Em(c, América do Sul) ∧ Em(d,
Europa) ⇒ ¬Fronteira(c, d) [2]
0 em 0 pontos
Resposta
Selecionada:
Respostas:
Escolhas com todas as respostas
Comentário
da
resposta:
c) ¬∀ c Em(c, América do Sul) ⇒ ∃ d Em(d,
Europa) ∧ ¬Fronteira(c, d)
[3]
Nenhuma região da América do Sul faz fronteira com
qualquer região da Europa.
a) ¬∃ c, d Em(c, América do Sul)
∧ Em(d, Europa) ∧ Fronteira(c, d)
 Expressa
corretamente a
sentença
b) ∀ c, d Em(c, América do Sul) ∧
Em(d, Europa) ⇒ ¬Fronteira(c, d)
 Expressa
corretamente a
sentença
c) ¬∀ c Em(c, América do Sul) ⇒
∃ d Em(d, Europa) ∧
¬Fronteira(c, d)
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
Nenhuma região da América do Sul faz fronteiracom
qualquer região da Europa.
a) ¬∃ c, d Em(c, América do Sul)
∧ Em(d, Europa) ∧ Fronteira(c, d)
 Expressa
corretamente a
sentença
b) ∀ c, d Em(c, América do Sul) ∧
Em(d, Europa) ⇒ ¬Fronteira(c, d)
 Expressa
corretamente a
sentença
c) ¬∀ c Em(c, América do Sul) ⇒
∃ d Em(d, Europa) ∧
¬Fronteira(c, d)
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
Expressa corretamente a sentença
É inválida sintaticamente e, portanto, não tem
significado
É válida sintaticamente, mas não expressa o
significado da sentença
a) ¬[∃ c, d Em(c, América do Sul) ∧ Em(d, Europa) ∧ Fronteira(c,
d)]
Expressa corretamente a sentença.
b) ∀ c, d [Em(c, América do Sul) ∧ Em(d, Europa) ⇒ ¬Fronteira(c,
d)]
Expressa corretamente a sentença.
c) ¬∀ c Em(c, América do Sul) ⇒ ∃ d Em(d, Europa) ∧
¬Fronteira(c, d)
É válida sintaticamente, mas não expressa o significado da
sentença. 
Justificativa: o antecedente afirma que existe algum país que
não está na América do Sul e a sentença será verdadeira
quando existir um país na Europa que não faça fronteira com
ele.
Pergunta 5
Resposta
Selecionada:
Respostas:
Não existem dois países adjacentes com a mesma cor dentro do mapa.
a) ∀ x, y ¬País(x) ∨ ¬País(y) ∨ ¬Fronteira(x,
y) ∨ ¬(MapColor(x) = MapColor(y)) [1]
b) ∀ x, y (País(x) ∧ País(y) ∧ Fronteira(x, y)
∧ ¬(x=y)) ⇒ ¬(MapColor(x) = MapColor(y)) [2]
c) ∀ x, y País(x) ∧ País(y) ∧ Fronteira(x, y) ∧
¬(MapColor(x) = (MapColor(y)) [3]
d) ∀ x, y (País(x) ∧ País(y) ∧ Fronteira(x, y)
⇒ MapColor (x ≠ y) [4]
Não existem dois países adjacentes com a mesma cor dentro
do mapa.
a) ∀ x, y ¬País(x) ∨ ¬País(y) ∨
¬Fronteira(x, y) ∨ ¬(MapColor(x)
= MapColor(y)) 
 Expressa
corretamente a
sentença
b) ∀ x, y (País(x) ∧ País(y) ∧
Fronteira(x, y) ∧ ¬(x=y)) ⇒
¬(MapColor(x) = MapColor(y))
 Expressa
corretamente a
sentença
c) ∀ x, y País(x) ∧ País(y) ∧
Fronteira(x, y) ∧ ¬(MapColor(x) =
(MapColor(y))
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
d) ∀ x, y (País(x) ∧ País(y) ∧
Fronteira(x, y) ⇒ MapColor (x ≠ y)
 É inválida
sintaticamente e,
portanto, não tem
significado
Não existem dois países adjacentes com a mesma cor dentro
do mapa.
a) ∀ x, y ¬País(x) ∨ ¬País(y) ∨
¬Fronteira(x, y) ∨ ¬(MapColor(x)
= MapColor(y)) 
 Expressa
corretamente a
sentença
b) ∀ x, y (País(x) ∧ País(y) ∧
Fronteira(x, y) ∧ ¬(x=y)) ⇒
¬(MapColor(x) = MapColor(y))
 Expressa
corretamente a
sentença
c) ∀ x, y País(x) ∧ País(y) ∧
Fronteira(x, y) ∧ ¬(MapColor(x) =
(MapColor(y))
 É válida
sintaticamente, mas
não expressa o
significado da
sentença
É
0 em 0 pontos
Quarta-feira, 16 de Novembro de 2022 16h36min21s BRT
Escolhas com todas as respostas
Comentário
da
resposta:
d) ∀ x, y (País(x) ∧ País(y) ∧
Fronteira(x, y) ⇒ MapColor (x ≠ y)
 É inválida
sintaticamente e,
portanto, não tem
significado
Expressa corretamente a sentença
É inválida sintaticamente e, portanto, não tem
significado
É válida sintaticamente, mas não expressa o
significado da sentença
a) ∀ x, y ¬País(x) ∨ ¬País(y) ∨ ¬Fronteira(x, y) ∨ ¬(MapColor(x) =
(MapColor(y))
Expressa corretamente a sentença.
b) ∀ x, y (País(x) ∧ País(y) ∧ Fronteira(x, y) ∧ ¬(x=y)) ⇒
¬(MapColor(x) = MapColor(y))
Expressa corretamente a sentença.
c) ∀ x, y País(x) ∧ País(y) ∧ Fronteira(x, y) ∧ ¬(MapColor(x) =
(MapColor(y))
É válida sintaticamente, mas não expressa o significado da
sentença. 
Justificativa: quaisquer x e y são países e têm fronteira.
d) ∀ x, y (País(x) ∧ País(y) ∧ Fronteira(x, y) ⇒ MapColor (x ≠ y)
É inválida sintaticamente e, portanto, não tem significado 
Justificativa: a comparação x ≠ y não pode estar dentro do
argumento. Além disso, MapColor é função e não pode aparecer
como uma fórmula.
← OK