Abstract:

En este curso de tres sesiones brindaremos aspectos esenciales de los tres pilares fundacionales de la Inteligencia Artificial Matemática (IAM) (o Metamatemática Cognitivo-Computacional (MMCC)), la cual busca poder generar agentes artificiales matemáticos universales (AAMU), que puedan asistir a los matemáticos e investigadores afines en su proceso de solución de problemas de base matemática, como pruebas y contraejemplos de conjeturas, desarrollo de nuevas teorías, etc. Éstos 3 pilares fundacionales son: 1) El Programa de los Nuevos Fundamentos Cognitivo-Computacionales de las Matemáticas. 2) El establecimiento y modelamiento de una Taxonomía Global de Mecanismos Metamatemáticos Cognitivo-Computacionales fundamentales de la mente en la creación matemática abstracta. 3) La generación de una ámplia colección de Pseudo-pre-código (o pruebas cognitivo-computacionales), para subsecuentemente generar el pseudo-código y las implementaciones algorítmicas correspondiente con el paradigma de la computación conceptual para desarrollar casos iniciales de AAMU-s. la IAM representa la versión moderna, robusta y multidisciplinaria de la Visión original de Alan Turing de poder simular el trabajo intelectual del matemático computacionalmente.

3 sesiones, del 7 al 9 de noviembre de 2023. En horario de 16:00 a 18:00

Información y registro: http://eventos.uva.es/go/IAmatematica