Gli obiettivi del progetto ASIA-GiM possono essere sintetizzati come segue:
- Comprendere come gli studi recenti in neuroscienze e psicologia cognitiva possano guidare e ispirare approcci per la soluzione automatica di giochi matematici.
- Identificare e raccogliere un numero sufficiente di giochi matematici, al fine di costruire un corpus di esempi a supporto delle attività di ricerca.
- Studiare e sviluppare prototipi software capaci di comprendere giochi matematici e di risolverli, restringendosi in particolare a problemi rappresentabili in termini di vincoli e loro soddisfacimento.