ตารางเวลา ASP

ASP Timetable เป็นแอปพลิเคชันกำหนดเวลาที่นำมาใช้ในลักษณะที่ประกาศโดยใช้ Answer Set Programming และ Clingo Solver ในหลักสูตรปัญญาประดิษฐ์ของฉัน การตั้งเวลาถือเป็นปัญหา AI แบบคลาสสิกที่เกี่ยวข้องกับข้อจำกัดหลายประการ และโปรแกรมนี้จัดการกับความท้าทายและข้อควรพิจารณาต่างๆ ที่เกี่ยวข้องกับการสร้างตารางเวลา

คุณสมบัติ

ทั่วไป
- เอาต์พุต Clingo แยกวิเคราะห์และตีความโดยสคริปต์ Python เพื่อสร้าง Tkinter GUI
- ชุดที่สร้างขึ้นเขียนด้วย AnsProlog ทั้งหมด
- โปรแกรมจัดทำเอกสารโดยใช้ LANA
ข้อจำกัด
- นักศึกษาไม่สามารถเข้าร่วมการบรรยายสองครั้งพร้อมกันได้
- อาจารย์ไม่สามารถสอนสองหน่วยพร้อมกันได้
- สามารถใช้ห้องบรรยายได้ครั้งละหนึ่งห้องเท่านั้น
- อาจารย์ไม่สามารถสอนได้เมื่อมีภาระผูกพันอื่น
- นักศึกษาและอาจารย์มีตารางเรียนทุกหน่วย
ข้อจำกัดที่อ่อนแอ (เพิ่มจุดโทษให้กับเซตที่ไม่รองรับกฎนี้)
- อาจารย์สามารถเลือกเวลาสอนที่ต้องการได้
- ตารางเวลาเสนอช่วงพักกลางวันหากเป็นไปได้
- ไม่มีกำหนดการบรรยายในบ่ายวันพุธ
อะตอม (ผู้ใช้ระบุใน atoms.lp )
- นักเรียน
- ห้องพัก
- หน่วย
- อาจารย์
- ความจุของห้อง
- หน่วยที่นักเรียนเรียน
- หน่วยที่อาจารย์สอน
- เวลาที่อาจารย์มีภาระผูกพันอย่างอื่น

ภาพหน้าจอ

ภาพหน้าจอของ Tkinter GUI

ภาพหน้าจอ GUI

ภาพหน้าจอเอาต์พุต Command Line Clingo

ภาพหน้าจอ CLI

การใช้งาน

การใช้งานขั้นพื้นฐาน

โคลนโปรเจ็กต์และซีดีไปยังโฟลเดอร์ src ของโปรเจ็กต์

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

สร้างชุดคำตอบโดยใช้ Clingo และไพพ์เอาต์พุตไปยังสคริปต์ python ที่จะแยกวิเคราะห์ข้อมูลและสร้าง GUI: clingo -n 0 asp/timetable.lp asp/atoms.lp --outf=2 | python Timetable.py โดยที่:
- clingo เป็นคำสั่งที่ใช้ในการรันสร้างชุดคำตอบโดยใช้ไฟล์ AnsProlog ที่ระบุ
- timetable.lp ประกอบด้วยตัวสร้าง กฎ ข้อจำกัด และตัวเลือก dislay เพื่อสร้างตารางเวลาที่เหมาะสมที่สุด
- atoms.lp ประกอบด้วยอะตอมทั้งหมด เช่น หลักสูตร อาจารย์ ห้อง ...
- --outf=2 ส่งออกชุดคำตอบที่สร้างขึ้นในรูปแบบ JSON
- | ไพพ์เอาต์พุต JSON ลงในสคริปต์หลาม
- python Timetable.py รันสคริปต์ Python เพื่อแยกวิเคราะห์เอาต์พุต JSON และสร้าง Tkinter GUI ด้วยข้อมูลจากคำตอบที่ดีที่สุด
รอจนกว่าตารางเวลาจะถูกสร้างขึ้นใน ASP และ GUI จะเปิดตัวใน Python

การใช้งานขั้นสูง

หากคุณเพียงต้องการสร้างชุดคำตอบโดยใช้ 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

คุณสามารถดูเอกสาร LANA บนเว็บเบราว์เซอร์ของคุณ (สร้างโดยใช้ส่วนขยาย SeaLion Eclipse) โดยไปที่โฟลเดอร์ documentation และเปิดไฟล์ index.html ในเว็บเบราว์เซอร์ของคุณ