Geração automática de horários escolares utilizando Algoritmos de Satisfação de Restrições
Resumo
Atualmente, diversas Instituições de ensino possuem uma grande dificuldade com relação à geração de horários escolares, visto que, para gerar estes horários manualmente é necessário respeitar uma série de restrições. Desta forma, um problema com tais características exige, para a sua resolução, métodos para decomposição e busca de soluções. Neste contexto, a automatização do processo de geração de horário escolar pode trazer benefícios, justificando, deste modo, investigações nesta área. Partindo deste principio e utilizando o conceito de Problemas de Satisfação de Restrições (PSR), esta pesquisa visa o desenvolvimento de uma ferramenta que tratará todas as informações pertinentes ao problema citado, a fim de gerar automaticamente os horários, respeitando a cada restrição imposta ao longo do processo. A ferramenta será desenvolvida considerando um ambiente específico de uma universidade e curso particular.