ALC

ALC - 2019/2020

Algoritma untuk proyek Logika Komputasi.

Perkenalan

Proyek ini adalah untuk mengembangkan perangkat lunak untuk membangun pohon keputusan berdasarkan sekumpulan sampel. Ini memiliki referensi makalah Narodytska et al.

• Proyek 1 (SAT)
• Proyek 2 (SMT)
• Proyek 3 (CSP)
• Proyek 4 (ASP)

Persyaratan

• GNU/Linux
• ular piton 3
• Persyaratan lebih lanjut dijelaskan di setiap proyek.

Referensi

[Narodytska dkk] N. Narodytska, A. Ignatiev, F. Pereira, dan J. Marques-Silva. Mempelajari pohon keputusan optimal dengan SAT. Dalam J. Lang, editor, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, 13-19 Juli 2018, Stockholm, Swedia.,halaman 1362–1368. ijcai.org, 2018.