ASP Timetable

Расписание ASP

ASP Timetable — это приложение для составления расписания, реализованное декларативным образом с использованием программирования наборов ответов и решателя Clingo из моего курса по искусственному интеллекту. Составление расписания считается классической проблемой ИИ, включающей множество ограничений, и эта программа решает различные проблемы и соображения, связанные с составлением расписаний.

Функции

• Общий
  • Вывод Clingo анализируется и интерпретируется сценарием Python для создания графического интерфейса Tkinter.
  • Сгенерированные наборы, полностью написанные на AnsProlog.
  • Программа документирована с использованием LANA
• Ограничения
  • студенты не могут посещать две лекции одновременно
  • преподаватели не могут преподавать два предмета одновременно
  • помещения можно использовать только для одной лекции одновременно
  • преподаватели не могут преподавать, когда у них есть другие обязательства
  • у студентов и преподавателей есть расписание всех занятий
• Слабые ограничения (добавьте штрафные баллы к наборам, которые не соответствуют этому правилу)
  • преподаватели могут выбрать предпочтительное время обучения
  • в расписании предусмотрен перерыв на обед, где это возможно
  • нет запланированных лекций по средам после обеда
• Атомы (указанные пользователем atoms.lp )
  • студенты
  • комнаты
  • единицы
  • преподаватели
  • вместимость номеров
  • единицы, взятые студентом
  • разделы, преподаваемые преподавателем
  • случаи, когда у лектора есть другие обязательства

Скриншоты

Скриншот графического интерфейса Tkinter

Скриншот вывода командной строки Clingo

Использование

Основное использование

1. Клонируйте проект и перейдите в папку src проекта.

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

2. Сгенерируйте набор ответов с помощью Clingo и передайте выходные данные в скрипт Python, который проанализирует данные и сгенерирует графический интерфейс: clingo -n 0 asp/timetable.lp asp/atoms.lp --outf=2 | python Timetable.py где:

   • clingo — это команда, используемая для запуска генерации набора ответов с использованием указанных файлов AnsProlog.
   • timetable.lp содержит генераторы, правила, ограничения и параметры отображения для создания оптимального расписания.
   • atoms.lp содержит все атомы, такие как курсы, лекторы, комнаты и т. д.
   • --outf=2 выводит сгенерированный набор ответов в формате JSON.
   • | передает вывод JSON в скрипт Python
   • python Timetable.py запускает сценарий Python для анализа вывода JSON и создания графического интерфейса Tkinter с данными оптимального ответа.

3. Подождите, пока расписание будет создано в ASP и графический интерфейс будет запущен на Python.

Расширенное использование

Если вы просто хотите просто сгенерировать набор ответов с помощью clingo без графического интерфейса Tkinter:

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

Если вы просто хотите запустить тестовые примеры, перед использованием этой команды убедитесь, что вы находитесь в папке «src», и замените тестовым примером в каталоге ASP-Timetable/src/asp/test_cases :

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

Вы можете просмотреть документацию LANA в своем веб-браузере (созданную с использованием расширения SeaLion Eclipse). Для этого перейдите в папку documentation и откройте файл index.html в веб-браузере.

Лицензия

• см. файл ЛИЦЕНЗИИ

Контакт

• электронная почта: [email protected]
• сайт: www.adam.jaamour.com.
• Твиттер: @Adamouization