Sito Web dimostrativo:
Il progetto ha permesso la realizzazione di una libreria prolog per la soluzione di giochi matematici con diagramma. Una demo della libreria è disponibile qui.
Articoli:
Federico Chesani, Paola Mello and Michela Milano, Solving Mathematical Puzzles: A Challenging Competition for AI, «AI MAGAZINE», 2017, 38, pp. 83 - 96.
Federico Chesani, Elisa Gambetti, Fiorella Giusberti, Daniela Loreti and Paola Mello, Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive Science, Proceedings of the 15th Conference of the Italian Association of Cognitive Science, 2018.
Tale contributo è stato selezionato tra i migliori presentati ad AISC 2018 e gli autori sono stati invitati a publicarne una versione estesa sulla rivista Sistemi Intelligenti (Il Mulino).
Tesi correlate:
Riccardo Buscaroli, Un approccio alla risoluzione di giochi matematici in un contesto multimodale, Tesi di Laurea in Intelligenza Artificiale, Università di Bologna, 2018
Slide:
Introduzione alla programmazione a vincoli
Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive