Download ASP Timetable - Download do código-fonte ASP Timetable

ASP Timetable

Outras categorias

1.0.0

Baixar

Cronograma ASP

ASP Timetable é um aplicativo de tabela de horários implementado de forma declarativa usando Answer Set Programming e o solucionador Clingo meu curso de Inteligência Artificial. A tabela de horários é considerada um problema clássico de IA que envolve muitas restrições, e este programa aborda os diferentes desafios e considerações que envolvem a geração de horários.

Características

Em geral
- Saída do Clingo analisada e interpretada por um script Python para criar uma GUI Tkinter
- Conjuntos gerados escritos inteiramente em AnsProlog
- Programa documentado usando LANA
Restrições
- os alunos não podem assistir a duas palestras ao mesmo tempo
- os professores não podem ministrar duas unidades ao mesmo tempo
- as salas só podem ser usadas para uma palestra por vez
- os professores não podem ensinar quando têm outros compromissos
- alunos e professores têm programação de todas as unidades
Restrições Fracas (adicione pontos de penalidade aos conjuntos que não acomodam esta regra)
- os professores podem ter horários de ensino preferenciais
- horários oferecem intervalo para almoço sempre que possível
- não há palestras programadas nas tardes de quarta-feira
Átomos (especificados pelo usuário em atoms.lp )
- estudantes
- quartos
- unidades
- palestrantes
- capacidade dos quartos
- unidades tiradas por um aluno
- unidades ministradas por um professor
- momentos em que um professor tem outros compromissos

Capturas de tela

Captura de tela da GUI do Tkinter

Captura de tela da GUI

Captura de tela de saída do Clingo da linha de comando

Captura de tela da CLI

Uso

Uso Básico

Clone o projeto e faça cd para a pasta src do projeto.

 git clone https://github.com/Adamouization/ASP-Timetable
cd ASP-Timetable/src/

Gere o conjunto de respostas usando Clingo e canalize a saída para o script python que analisará os dados e gerará uma GUI: clingo -n 0 asp/timetable.lp asp/atoms.lp --outf=2 | python Timetable.py onde:
- clingo é o comando usado para executar a geração do conjunto de respostas usando os arquivos AnsProlog especificados
- timetable.lp contém os geradores, regras, restrições e opções de exibição para gerar o horário ideal
- atoms.lp contém todos os átomos, como cursos, palestrantes, salas, ...
- --outf=2 gera o conjunto de respostas gerado no formato JSON
- | canaliza a saída JSON para o script python
- python Timetable.py executa o script Python para analisar a saída JSON e criar a GUI Tkinter com os dados da resposta ideal.
Aguarde até que o horário seja gerado em ASP e a GUI seja iniciada em Python.

Uso Avançado

Se você deseja apenas gerar o conjunto de respostas usando clingo sem a GUI do Tkinter:

 clingo -n 0 asp/timetable.lp asp/atoms.lp

Se você deseja apenas executar os casos de teste, certifique-se de estar na pasta "src" antes de usar este comando e substitua pelo caso de teste no diretório ASP-Timetable/src/asp/test_cases :

 clingo -n 0 asp/timetable.lp asp/test_cases/<test-file>.lp --outf=2 | python Timetable.py

Você pode visualizar a documentação LANA em seu navegador da web (gerada usando a extensão SeaLion Eclipse). Para isso, acesse a pasta documentation e abra o arquivo index.html em seu navegador.