ALC

アルク - 2019/2020

Computational Logic のプロジェクトのアルゴリズム。

導入

このプロジェクトは、サンプルのセットを与えてデシジョン ツリーを構築するソフトウェア ツールを開発することです。参考文献として Narodytska et al. の論文が含まれています。

• プロジェクト 1 (SAT)
• プロジェクト 2 (SMT)
• プロジェクト 3 (CSP)
• プロジェクト 4 (ASP)

要件

• GNU/Linux
• パイソン3
• 詳しい要件については各プロジェクトで説明します。

参考文献

[Narodytska 他] N. Narodytska、A. Ignatiev、F. Pereira、および J. Marques-Silva。 SAT を使用して最適なデシジョン ツリーを学習します。 J. Lang 編集者、人工知能に関する第 27 回国際共同会議議事録、IJCAI 2018、2018 年 7 月 13 ～ 19 日、スウェーデン、ストックホルム、1362 ～ 1368 ページ。 ijcai.org、2018年。