QUESTÃO 7
Downloade um planejador qualquer (blackbox, FF, HSP, e outros), codifique o
problema de Sokoban em PDDL e resolva o problema abaixo,
que é uma simplificação do problema 1 de Sokoban (``#'' é uma parede,
``$'' uma caixa, ``.'' o objetivo, e ``@'' a pessoa.
#####
# #
# #
### ##
# $ #
### # ## # ######
# # ## ##### #
# $ ..#
##### ### #@## #
# #########
#######
QUESTÃO 8 O arquivo http://www.dcc.unicamp.br/~wainer/cursos/cluster contém 70 pares de dados que devem
se encarados como as coordenadas de um conjunto de pontos. Utilize
alguma forma de clusterizar os dados em 4 grupos. Mostre graficamente
os clusters obtidos, comente o algoritmo usado e os resultados.
QUESTÃO 9
O site
http://www.hospvirt.org.br/enfermagem/port/ddinfec.htm lista
algumas doenças infecciosas na infancia. Escreva um programa de
diagnostico que dado alguns sintomas (manifestações) produz os varios
diagnosticos possiveis (de apenas uma doença). Não se preocupe com a
parte temporal.
QUESTÃO 10
O arquivo http://www.dcc.unicamp.br/~wainer/cursos/treino contem dados na forma x y z w c
onde os 4 primeiros são valores inteiros para os 4 atributos dos dados
e c é a classe
correspondente ao dado. Downloade/implemente pelo menos 2 programas
de aprendizado que usem os dados de treino como
aprendizado. Justifique sua decisão em usar um ou outro algoritmos de
aprendizado.
O arquivo http://www.dcc.unicamp.br/~wainer/cursos/teste contem dados, sem a classificação criados da mesma distribuição (de probabilidades). Teste os dois algoritmos nos dados de teste.
QUESTÃO 11
Downloade um provador de teorema e prove que dado que
((b<->c)->(a&b&c)) & ((c<->a)->(a&b&c)) & ((a<->b)->(a&b&c))
então pode-se concluir que (a&b&c)
Discuta o resultado obtido com o provador. Nao ha muitos provadores
proposicionais disponives. Considere a possibilidade de usar um
provador de primeira ordem - e talvez voce tenha que converter a
formula acima para primeira ordem.