ALC
Project 4
计算逻辑的算法项目。
该项目旨在开发一种软件工具,用于在给定一组样本的情况下构建决策树。它以 Narodytska 等人的论文作为参考。
[Narodytska 等人]N. Narodytska、A. Ignatiev、F. Pereira 和 J. Marques-Silva。使用 SAT 学习最优决策树。 J. Lang,编辑,《第二十七届国际人工智能联合会议论文集》,IJCAI 2018,2018 年 7 月 13-19 日,瑞典斯德哥尔摩,第 1362-1368 页。 ijcai.org,2018。