ALC

ALC - 2019/2020

Computational Logic 프로젝트의 알고리즘입니다.

소개

이 프로젝트는 일련의 샘플을 바탕으로 의사 결정 트리를 구성하기 위한 소프트웨어 도구를 개발하는 것입니다. 이는 Narodytska et al. 논문을 참조한 것입니다.

• 프로젝트 1(SAT)
• 프로젝트 2 (SMT)
• 프로젝트 3(CSP)
• 프로젝트 4(ASP)

요구사항

• GNU/리눅스
• 파이썬 3
• 각 프로젝트에 더 많은 요구사항이 설명되어 있습니다.

참고자료

[Narodytska 등] N. Narodytska, A. Ignatiev, F. Pereira 및 J. Marques-Silva. SAT를 통해 최적의 의사결정나무를 학습합니다. In J. Lang, 편집자, 제27차 인공지능 국제 합동회의 회보, IJCAI 2018, 2018년 7월 13-19일, 스웨덴 스톡홀름., 페이지 1362-1368. ijcai.org, 2018.