INF1771 - INTELIGÊNCIA ARTIFICIAL
LISTA DE EXERCÍCIOS 3
Aluno:
1
. Considere uma base de conhecimento (BC) que contém as seguintes sentenças em lógica
proposicional:
A ∨ B ⇒ C
¬
A ⇒ B
C ∨ B
(a) Construa uma tabela verdade que mostre o valor verdade de cada uma das
sentenças da BC e indique os modelos em que BC é verdade.
(
(
(
b) Usando model checking, verifique se a BC implica em ¬B?
c) Usando model checking, verifique se a BC implica em A ∧ C?
d) Usando model checking, verifique se a BC implica em ¬C ⇒ A? Estenda a tabela de
verdade para provar isso.
2
. Considere as seguintes afirmações:
“
Se o pônei é maldito, então ele é chato, mas se não é maldito, então ele é fofinho. Se o
pônei é chato ou fofinho, então ele é baixinho.”
(a) Crie uma base de conhecimento (BC) expressando as afirmações acima em lógica
proposicional (usando apenas quatro símbolos proposicionais).
(b) Construa uma tabela verdade que mostre o valor verdade de cada uma das
sentenças da BC e indique os modelos em que BC é verdade.
(
c) Usando model checking, responda a pergunta "O pônei é maldito?"
d) Usando model checking, responda a pergunta "O pônei é baixinho?"
(
