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