Facilitação do uso de ASP para a criação de horários

Abstract

Atualmente existe a necessidade, na Faculdade de Ciências e Tecnologia da Universidade NOVA de Lisboa, de possuir uma aplicação que permita o agendamento das apresentações dos documentos de preparação das dissertações, sem que se verifiquem sobreposições de horários, indisponibilidades de salas e/ou de algum/ns membro/s do júri designado/s para o efeito. A pertinência desta aplicação advém do facto de todos os alunos necessitarem de apresentar este documento num curto período de tempo e da possibilidade de um professor participar em várias apresentações. Esta dissertação pretende, pois, dar resposta à conjugação de horários, sendo apresen- tado o desenvolvimento de uma aplicação, com recurso ao Answer Set Programming - Programação por Conjuntos de Resposta (ASP). A opção pelo ASP em detrimento de outras ferramentas, que são analisadas ao longo do documento, prende-se com o facto de apresentar inúmeras vantagens. Tratando-se de uma forma de programação declarativa, permite a resolução de diferentes problemas combinatórios, utilizando solvers eficientes na obtenção de soluções e requerendo como pressuposto a existência de conhecimento especializado do utilizador. Para a construção destes horários, a composição dos júris e respetivas indisponibili- dades, o horário e disponibilidade das salas, o horário e a duração das apresentações e a sobreposição de diferentes sessões nas quais participe o mesmo membro do júri, são requisitos que foram tidos em conta. A aplicação desenvolvida é uma ferramenta que facilita ao utilizador responsável organizar os horários das apresentações, tanto a nível de recolha de informação, como na computação de um horário que satisfaça todas as restrições. Importa ainda sublinhar que cada utilizador poderá colocar individualmente as suas restrições e o organizador coloca as restrições restantes necessárias à computação do horário final, terminando com a aplicação a correr o programa ASP previamente desenvolvido.

There is currently a need at NOVA School of Science and Technology to have an application that allows presentations of dissertation preparation documents to be scheduled without overlapping schedules, unavailability of rooms and/or of any member(s) of the jury assigned for the purpose. The relevance of this application comes from the fact that all students need to present this document in a short period of time and that one teacher can take part in several presentations. This dissertation, therefore, aims to respond to the combination of schedules by pre- senting the development of an application using ASP. The choice of ASP over other tools, which are analysed throughout the document, is due to the fact that it has numerous advantages. As it is a form of declarative programming, it allows different combinatorial problems to be solved, using efficient solvers to obtain solutions and requiring specialised knowledge on the part of the user. To build these timetables, the composition of the juries and their respective unavailabil- ities, the time and availability of the rooms, the time and duration of the presentations and the overlapping of different sessions in which the same jury member participates are all requirements that have been taken into account. The application developed is a tool that makes it easier for the responsible user to organise presentation schedules, both in terms of gathering information and computing a schedule that meets all the restrictions. It should also be noted that each user can individually place their own restrictions and the organiser places the remaining restrictions needed to compute the final timetable, ending with the application running the previously developed ASP program.