4) { while ($ads2 == $ads1) { $ads2 = rand(1, $slides); } } $ads3 = rand(1, $slides); if ($slides > 4) { while (($ads3 == $ads2) || ($ads3 == $ads1)) { $ads3 = rand(1, $slides); } } ?>
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 ¬CA? 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?"  
(