ALC

เอแอลซี - ​​2019/2020

โครงการอัลกอริทึมสำหรับลอจิกคำนวณ

การแนะนำ

โครงงานนี้คือการพัฒนาเครื่องมือซอฟต์แวร์สำหรับสร้างแผนผังการตัดสินใจโดยใช้ชุดตัวอย่าง มีการอ้างอิงในเอกสาร Narodytska และคณะ

• โครงการที่ 1 (SAT)
• โครงการที่ 2 (SMT)
• โครงการที่ 3 (คสช.)
• โครงการที่ 4 (ASP)

ความต้องการ

• กนู/ลินุกซ์
• หลาม 3
• ข้อกำหนดเพิ่มเติมอธิบายไว้ในแต่ละโครงการ

อ้างอิง

[Narodytska และคณะ] N. Narodytska, A. Ignatiev, F. Pereira และ J. Marques-Silva การเรียนรู้แผนผังการตัดสินใจที่เหมาะสมกับ SAT ใน J. Lang บรรณาธิการ Proceedings of the Twenty-Seventh International JointConference on Artificial Intelligence, IJCAI 2018, 13-19 กรกฎาคม 2018, สตอกโฮล์ม, สวีเดน, หน้า 1362–1368 ijcai.org, 2018.