Obiettivi

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.