ALC

CAC - 2019/2020

Projet Algorithmes pour la logique computationnelle.

Introduction

Le projet consiste à développer un outil logiciel permettant de construire des arbres de décision à partir d'un ensemble d'échantillons. Il a pour référence l'article Narodytska et al.

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

Exigences

• GNU/Linux
• Python3
• Plus d'exigences expliquées dans chaque projet.

Références

[Narodytska et al] N. Narodytska, A. Ignatiev, F. Pereira et J. Marques-Silva. Apprendre les arbres de décision optimaux avec SAT. Dans J. Lang, éditeur, Actes de la vingt-septième Conférence internationale conjointe sur l'intelligence artificielle, IJCAI 2018, 13-19 juillet 2018, Stockholm, Suède, pages 1362-1368. ijcai.org, 2018.