ASP Timetable

ASP 时间表

ASP Timetable是一个时间表应用程序，使用答案集编程和 Clingo 求解器以声明方式实现我的人工智能课程。时间表被认为是一个涉及许多约束的经典人工智能问题，该程序解决了生成时间表时遇到的不同挑战和考虑因素。

特征

• 一般的
  • 由 Python 脚本解析和解释的 Clingo 输出以创建 Tkinter GUI
  • 生成集完全用 AnsProlog 编写
  • 使用 LANA 记录的程序
• 约束条件
  • 学生不能同时参加两场讲座
  • 讲师不能同时教授两个单元
  • 房间一次只能用于一场讲座
  • 讲师有其他任务时无法授课
  • 学生和讲师都有他们所有单元的时间表
• 弱约束（对不符合此规则的集合添加罚分）
  • 讲师可以有首选的教学时间
  • 时间表尽可能提供午休时间
  • 周三下午没有预定的讲座
• 原子（用户在atoms.lp中指定）
  • 学生
  • 房间
  • 单位
  • 讲师
  • 房间容量
  • 学生所修读的学分
  • 讲师教授的单元
  • 讲师有其他任务的次数

截图

Tkinter GUI 屏幕截图

命令行 Clingo 输出屏幕截图

用法

基本用法

1. 克隆项目并 cd 到项目的src文件夹。

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

2. 使用Clingo生成答案集，并将输出通过管道传输到 python 脚本，该脚本将解析数据并生成 GUI： 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 GUI。

3. 等待在 ASP 中生成时间表并在 Python 中启动 GUI。

高级用法

如果您只想使用 clingo 生成答案集而不使用 Tkinter GUI：

 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/.lp --outf=2 | python Timetable.py

您可以在 Web 浏览器上查看LANA文档（使用 SeaLion Eclipse 扩展生成）。为此，请转至documentation夹并在 Web 浏览器中打开index.html文件。

执照

• 请参阅许可证文件

接触

• 电子邮件：[email protected]
• 网站：www.adam.jaamour.com
• 推特：@Adamouization